Skip to content

Actions: formal-land/coq-of-python

Actions

Coq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

typo Coq #49: Commit 90e2b28 pushed by clarus
May 23, 2024 12:57 8m 51s main
main
May 23, 2024 12:57 8m 51s
Merge pull request #26 from formal-land/gy@AddBitwiseAnd Coq #48: Commit 464242d pushed by clarus
May 23, 2024 12:57 8m 33s main
main
May 23, 2024 12:57 8m 33s
Add bitwise_and simulation Coq #47: Pull request #26 synchronize by clarus
May 23, 2024 12:28 8m 20s gy@AddBitwiseAnd
gy@AddBitwiseAnd
May 23, 2024 12:28 8m 20s
Add bitwise_and simulation Coq #46: Pull request #26 opened by InfiniteEchoes
May 23, 2024 10:24 8m 26s gy@AddBitwiseAnd
gy@AddBitwiseAnd
May 23, 2024 10:24 8m 26s
Update README.md Coq #45: Commit e0d93d4 pushed by clarus
May 22, 2024 09:22 8m 30s main
main
May 22, 2024 09:22 8m 30s
Merge pull request #23 from formal-land/guillaume-claret@executable-r… Coq #44: Commit a4bdfde pushed by clarus
May 21, 2024 18:23 8m 36s main
main
May 21, 2024 18:23 8m 36s
Executable run statement Coq #43: Pull request #23 synchronize by clarus
May 21, 2024 18:23 8m 21s guillaume-claret@executable-run-statement
guillaume-claret@executable-run-statement
May 21, 2024 18:23 8m 21s
Executable run statement Coq #42: Pull request #23 synchronize by clarus
May 21, 2024 18:13 2m 0s guillaume-claret@executable-run-statement
guillaume-claret@executable-run-statement
May 21, 2024 18:13 2m 0s
Update README.md Coq #41: Commit 2745281 pushed by clarus
May 21, 2024 15:40 34m 10s main
main
May 21, 2024 15:40 34m 10s
Merge pull request #24 from formal-land/guillaume-claret@add-ci-ether… Coq #40: Commit bb4a362 pushed by clarus
May 21, 2024 15:29 16m 51s main
main
May 21, 2024 15:29 16m 51s
ci: add translation from Python Coq #39: Pull request #24 synchronize by clarus
May 21, 2024 13:10 33m 19s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 13:10 33m 19s
ci: add translation from Python Coq #38: Pull request #24 synchronize by clarus
May 21, 2024 12:01 21m 19s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 12:01 21m 19s
ci: add translation from Python Coq #37: Pull request #24 synchronize by clarus
May 21, 2024 11:50 26m 8s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:50 26m 8s
ci: add translation from Python Coq #36: Pull request #24 synchronize by clarus
May 21, 2024 11:49 23m 42s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:49 23m 42s
ci: add translation from Python Coq #35: Pull request #24 synchronize by clarus
May 21, 2024 11:48 9m 53s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:48 9m 53s
ci: add translation from Python Coq #34: Pull request #24 synchronize by clarus
May 21, 2024 11:46 8m 15s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:46 8m 15s
ci: add translation from Python Coq #33: Pull request #24 synchronize by clarus
May 21, 2024 11:40 2m 20s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:40 2m 20s
ci: add translation from Python Coq #32: Pull request #24 synchronize by clarus
May 21, 2024 11:38 1m 52s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:38 1m 52s
ci: add translation from Python Coq #31: Pull request #24 synchronize by clarus
May 21, 2024 11:31 1m 14s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:31 1m 14s
ci: add translation from Python Coq #30: Pull request #24 synchronize by clarus
May 21, 2024 11:23 1m 55s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:23 1m 55s
ci: add translation from Python Coq #29: Pull request #24 synchronize by clarus
May 21, 2024 11:18 1m 55s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:18 1m 55s
ci: add translation from Python Coq #28: Pull request #24 synchronize by clarus
May 21, 2024 11:10 7m 24s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:10 7m 24s
ci: add translation from Python Coq #27: Pull request #24 synchronize by clarus
May 21, 2024 11:07 2m 57s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:07 2m 57s
ci: add translation from Python Coq #26: Pull request #24 synchronize by clarus
May 21, 2024 11:05 4m 6s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:05 4m 6s
ci: add translation from Python Coq #25: Pull request #24 synchronize by clarus
May 21, 2024 11:01 7m 59s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 11:01 7m 59s