Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,082 workflow runs
1,082 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Draft: links: more automation Rust #2253: Pull request #651 opened by clarus
January 27, 2025 12:03 50m 12s guillaume-claret@more-automation-to-links
guillaume-claret@more-automation-to-links
January 27, 2025 12:03 50m 12s
Merge pull request #649 from formal-land/guillaume-claret@have-immuta… Rust #2252: Commit 661d887 pushed by clarus
January 27, 2025 09:54 48m 39s main
main
January 27, 2025 09:54 48m 39s
Links: more proofs Rust #2251: Pull request #649 opened by clarus
January 25, 2025 18:07 48m 38s guillaume-claret@have-immutable-runs-of-links
guillaume-claret@have-immutable-runs-of-links
January 25, 2025 18:07 48m 38s
draft: implement eof_create_inputs definitions Rust #2250: Pull request #648 synchronize by 0xMushow
January 24, 2025 16:04 46m 36s antoine-james@links-file-eof-create-inputs
antoine-james@links-file-eof-create-inputs
January 24, 2025 16:04 46m 36s
draft: implement eof_create_inputs definitions Rust #2249: Pull request #648 synchronize by 0xMushow
January 24, 2025 15:11 46m 24s antoine-james@links-file-eof-create-inputs
antoine-james@links-file-eof-create-inputs
January 24, 2025 15:11 46m 24s
draft: implement eof_create_inputs definitions Rust #2248: Pull request #648 synchronize by 0xMushow
January 24, 2025 15:09 45m 59s antoine-james@links-file-eof-create-inputs
antoine-james@links-file-eof-create-inputs
January 24, 2025 15:09 45m 59s
draft: implement eof_create_inputs definitions Rust #2247: Pull request #648 synchronize by 0xMushow
January 24, 2025 15:08 27m 26s antoine-james@links-file-eof-create-inputs
antoine-james@links-file-eof-create-inputs
January 24, 2025 15:08 27m 26s
draft: implement eof_create_inputs definitions Rust #2246: Pull request #648 opened by 0xMushow
January 24, 2025 14:11 47m 39s antoine-james@links-file-eof-create-inputs
antoine-james@links-file-eof-create-inputs
January 24, 2025 14:11 47m 39s
Merge pull request #646 from formal-land/guillaume-claret@add-some-re… Rust #2245: Commit a7a00dd pushed by clarus
January 23, 2025 14:37 50m 49s main
main
January 23, 2025 14:37 50m 49s
links: more fixes to the compilation Rust #2244: Pull request #646 synchronize by clarus
January 23, 2025 14:36 51m 57s guillaume-claret@add-some-revm-simulations
guillaume-claret@add-some-revm-simulations
January 23, 2025 14:36 51m 57s
links: more fixes to the compilation Rust #2243: Pull request #646 opened by clarus
January 22, 2025 15:45 47m 1s guillaume-claret@add-some-revm-simulations
guillaume-claret@add-some-revm-simulations
January 22, 2025 15:45 47m 1s
Draft: experiments with JSON translation Rust #2242: Pull request #642 synchronize by clarus
January 21, 2025 10:38 46m 8s guillaume-claret@update-revm-version
guillaume-claret@update-revm-version
January 21, 2025 10:38 46m 8s
Merge pull request #645 from formal-land/guillaume-claret@update-revm… Rust #2241: Commit 28361e2 pushed by clarus
January 21, 2025 10:36 50m 3s main
main
January 21, 2025 10:36 50m 3s
Guillaume claret@update revm bis Rust #2240: Pull request #645 opened by clarus
January 21, 2025 10:34 49m 49s guillaume-claret@update-revm-bis
guillaume-claret@update-revm-bis
January 21, 2025 10:34 49m 49s
Merge pull request #644 from formal-land/guillaume-claret@upgrade-to-… Rust #2239: Commit 0b2920f pushed by clarus
January 21, 2025 10:28 49m 50s main
main
January 21, 2025 10:28 49m 50s
ci: upgrade to Coq 8.20 Rust #2238: Pull request #644 synchronize by clarus
January 21, 2025 10:27 49m 44s [email protected]
[email protected]
January 21, 2025 10:27 49m 44s
ci: upgrade to Coq 8.20 Rust #2237: Pull request #644 synchronize by clarus
January 21, 2025 10:12 49m 28s [email protected]
[email protected]
January 21, 2025 10:12 49m 28s
ci: upgrade to Coq 8.20 Rust #2236: Pull request #644 opened by clarus
January 21, 2025 10:09 49m 26s [email protected]
[email protected]
January 21, 2025 10:09 49m 26s
Merge pull request #643 from formal-land/guillaume-claret@add-more-su… Rust #2235: Commit 9e3c7c9 pushed by clarus
January 13, 2025 09:26 49m 50s main
main
January 13, 2025 09:26 49m 50s
move-sui: verifymore instructions Rust #2234: Pull request #643 synchronize by clarus
January 8, 2025 17:15 46m 38s guillaume-claret@add-more-sui-proofs
guillaume-claret@add-more-sui-proofs
January 8, 2025 17:15 46m 38s
move-sui: verifymore instructions Rust #2233: Pull request #643 opened by clarus
January 8, 2025 17:06 47m 39s guillaume-claret@add-more-sui-proofs
guillaume-claret@add-more-sui-proofs
January 8, 2025 17:06 47m 39s
Merge pull request #641 from formal-land/guillaume-claret@undefined-i… Rust #2232: Commit b2ce2de pushed by clarus
January 6, 2025 21:37 47m 51s main
main
January 6, 2025 21:37 47m 51s
Set the undefined instruction as TODO in the interpreter Rust #2231: Pull request #641 synchronize by clarus
January 6, 2025 21:32 48m 7s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
January 6, 2025 21:32 48m 7s
Set the undefined instruction as TODO in the interpreter Rust #2230: Pull request #641 synchronize by clarus
January 6, 2025 20:44 24m 59s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
January 6, 2025 20:44 24m 59s
Set the undefined instruction as TODO in the interpreter Rust #2229: Pull request #641 synchronize by clarus
January 6, 2025 16:38 49m 4s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
January 6, 2025 16:38 49m 4s