Skip to content

Actions: formal-land/coq-of-rust

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
1,132 workflow runs
1,132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
revm: update the revm version Rust #2228: Pull request #642 synchronize by clarus
January 6, 2025 13:43 42m 56s guillaume-claret@update-revm-version
guillaume-claret@update-revm-version
January 6, 2025 13:43 42m 56s
revm: update the revm version Rust #2227: Pull request #642 synchronize by clarus
December 30, 2024 14:41 48m 2s guillaume-claret@update-revm-version
guillaume-claret@update-revm-version
December 30, 2024 14:41 48m 2s
revm: update the revm version Rust #2226: Pull request #642 opened by clarus
December 30, 2024 14:27 47m 10s guillaume-claret@update-revm-version
guillaume-claret@update-revm-version
December 30, 2024 14:27 47m 10s
Set the undefined instruction as TODO in the interpreter Rust #2225: Pull request #641 synchronize by clarus
December 30, 2024 10:02 37m 53s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
December 30, 2024 10:02 37m 53s
Set the undefined instruction as TODO in the interpreter Rust #2224: Pull request #641 synchronize by clarus
December 26, 2024 17:41 47m 24s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
December 26, 2024 17:41 47m 24s
Set the undefined instruction as TODO in the interpreter Rust #2223: Pull request #641 synchronize by clarus
December 26, 2024 10:49 46m 22s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
December 26, 2024 10:49 46m 22s
Merge pull request #639 from formal-land/antoine-james@verify-invaria… Rust #2222: Commit 7c630ee pushed by clarus
December 25, 2024 18:00 46m 48s main
main
December 25, 2024 18:00 46m 48s
feat: add proofs for more Bytecode operations Rust #2221: Pull request #639 synchronize by clarus
December 24, 2024 17:27 46m 41s antoine-james@verify-invariant-preservation
antoine-james@verify-invariant-preservation
December 24, 2024 17:27 46m 41s
Set the undefined instruction as TODO in the interpreter Rust #2220: Pull request #641 synchronize by clarus
December 24, 2024 10:23 36m 46s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
December 24, 2024 10:23 36m 46s
feat: add proofs for more Bytecode operations Rust #2219: Pull request #639 synchronize by 0xMushow
December 23, 2024 08:09 48m 10s antoine-james@verify-invariant-preservation
antoine-james@verify-invariant-preservation
December 23, 2024 08:09 48m 10s
feat: add proofs for more Bytecode operations Rust #2218: Pull request #639 synchronize by 0xMushow
December 20, 2024 10:07 46m 28s antoine-james@verify-invariant-preservation
antoine-james@verify-invariant-preservation
December 20, 2024 10:07 46m 28s
feat: add proofs for more Bytecode operations Rust #2217: Pull request #639 synchronize by 0xMushow
December 20, 2024 09:12 47m 16s antoine-james@verify-invariant-preservation
antoine-james@verify-invariant-preservation
December 20, 2024 09:12 47m 16s
Set the undefined instruction as TODO in the interpreter Rust #2216: Pull request #641 synchronize by clarus
December 19, 2024 21:52 46m 46s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
December 19, 2024 21:52 46m 46s
Set the undefined instruction as TODO in the interpreter Rust #2215: Pull request #641 synchronize by clarus
December 19, 2024 21:28 37m 34s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
December 19, 2024 21:28 37m 34s
Set the undefined instruction as TODO in the interpreter Rust #2214: Pull request #641 opened by clarus
December 19, 2024 18:29 48m 44s guillaume-claret@undefined-instructions-as-todo
guillaume-claret@undefined-instructions-as-todo
December 19, 2024 18:29 48m 44s
Merge pull request #636 from formal-land/guillaume-claret@more-stack-… Rust #2213: Commit eb75e1f pushed by clarus
December 19, 2024 17:26 47m 45s main
main
December 19, 2024 17:26 47m 45s
More stack verification Rust #2212: Pull request #636 synchronize by clarus
December 19, 2024 13:54 46m 30s guillaume-claret@more-stack-verification
guillaume-claret@more-stack-verification
December 19, 2024 13:54 46m 30s
feat: add proofs for more Bytecode operations Rust #2211: Pull request #639 synchronize by 0xMushow
December 19, 2024 13:44 48m 19s antoine-james@verify-invariant-preservation
antoine-james@verify-invariant-preservation
December 19, 2024 13:44 48m 19s