Skip to content

Actions: ethereum/act

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Important fixes in hevm equivalence Build #1399: Pull request #180 synchronize by zoep
March 31, 2024 18:11 33m 8s hevm-fixes
hevm-fixes
March 31, 2024 18:11 33m 8s
AMM works Build #1398: Commit d93553b pushed by zoep
March 31, 2024 18:11 23m 28s hevm-fixes
hevm-fixes
March 31, 2024 18:11 23m 28s
flake Build #1397: Commit 9f02d07 pushed by zoep
March 29, 2024 14:49 25m 56s amm-test
amm-test
March 29, 2024 14:49 25m 56s
flake Build #1396: Commit 9d5d6ad pushed by zoep
March 29, 2024 14:24 35m 26s amm-test
amm-test
March 29, 2024 14:24 35m 26s
Important fixes in hevm equivalence Build #1395: Pull request #180 synchronize by zoep
March 29, 2024 14:24 23m 19s hevm-fixes
hevm-fixes
March 29, 2024 14:24 23m 19s
makefile Build #1394: Commit 6143999 pushed by zoep
March 29, 2024 14:24 28m 47s hevm-fixes
hevm-fixes
March 29, 2024 14:24 28m 47s
SMT: add constant assertions (#182) Build #1393: Commit 6671f66 pushed by zoep
March 29, 2024 14:23 22m 11s hevm-update
hevm-update
March 29, 2024 14:23 22m 11s
flake Build #1392: Commit 9ed4a1b pushed by zoep
March 29, 2024 13:57 25m 23s amm-test
amm-test
March 29, 2024 13:57 25m 23s
wip Build #1391: Commit 9ff2055 pushed by zoep
March 29, 2024 11:52 20m 9s amm-test
amm-test
March 29, 2024 11:52 20m 9s
SMT: add constant assertions (#182) Build #1390: Commit 6671f66 pushed by zoep
March 29, 2024 11:49 34m 59s main
main
March 29, 2024 11:49 34m 59s
wip Build #1389: Commit 49b06cf pushed by zoep
March 6, 2024 16:14 14m 3s exe-fix
exe-fix
March 6, 2024 16:14 14m 3s
wip Build #1388: Commit cfb2422 pushed by zoep
March 6, 2024 16:13 19m 52s amm-test
amm-test
March 6, 2024 16:13 19m 52s
Add constant assertions to SMT encoding of postconditions Build #1387: Pull request #182 opened by zoep
February 29, 2024 14:40 24m 53s smt-fix
smt-fix
February 29, 2024 14:40 24m 53s
SMT: add constant assertions Build #1386: Commit 9d9e1a9 pushed by zoep
February 29, 2024 14:36 23m 36s smt-fix
smt-fix
February 29, 2024 14:36 23m 36s
AMM full spec Build #1385: Commit bf913d3 pushed by zoep
February 23, 2024 22:06 19m 20s amm-test
amm-test
February 23, 2024 22:06 19m 20s
wip in preconditions for AMM Build #1384: Commit b61df21 pushed by zoep
February 23, 2024 18:01 22m 28s amm-test
amm-test
February 23, 2024 18:01 22m 28s
flake Build #1383: Commit 0fdfeb3 pushed by zoep
February 22, 2024 14:05 30m 36s amm-test
amm-test
February 22, 2024 14:05 30m 36s
Add decomposition flag Build #1382: Commit 1687b73 pushed by zoep
February 22, 2024 14:04 27m 19s amm-test
amm-test
February 22, 2024 14:04 27m 19s
fixed hevm incompatibilities Build #1381: Commit ea4b02f pushed by zoep
February 9, 2024 12:03 32m 45s amm-test
amm-test
February 9, 2024 12:03 32m 45s
remove symbolic Build #1380: Commit a02b95e pushed by zoep
February 9, 2024 11:54 24m 29s amm-test
amm-test
February 9, 2024 11:54 24m 29s
wip Build #1379: Commit b81867c pushed by zoep
February 8, 2024 14:28 25m 48s amm-test
amm-test
February 8, 2024 14:28 25m 48s
amm experiments Build #1378: Commit 7da78e3 pushed by zoep
February 6, 2024 14:35 19m 38s amm-test
amm-test
February 6, 2024 14:35 19m 38s
Important fixes in hevm equivalence Build #1377: Pull request #180 opened by zoep
February 5, 2024 16:06 39m 59s hevm-fixes
hevm-fixes
February 5, 2024 16:06 39m 59s
makefile Build #1376: Commit a4a9707 pushed by zoep
February 5, 2024 15:59 32m 29s hevm-fixes
hevm-fixes
February 5, 2024 15:59 32m 29s
hevm: fix threading of state in updates Build #1375: Commit 3142a8b pushed by zoep
January 24, 2024 16:21 15m 2s amm-test
amm-test
January 24, 2024 16:21 15m 2s