Skip to content

Actions: ethereum/act

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
205 workflow runs
205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix bug in typing multiple constracts Build #1451: Commit 0d5954e pushed by zoep
July 7, 2024 17:49 2h 27m 39s casting
casting
July 7, 2024 17:49 2h 27m 39s
Adding more tests Build #1450: Commit eedcc1b pushed by zoep
July 7, 2024 17:03 2h 35m 36s casting
casting
July 7, 2024 17:03 2h 35m 36s
nits in casting Build #1449: Commit cbede18 pushed by zoep
July 6, 2024 18:55 2h 42m 9s casting
casting
July 6, 2024 18:55 2h 42m 9s
Compiling contract casting Build #1448: Commit c93df92 pushed by zoep
July 6, 2024 18:29 2h 22m 38s casting
casting
July 6, 2024 18:29 2h 22m 38s
WIP in adding contract casting Build #1447: Commit 90d47ff pushed by zoep
July 3, 2024 14:36 14m 21s casting
casting
July 3, 2024 14:36 14m 21s
WIP in adding contract casting Build #1446: Commit 6a9324a pushed by zoep
June 17, 2024 21:26 2h 27m 1s casting
casting
June 17, 2024 21:26 2h 27m 1s
Wip bytesrings in HEVM equiv Build #1445: Commit 5a3eef6 pushed by zoep
June 6, 2024 13:33 21m 6s bytestr
bytestr
June 6, 2024 13:33 21m 6s
First working example for strings in Coq Build #1444: Commit 9cbf161 pushed by zoep
June 5, 2024 15:45 14m 4s bytestr
bytestr
June 5, 2024 15:45 14m 4s
WIP nit in typing Build #1443: Commit a84d634 pushed by zoep
June 4, 2024 17:42 2h 33m 47s bytestr
bytestr
June 4, 2024 17:42 2h 33m 47s
WIP parsing strings Build #1442: Commit dc4ad33 pushed by zoep
June 4, 2024 17:08 2h 31m 22s bytestr
bytestr
June 4, 2024 17:08 2h 31m 22s
WIP Coq bytestrings Build #1441: Commit 8d08bf7 pushed by zoep
May 29, 2024 20:27 2h 19m 55s bytestr
bytestr
May 29, 2024 20:27 2h 19m 55s
WIP Coq bytestrings Build #1440: Commit e8456a3 pushed by zoep
May 29, 2024 20:20 2h 33m 58s bytestr
bytestr
May 29, 2024 20:20 2h 33m 58s
Decompilation Build #1439: Pull request #173 synchronize by zoep
May 26, 2024 16:09 2h 35m 45s decompilation
decompilation
May 26, 2024 16:09 2h 35m 45s
syntax nit Build #1438: Commit 7b5ee98 pushed by zoep
May 26, 2024 16:09 2h 30m 43s decompilation
decompilation
May 26, 2024 16:09 2h 30m 43s
Decompilation Build #1437: Pull request #173 synchronize by zoep
May 26, 2024 15:21 14m 40s decompilation
decompilation
May 26, 2024 15:21 14m 40s
add postconditon to AMM Build #1436: Commit 24ebf2e pushed by zoep
May 26, 2024 15:21 14m 7s decompilation
decompilation
May 26, 2024 15:21 14m 7s
Decompilation Build #1435: Pull request #173 synchronize by zoep
May 20, 2024 20:01 14m 0s decompilation
decompilation
May 20, 2024 20:01 14m 0s
Decompile: add values for implicitly initalized storage vars Build #1434: Commit 712b424 pushed by zoep
May 20, 2024 20:01 15m 15s decompilation
decompilation
May 20, 2024 20:01 15m 15s
Decompilation Build #1433: Pull request #173 synchronize by zoep
May 1, 2024 17:00 2h 50m 27s decompilation
decompilation
May 1, 2024 17:00 2h 50m 27s
Decompile: new rewriting rule from work with Lexi and sideconditions Build #1432: Commit 62c1aa8 pushed by zoep
May 1, 2024 17:00 2h 36m 43s decompilation
decompilation
May 1, 2024 17:00 2h 36m 43s
Decompilation Build #1431: Pull request #173 synchronize by d-xo
April 26, 2024 13:31 2h 31m 2s decompilation
decompilation
April 26, 2024 13:31 2h 31m 2s
Decompile: fix infinite loop in codemap generation Build #1430: Commit bee9632 pushed by d-xo
April 26, 2024 13:31 2h 39m 1s decompilation
decompilation
April 26, 2024 13:31 2h 39m 1s
Decompilation Build #1429: Pull request #173 synchronize by zoep
April 23, 2024 18:52 6h 0m 27s decompilation
decompilation
April 23, 2024 18:52 6h 0m 27s
Fix type errors in conflict Build #1428: Commit c8af789 pushed by zoep
April 23, 2024 18:52 6h 0m 27s decompilation
decompilation
April 23, 2024 18:52 6h 0m 27s
Decompilation Build #1427: Pull request #173 synchronize by zoep
April 22, 2024 20:27 2h 50m 59s decompilation
decompilation
April 22, 2024 20:27 2h 50m 59s