Skip to content

Actions: formal-land/coq-of-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update arithmetic.v Coq #74: Commit 43852f6 pushed by clarus
September 10, 2024 09:14 8m 29s main
main
September 10, 2024 09:14 8m 29s
Update arithmetic.v Coq #73: Commit 71a0217 pushed by clarus
September 10, 2024 09:11 8m 26s main
main
September 10, 2024 09:11 8m 26s
WIP: Add simulation for storage.py Coq #72: Pull request #31 synchronize by InfiniteEchoes
June 26, 2024 17:34 6m 46s gy@AddStorageSim
gy@AddStorageSim
June 26, 2024 17:34 6m 46s
WIP: Add simulation for storage.py Coq #71: Pull request #31 synchronize by InfiniteEchoes
June 26, 2024 17:15 6m 55s gy@AddStorageSim
gy@AddStorageSim
June 26, 2024 17:15 6m 55s
WIP: Add simulation for storage.py Coq #70: Pull request #31 synchronize by InfiniteEchoes
June 24, 2024 08:26 7m 13s gy@AddStorageSim
gy@AddStorageSim
June 24, 2024 08:26 7m 13s
WIP: Add simulation for storage.py Coq #69: Pull request #31 synchronize by InfiniteEchoes
June 24, 2024 07:35 6m 54s gy@AddStorageSim
gy@AddStorageSim
June 24, 2024 07:35 6m 54s
WIP: Add simulation for storage.py Coq #68: Pull request #31 synchronize by InfiniteEchoes
June 24, 2024 07:27 6m 50s gy@AddStorageSim
gy@AddStorageSim
June 24, 2024 07:27 6m 50s
WIP: Add simulation for storage.py Coq #67: Pull request #31 synchronize by InfiniteEchoes
June 24, 2024 07:00 7m 7s gy@AddStorageSim
gy@AddStorageSim
June 24, 2024 07:00 7m 7s
WIP: Add simulation for storage.py Coq #66: Pull request #31 synchronize by InfiniteEchoes
June 21, 2024 12:29 7m 2s gy@AddStorageSim
gy@AddStorageSim
June 21, 2024 12:29 7m 2s
WIP: Add simulation for storage.py Coq #65: Pull request #31 synchronize by InfiniteEchoes
June 21, 2024 11:37 6m 57s gy@AddStorageSim
gy@AddStorageSim
June 21, 2024 11:37 6m 57s
WIP: Add simulation for storage.py Coq #64: Pull request #31 synchronize by InfiniteEchoes
June 20, 2024 06:59 3m 59s gy@AddStorageSim
gy@AddStorageSim
June 20, 2024 06:59 3m 59s
WIP: Add simulation for storage.py Coq #63: Pull request #31 synchronize by InfiniteEchoes
June 20, 2024 06:52 3m 53s gy@AddStorageSim
gy@AddStorageSim
June 20, 2024 06:52 3m 53s
WIP: Add simulation for storage.py Coq #62: Pull request #31 synchronize by InfiniteEchoes
June 20, 2024 04:34 3m 58s gy@AddStorageSim
gy@AddStorageSim
June 20, 2024 04:34 3m 58s
Merge pull request #30 from formal-land/draft@AddKeccak Coq #61: Commit 0370eab pushed by clarus
June 19, 2024 11:45 8m 24s main
main
June 19, 2024 11:45 8m 24s
Add keccak.py simulation Coq #60: Pull request #30 synchronize by InfiniteEchoes
June 19, 2024 11:13 8m 14s draft@AddKeccak
draft@AddKeccak
June 19, 2024 11:13 8m 14s
Add keccak.py simulation Coq #59: Pull request #30 synchronize by InfiniteEchoes
June 19, 2024 09:51 8m 4s draft@AddKeccak
draft@AddKeccak
June 19, 2024 09:51 8m 4s
Add keccak.py simulation Coq #58: Pull request #30 synchronize by InfiniteEchoes
June 19, 2024 08:28 6m 50s draft@AddKeccak
draft@AddKeccak
June 19, 2024 08:28 6m 50s
Add keccak.py simulation Coq #57: Pull request #30 opened by InfiniteEchoes
June 18, 2024 13:07 6m 47s draft@AddKeccak
draft@AddKeccak
June 18, 2024 13:07 6m 47s
Merge pull request #29 from formal-land/gy@AddBlockSim Coq #56: Commit 65a26cc pushed by clarus
June 14, 2024 14:41 8m 15s main
main
June 14, 2024 14:41 8m 15s
Add block.py simulation Coq #55: Pull request #29 synchronize by InfiniteEchoes
June 12, 2024 07:33 8m 37s gy@AddBlockSim
gy@AddBlockSim
June 12, 2024 07:33 8m 37s
Add block.py simulation Coq #54: Pull request #29 opened by InfiniteEchoes
June 11, 2024 07:55 8m 28s gy@AddBlockSim
gy@AddBlockSim
June 11, 2024 07:55 8m 28s
Merge pull request #28 from formal-land/sanjay-adhith@arithmetic Coq #53: Commit eb1c8d5 pushed by clarus
June 3, 2024 15:56 8m 15s main
main
June 3, 2024 15:56 8m 15s
Draft: Arithmetic Operations Coq #52: Pull request #28 synchronize by clarus
June 3, 2024 15:37 8m 41s sanjay-adhith@arithmetic
sanjay-adhith@arithmetic
June 3, 2024 15:37 8m 41s
Merge pull request #27 from formal-land/gy@AddBitSimulations Coq #51: Commit e18bf47 pushed by InfiniteEchoes
May 24, 2024 18:05 8m 19s main
main
May 24, 2024 18:05 8m 19s
Add bit_wise function simulations Coq #50: Pull request #27 opened by InfiniteEchoes
May 24, 2024 17:31 8m 14s gy@AddBitSimulations
gy@AddBitSimulations
May 24, 2024 17:31 8m 14s