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

ci: add translation from Python Coq #24: Pull request #24 opened by clarus
May 21, 2024 10:59 18s guillaume-claret@add-ci-ethereum-specs
guillaume-claret@add-ci-ethereum-specs
May 21, 2024 10:59 18s
Executable run statement Coq #23: Pull request #23 synchronize by clarus
May 21, 2024 09:54 8m 1s guillaume-claret@executable-run-statement
guillaume-claret@executable-run-statement
May 21, 2024 09:54 8m 1s
Executable run statement Coq #22: Pull request #23 opened by clarus
May 21, 2024 09:52 8m 7s guillaume-claret@executable-run-statement
guillaume-claret@executable-run-statement
May 21, 2024 09:52 8m 7s
Merge pull request #22 from formal-land/guillaume-claret@experiment-j… Coq #21: Commit 4dcabf9 pushed by clarus
May 21, 2024 09:00 7m 55s main
main
May 21, 2024 09:00 7m 55s
Group the stack and heap kinds of pointers Coq #20: Pull request #22 opened by clarus
May 20, 2024 11:56 7m 58s guillaume-claret@experiment-join-pointers
guillaume-claret@experiment-join-pointers
May 20, 2024 11:56 7m 58s
Test: compute of the add function Coq #19: Pull request #10 opened by clarus
May 16, 2024 17:11 8m 23s guillaume-claret@test-compure-evm-type
guillaume-claret@test-compure-evm-type
May 16, 2024 17:11 8m 23s
Draft: More proofs for the add function Coq #18: Pull request #9 synchronize by clarus
May 15, 2024 15:30 8m 15s guillaume-claret@verify-add
guillaume-claret@verify-add
May 15, 2024 15:30 8m 15s
Draft: More proofs for the add function Coq #17: Pull request #9 opened by clarus
May 14, 2024 18:26 8m 8s guillaume-claret@verify-add
guillaume-claret@verify-add
May 14, 2024 18:26 8m 8s
Update README.md Coq #16: Commit e72a58d pushed by clarus
May 14, 2024 16:03 7m 52s main
main
May 14, 2024 16:03 7m 52s
Update README.md Coq #15: Commit 4a70a2a pushed by clarus
May 14, 2024 09:04 7m 54s main
main
May 14, 2024 09:04 7m 54s
Merge pull request #6 from formal-land/guillaume-claret@more-proofs Coq #14: Commit 75fe902 pushed by clarus
May 13, 2024 07:36 7m 53s main
main
May 13, 2024 07:36 7m 53s
More progress on the proofs and build instructions Coq #13: Pull request #6 opened by clarus
May 13, 2024 07:36 8m 5s guillaume-claret@more-proofs
guillaume-claret@more-proofs
May 13, 2024 07:36 8m 5s
Merge pull request #5 from formal-land/guillaume-claret@beginning-of-… Coq #12: Commit 5ddda71 pushed by clarus
May 13, 2024 07:08 7m 59s main
main
May 13, 2024 07:08 7m 59s
Beginning of semantics Coq #11: Pull request #5 synchronize by clarus
May 12, 2024 20:18 7m 57s guillaume-claret@beginning-of-a-semantics
guillaume-claret@beginning-of-a-semantics
May 12, 2024 20:18 7m 57s
Beginning of semantics Coq #10: Pull request #5 synchronize by clarus
May 12, 2024 16:44 8m 0s guillaume-claret@beginning-of-a-semantics
guillaume-claret@beginning-of-a-semantics
May 12, 2024 16:44 8m 0s
Beginning of semantics Coq #9: Pull request #5 synchronize by clarus
May 12, 2024 15:53 7m 37s guillaume-claret@beginning-of-a-semantics
guillaume-claret@beginning-of-a-semantics
May 12, 2024 15:53 7m 37s
Beginning of semantics Coq #8: Pull request #5 synchronize by clarus
May 12, 2024 10:18 7m 52s guillaume-claret@beginning-of-a-semantics
guillaume-claret@beginning-of-a-semantics
May 12, 2024 10:18 7m 52s
Beginning of semantics Coq #7: Pull request #5 opened by clarus
May 11, 2024 22:54 1m 37s guillaume-claret@beginning-of-a-semantics
guillaume-claret@beginning-of-a-semantics
May 11, 2024 22:54 1m 37s
Create LICENSE Coq #6: Commit 3ad2c8c pushed by clarus
May 10, 2024 20:37 7m 36s main
main
May 10, 2024 20:37 7m 36s
Update README.md Coq #5: Commit 8beca03 pushed by clarus
May 10, 2024 20:36 7m 53s main
main
May 10, 2024 20:36 7m 53s
Merge pull request #4 from formal-land/guillaume-claret@compile-all-t… Coq #4: Commit 147df86 pushed by clarus
May 10, 2024 20:26 8m 32s main
main
May 10, 2024 20:26 8m 32s
Generate all the files Coq #3: Pull request #4 synchronize by clarus
May 10, 2024 20:18 8m 3s guillaume-claret@compile-all-the-files
guillaume-claret@compile-all-the-files
May 10, 2024 20:18 8m 3s
Generate all the files Coq #2: Pull request #4 synchronize by clarus
May 10, 2024 20:12 1m 7s guillaume-claret@compile-all-the-files
guillaume-claret@compile-all-the-files
May 10, 2024 20:12 1m 7s
Generate all the files Coq #1: Pull request #4 synchronize by clarus
May 10, 2024 20:08 1m 12s guillaume-claret@compile-all-the-files
guillaume-claret@compile-all-the-files
May 10, 2024 20:08 1m 12s