Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
More stack verification Rust #2210: Pull request #636 synchronize by clarus
December 19, 2024 13:31 47m 10s guillaume-claret@more-stack-verification
guillaume-claret@more-stack-verification
December 19, 2024 13:31 47m 10s
More stack verification Rust #2209: Pull request #636 synchronize by clarus
December 19, 2024 13:30 46m 43s guillaume-claret@more-stack-verification
guillaume-claret@more-stack-verification
December 19, 2024 13:30 46m 43s
feat: add proofs for more Bytecode operations Rust #2208: Pull request #639 synchronize by 0xMushow
December 19, 2024 10:31 46m 45s antoine-james@verify-invariant-preservation
antoine-james@verify-invariant-preservation
December 19, 2024 10:31 46m 45s
feat: add proofs for more Bytecode operations Rust #2207: Pull request #639 synchronize by 0xMushow
December 19, 2024 10:07 47m 15s antoine-james@verify-invariant-preservation
antoine-james@verify-invariant-preservation
December 19, 2024 10:07 47m 15s
feat: add proofs for more Bytecode operations Rust #2206: Pull request #639 synchronize by 0xMushow
December 18, 2024 16:44 46m 45s antoine-james@verify-invariant-preservation
antoine-james@verify-invariant-preservation
December 18, 2024 16:44 46m 45s
feat: add proofs for more Bytecode operations Rust #2205: Pull request #639 synchronize by 0xMushow
December 18, 2024 16:34 47m 18s antoine-james@verify-invariant-preservation
antoine-james@verify-invariant-preservation
December 18, 2024 16:34 47m 18s
More stack verification Rust #2204: Pull request #636 synchronize by clarus
December 17, 2024 14:22 46m 43s guillaume-claret@more-stack-verification
guillaume-claret@more-stack-verification
December 17, 2024 14:22 46m 43s
More stack verification Rust #2203: Pull request #636 synchronize by clarus
December 17, 2024 14:19 46m 59s guillaume-claret@more-stack-verification
guillaume-claret@more-stack-verification
December 17, 2024 14:19 46m 59s