Skip to content

Actions: formal-land/coq-of-solidity

Actions

Coq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #15 from formal-land/clarus-patch-1 Coq #59: Commit d86687b pushed by clarus
November 1, 2024 12:47 3m 22s develop
develop
November 1, 2024 12:47 3m 22s
Update README.md Coq #58: Pull request #15 opened by clarus
November 1, 2024 12:47 3m 16s clarus-patch-1
clarus-patch-1
November 1, 2024 12:47 3m 16s
Merge pull request #14 from formal-land/clarus-patch-1 Coq #57: Commit 6f64096 pushed by clarus
November 1, 2024 12:46 3m 17s develop
develop
November 1, 2024 12:46 3m 17s
Update README.md Coq #56: Pull request #14 opened by clarus
November 1, 2024 12:45 3m 19s clarus-patch-1
clarus-patch-1
November 1, 2024 12:45 3m 19s
Merge pull request #12 from formal-land/guillaume-claret@translate-sm… Coq #55: Commit ea79a13 pushed by clarus
October 31, 2024 17:09 3m 20s develop
develop
October 31, 2024 17:09 3m 20s
Draft: improve the Smoo.th proofs Coq #54: Pull request #12 synchronize by clarus
October 31, 2024 16:59 3m 18s guillaume-claret@translate-smooth-without-optimizations
guillaume-claret@translate-smooth-without-optimizations
October 31, 2024 16:59 3m 18s
Draft: improve the Smoo.th proofs Coq #53: Pull request #12 synchronize by clarus
October 31, 2024 14:16 3m 22s guillaume-claret@translate-smooth-without-optimizations
guillaume-claret@translate-smooth-without-optimizations
October 31, 2024 14:16 3m 22s
Draft: improve the Smoo.th proofs Coq #52: Pull request #12 synchronize by clarus
October 25, 2024 17:39 3m 25s guillaume-claret@translate-smooth-without-optimizations
guillaume-claret@translate-smooth-without-optimizations
October 25, 2024 17:39 3m 25s
Draft: improve the Smoo.th proofs Coq #51: Pull request #12 synchronize by clarus
October 25, 2024 15:43 3m 25s guillaume-claret@translate-smooth-without-optimizations
guillaume-claret@translate-smooth-without-optimizations
October 25, 2024 15:43 3m 25s
Draft: improve the Smoo.th proofs Coq #50: Pull request #12 synchronize by clarus
October 24, 2024 12:52 3m 28s guillaume-claret@translate-smooth-without-optimizations
guillaume-claret@translate-smooth-without-optimizations
October 24, 2024 12:52 3m 28s
Merge pull request #13 from formal-land/clarus-patch-1 Coq #49: Commit 053e242 pushed by clarus
October 23, 2024 18:27 3m 45s develop
develop
October 23, 2024 18:27 3m 45s
Update README.md Coq #48: Pull request #13 opened by clarus
October 23, 2024 18:27 3m 43s clarus-patch-1
clarus-patch-1
October 23, 2024 18:27 3m 43s
Draft: improve the Smoo.th proofs Coq #47: Pull request #12 opened by clarus
October 23, 2024 18:26 3m 28s guillaume-claret@translate-smooth-without-optimizations
guillaume-claret@translate-smooth-without-optimizations
October 23, 2024 18:26 3m 28s
Merge pull request #11 from formal-land/guillaume-claret@small-readme… Coq #46: Commit 81dd625 pushed by clarus
October 22, 2024 08:17 3m 47s develop
develop
October 22, 2024 08:17 3m 47s
Update README.md Coq #45: Pull request #11 opened by clarus
October 22, 2024 08:17 3m 49s guillaume-claret@small-readme-update
guillaume-claret@small-readme-update
October 22, 2024 08:17 3m 49s
Merge pull request #10 from formal-land/guillaume-claret@fix-ci-wrong… Coq #44: Commit 52ea0ac pushed by clarus
October 21, 2024 18:34 3m 52s develop
develop
October 21, 2024 18:34 3m 52s
ci: fix typo Coq #43: Pull request #10 opened by clarus
October 21, 2024 18:34 3m 38s guillaume-claret@fix-ci-wrong-import
guillaume-claret@fix-ci-wrong-import
October 21, 2024 18:34 3m 38s
Merge pull request #9 from formal-land/guillaume-claret@add-documenta… Coq #42: Commit ba1b48c pushed by clarus
October 21, 2024 18:07 2m 59s develop
develop
October 21, 2024 18:07 2m 59s
Add documentation for the verification of the Smoo.th project Coq #41: Pull request #9 synchronize by clarus
October 21, 2024 18:06 3m 12s guillaume-claret@add-documentation-smooth
guillaume-claret@add-documentation-smooth
October 21, 2024 18:06 3m 12s
Add documentation for the verification of the Smoo.th project Coq #40: Pull request #9 synchronize by clarus
October 21, 2024 18:01 3m 7s guillaume-claret@add-documentation-smooth
guillaume-claret@add-documentation-smooth
October 21, 2024 18:01 3m 7s
Add documentation for the verification of the Smoo.th project Coq #39: Pull request #9 synchronize by clarus
October 21, 2024 18:00 3m 12s guillaume-claret@add-documentation-smooth
guillaume-claret@add-documentation-smooth
October 21, 2024 18:00 3m 12s
Add documentation for the verification of the Smoo.th project Coq #38: Pull request #9 opened by clarus
October 21, 2024 16:27 3m 41s guillaume-claret@add-documentation-smooth
guillaume-claret@add-documentation-smooth
October 21, 2024 16:27 3m 41s
Merge pull request #8 from formal-land/guillaume-claret@verification-… Coq #37: Commit f118e86 pushed by clarus
October 21, 2024 15:55 3m 45s develop
develop
October 21, 2024 15:55 3m 45s
Beginning of verification of ECC in Yul Coq #36: Pull request #8 synchronize by clarus
October 21, 2024 15:52 3m 42s guillaume-claret@verification-of-yul-ecc-for-merge
guillaume-claret@verification-of-yul-ecc-for-merge
October 21, 2024 15:52 3m 42s
Beginning of verification of ECC in Yul Coq #35: Pull request #8 synchronize by clarus
October 21, 2024 15:49 3m 51s guillaume-claret@verification-of-yul-ecc-for-merge
guillaume-claret@verification-of-yul-ecc-for-merge
October 21, 2024 15:49 3m 51s