Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
793 workflow runs
793 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #761 from formal-land/alexandre-oliveira@p-token-p… Rust #2700: Commit 032e689 pushed by clarus
August 25, 2025 19:26 57m 51s main
main
August 25, 2025 19:26 57m 51s
Formalization of p-token part 2 Rust #2699: Pull request #761 synchronize by romefeller
August 25, 2025 19:21 55m 24s alexandre-oliveira@p-token-part2
alexandre-oliveira@p-token-part2
August 25, 2025 19:21 55m 24s
Formalization of p-token part 2 Rust #2698: Pull request #761 synchronize by romefeller
August 25, 2025 19:06 54m 31s alexandre-oliveira@p-token-part2
alexandre-oliveira@p-token-part2
August 25, 2025 19:06 54m 31s
Formalization of p-token part 2 Rust #2697: Pull request #761 synchronize by romefeller
August 25, 2025 18:50 56m 50s alexandre-oliveira@p-token-part2
alexandre-oliveira@p-token-part2
August 25, 2025 18:50 56m 50s
Formalization of p-token part 2 Rust #2696: Pull request #761 synchronize by romefeller
August 22, 2025 16:29 54m 49s alexandre-oliveira@p-token-part2
alexandre-oliveira@p-token-part2
August 22, 2025 16:29 54m 49s
Formalization of p-token part 2 Rust #2695: Pull request #761 synchronize by romefeller
August 13, 2025 19:33 55m 42s alexandre-oliveira@p-token-part2
alexandre-oliveira@p-token-part2
August 13, 2025 19:33 55m 42s
Formalization of p-token part 2 Rust #2694: Pull request #761 synchronize by romefeller
August 13, 2025 18:13 56m 24s alexandre-oliveira@p-token-part2
alexandre-oliveira@p-token-part2
August 13, 2025 18:13 56m 24s
Formalization of p-token part 2 Rust #2693: Pull request #761 opened by romefeller
August 13, 2025 18:07 44m 18s alexandre-oliveira@p-token-part2
alexandre-oliveira@p-token-part2
August 13, 2025 18:07 44m 18s
Draft: more on the translation of OpenVM circuits Rust #2692: Pull request #760 opened by clarus
August 12, 2025 17:10 54m 58s guillaume-claret@more-translation-open-vm-2025-08-12
guillaume-claret@more-translation-open-vm-2025-08-12
August 12, 2025 17:10 54m 58s
Merge pull request #759 from formal-land/guillaume-claret@more-instru… Rust #2691: Commit dc3bcbd pushed by clarus
July 21, 2025 08:50 55m 41s main
main
July 21, 2025 08:50 55m 41s
simulate: support more instructions Rust #2690: Pull request #759 synchronize by clarus
July 13, 2025 15:18 54m 44s guillaume-claret@more-instructions-simulate
guillaume-claret@more-instructions-simulate
July 13, 2025 15:18 54m 44s
simulate: support more instructions Rust #2689: Pull request #759 synchronize by clarus
July 12, 2025 19:07 54m 48s guillaume-claret@more-instructions-simulate
guillaume-claret@more-instructions-simulate
July 12, 2025 19:07 54m 48s
simulate: support more instructions Rust #2688: Pull request #759 synchronize by clarus
July 12, 2025 16:06 54m 17s guillaume-claret@more-instructions-simulate
guillaume-claret@more-instructions-simulate
July 12, 2025 16:06 54m 17s
simulate: support more instructions Rust #2687: Pull request #759 synchronize by clarus
July 12, 2025 15:23 54m 10s guillaume-claret@more-instructions-simulate
guillaume-claret@more-instructions-simulate
July 12, 2025 15:23 54m 10s
simulate: support more instructions Rust #2686: Pull request #759 synchronize by clarus
July 11, 2025 10:07 54m 11s guillaume-claret@more-instructions-simulate
guillaume-claret@more-instructions-simulate
July 11, 2025 10:07 54m 11s
simulate: support more instructions Rust #2685: Pull request #759 opened by clarus
July 10, 2025 13:43 1h 3m 13s guillaume-claret@more-instructions-simulate
guillaume-claret@more-instructions-simulate
July 10, 2025 13:43 1h 3m 13s
Merge pull request #757 from formal-land/guillaume-claret@simulate-add Rust #2684: Commit cb352f2 pushed by clarus
July 3, 2025 15:54 52m 52s main
main
July 3, 2025 15:54 52m 52s
Add simulation for the ADD instruction Rust #2683: Pull request #757 synchronize by clarus
July 3, 2025 14:16 54m 17s guillaume-claret@simulate-add
guillaume-claret@simulate-add
July 3, 2025 14:16 54m 17s
Add simulation for the ADD instruction Rust #2682: Pull request #757 synchronize by clarus
July 3, 2025 09:20 54m 28s guillaume-claret@simulate-add
guillaume-claret@simulate-add
July 3, 2025 09:20 54m 28s
Add simulation for the ADD instruction Rust #2681: Pull request #757 synchronize by clarus
July 2, 2025 16:31 54m 20s guillaume-claret@simulate-add
guillaume-claret@simulate-add
July 2, 2025 16:31 54m 20s
Add simulation for the ADD instruction Rust #2680: Pull request #757 synchronize by clarus
June 26, 2025 11:56 53m 10s guillaume-claret@simulate-add
guillaume-claret@simulate-add
June 26, 2025 11:56 53m 10s
Merge pull request #758 from formal-land/guillaume-claret@ago@p-token… Rust #2679: Commit f3406a4 pushed by clarus
June 24, 2025 13:55 56m 6s main
main
June 24, 2025 13:55 56m 6s
Add Pinocchio in CI + beginning of links Rust #2678: Pull request #758 opened by clarus
June 23, 2025 17:45 53m 19s guillaume-claret@ago@p-token-links
guillaume-claret@ago@p-token-links
June 23, 2025 17:45 53m 19s
Add simulation for the ADD instruction Rust #2677: Pull request #757 synchronize by clarus
June 20, 2025 18:18 53m 31s guillaume-claret@simulate-add
guillaume-claret@simulate-add
June 20, 2025 18:18 53m 31s
Adding links to p-token, part I Rust #2676: Pull request #739 synchronize by romefeller
June 20, 2025 18:14 42m 52s ago@p-token-links
ago@p-token-links
June 20, 2025 18:14 42m 52s