Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
896 workflow runs
896 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add more type annotations in the translation Rust #2527: Pull request #722 synchronize by clarus
April 13, 2025 20:45 1h 13m 34s guillaume-claret@add-more-type-annotations
guillaume-claret@add-more-type-annotations
April 13, 2025 20:45 1h 13m 34s
Add more type annotations in the translation Rust #2526: Pull request #722 synchronize by clarus
April 13, 2025 14:16 28m 5s guillaume-claret@add-more-type-annotations
guillaume-claret@add-more-type-annotations
April 13, 2025 14:16 28m 5s
Add more type annotations in the translation Rust #2525: Pull request #722 synchronize by clarus
April 13, 2025 13:22 56m 51s guillaume-claret@add-more-type-annotations
guillaume-claret@add-more-type-annotations
April 13, 2025 13:22 56m 51s
Add more type annotations in the translation Rust #2524: Pull request #722 opened by clarus
April 13, 2025 12:47 20m 57s guillaume-claret@add-more-type-annotations
guillaume-claret@add-more-type-annotations
April 13, 2025 12:47 20m 57s
Experiment: using existential variables for Let and Call Rust #2523: Pull request #721 synchronize by clarus
April 11, 2025 17:48 59m 52s guillaume-claret@using-exitential-variables-for-let-call
guillaume-claret@using-exitential-variables-for-let-call
April 11, 2025 17:48 59m 52s
Merge pull request #719 from formal-land/guillaume-claret@add-bytes-t… Rust #2522: Commit d84ad3b pushed by clarus
April 10, 2025 13:37 1h 13m 0s main
main
April 10, 2025 13:37 1h 13m 0s
Experiment: using existential variables for Let and Call Rust #2521: Pull request #721 opened by clarus
April 10, 2025 13:36 1h 2m 7s guillaume-claret@using-exitential-variables-for-let-call
guillaume-claret@using-exitential-variables-for-let-call
April 10, 2025 13:36 1h 2m 7s
links: add translation of the bytes crates Rust #2520: Pull request #719 synchronize by clarus
April 10, 2025 09:24 1h 11m 4s guillaume-claret@add-bytes-translation
guillaume-claret@add-bytes-translation
April 10, 2025 09:24 1h 11m 4s
links: suggestion for bitwise instructions Rust #2519: Pull request #720 opened by clarus
April 9, 2025 20:46 23m 35s guillaume-claret@suggestion-for-links-bitwise
guillaume-claret@suggestion-for-links-bitwise
April 9, 2025 20:46 23m 35s
links: add translation of the bytes crates Rust #2518: Pull request #719 opened by clarus
April 9, 2025 20:33 23m 36s guillaume-claret@add-bytes-translation
guillaume-claret@add-bytes-translation
April 9, 2025 20:33 23m 36s
Merge pull request #718 from formal-land/guillaume-claret@better-hand… Rust #2517: Commit c7d788b pushed by clarus
April 9, 2025 20:25 1h 11m 16s main
main
April 9, 2025 20:25 1h 11m 16s
Better support for logical operators in links Rust #2516: Pull request #718 opened by clarus
April 8, 2025 13:54 1h 9m 53s guillaume-claret@better-handling-of-logical-ops
guillaume-claret@better-handling-of-logical-ops
April 8, 2025 13:54 1h 9m 53s
Merge pull request #717 from formal-land/guillaume-claret@add-links-i… Rust #2515: Commit 6d211f7 pushed by clarus
April 8, 2025 13:53 1h 16m 27s main
main
April 8, 2025 13:53 1h 16m 27s
Add more links for i256 instructions Rust #2514: Pull request #717 synchronize by clarus
April 8, 2025 11:25 1h 9m 34s guillaume-claret@add-links-i256-instructions
guillaume-claret@add-links-i256-instructions
April 8, 2025 11:25 1h 9m 34s
Add more links for i256 instructions Rust #2513: Pull request #717 synchronize by clarus
April 8, 2025 11:17 1h 11m 15s guillaume-claret@add-links-i256-instructions
guillaume-claret@add-links-i256-instructions
April 8, 2025 11:17 1h 11m 15s
Merge pull request #716 from formal-land/guillaume-claret@links-for-d… Rust #2512: Commit 88dfc53 pushed by clarus
April 8, 2025 11:16 1h 10m 1s main
main
April 8, 2025 11:16 1h 10m 1s
revm: add links for more data instructions Rust #2511: Pull request #716 synchronize by clarus
April 8, 2025 08:44 1h 10m 56s guillaume-claret@links-for-data-instructions
guillaume-claret@links-for-data-instructions
April 8, 2025 08:44 1h 10m 56s
revm: add links for more data instructions Rust #2510: Pull request #716 opened by clarus
April 8, 2025 08:42 1h 14m 7s guillaume-claret@links-for-data-instructions
guillaume-claret@links-for-data-instructions
April 8, 2025 08:42 1h 14m 7s
Merge pull request #715 from formal-land/guillaume-claret@beginning-l… Rust #2509: Commit ae8d270 pushed by clarus
April 7, 2025 19:24 1h 11m 21s main
main
April 7, 2025 19:24 1h 11m 21s
Beginning of links for contract instructions Rust #2508: Pull request #715 synchronize by clarus
April 7, 2025 16:44 1h 7m 56s guillaume-claret@beginning-links-for-contract-instructions
guillaume-claret@beginning-links-for-contract-instructions
April 7, 2025 16:44 1h 7m 56s
Beginning of links for contract instructions Rust #2507: Pull request #715 opened by clarus
April 7, 2025 09:23 54m 13s guillaume-claret@beginning-links-for-contract-instructions
guillaume-claret@beginning-links-for-contract-instructions
April 7, 2025 09:23 54m 13s
Merge pull request #714 from formal-land/guillaume-claret@links-simpl… Rust #2506: Commit f5c1e2b pushed by clarus
April 7, 2025 09:19 1h 6m 41s main
main
April 7, 2025 09:19 1h 6m 41s
Link file for host, i256, memory Rust #2505: Pull request #708 synchronize by InfiniteEchoes
April 6, 2025 06:03 1h 4m 28s gy@LinksIMH
gy@LinksIMH
April 6, 2025 06:03 1h 4m 28s
Remove the isolated Import commands Rust #2504: Pull request #714 synchronize by clarus
April 5, 2025 21:35 1h 5m 50s guillaume-claret@links-simplify-imports
guillaume-claret@links-simplify-imports
April 5, 2025 21:35 1h 5m 50s
Remove the isolated Import commands Rust #2503: Pull request #714 opened by clarus
April 5, 2025 21:09 23m 21s guillaume-claret@links-simplify-imports
guillaume-claret@links-simplify-imports
April 5, 2025 21:09 23m 21s