Skip to content

Actions: a16z/halmos

.github/workflows/black.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
This workflow was disabled manually.
1,160 workflow runs
1,160 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: branching over symbolic call addresses
.github/workflows/black.yml #1287: Pull request #349 opened by daejunpark
August 20, 2024 08:46 23s feat/branch-symbolic-calls
August 20, 2024 08:46 23s
lint
.github/workflows/black.yml #1286: Commit 22e8334 pushed by daejunpark
August 20, 2024 08:36 19s feat/branch-symbolic-calls
August 20, 2024 08:36 19s
test: uncomment extcodecopy tests
.github/workflows/black.yml #1285: Commit 9df14bc pushed by daejunpark
August 20, 2024 08:20 17s feat/branch-symbolic-calls
August 20, 2024 08:20 17s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1284: Pull request #348 synchronize by karmacoma-eth
August 20, 2024 00:38 29s code-fastpath-rebased
August 20, 2024 00:38 29s
consistency: con(1) -> ONE
.github/workflows/black.yml #1283: Commit 61343e2 pushed by karmacoma-eth
August 20, 2024 00:38 21s code-fastpath-rebased
August 20, 2024 00:38 21s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1282: Pull request #348 synchronize by karmacoma-eth
August 20, 2024 00:22 20s code-fastpath-rebased
August 20, 2024 00:22 20s
fix more uses of HalmosLogs.bounded_loops
.github/workflows/black.yml #1281: Commit 6ebdaaa pushed by karmacoma-eth
August 20, 2024 00:22 19s code-fastpath-rebased
August 20, 2024 00:22 19s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1280: Pull request #348 synchronize by karmacoma-eth
August 20, 2024 00:15 20s code-fastpath-rebased
August 20, 2024 00:15 20s
fix HalmosLogs.bounded_loops
.github/workflows/black.yml #1279: Commit b279253 pushed by karmacoma-eth
August 20, 2024 00:15 22s code-fastpath-rebased
August 20, 2024 00:15 22s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1278: Pull request #348 synchronize by karmacoma-eth
August 20, 2024 00:02 17s code-fastpath-rebased
August 20, 2024 00:02 17s
fix type syntax for 3.11
.github/workflows/black.yml #1277: Commit 20ea62a pushed by karmacoma-eth
August 20, 2024 00:02 18s code-fastpath-rebased
August 20, 2024 00:02 18s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1276: Pull request #348 synchronize by karmacoma-eth
August 19, 2024 23:59 25s code-fastpath-rebased
August 19, 2024 23:59 25s
better type annotations
.github/workflows/black.yml #1275: Commit de8d7c2 pushed by karmacoma-eth
August 19, 2024 23:59 25s code-fastpath-rebased
August 19, 2024 23:59 25s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1274: Pull request #348 synchronize by karmacoma-eth
August 19, 2024 23:59 25s code-fastpath-rebased
August 19, 2024 23:59 25s
fix tests
.github/workflows/black.yml #1273: Commit a292df6 pushed by karmacoma-eth
August 19, 2024 23:59 25s code-fastpath-rebased
August 19, 2024 23:59 25s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1272: Pull request #348 synchronize by karmacoma-eth
August 19, 2024 23:43 22s code-fastpath-rebased
August 19, 2024 23:43 22s
perf: new method to compute jumpi_id
.github/workflows/black.yml #1271: Commit 616a8c4 pushed by karmacoma-eth
August 19, 2024 23:42 20s code-fastpath-rebased
August 19, 2024 23:42 20s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1270: Pull request #348 synchronize by karmacoma-eth
August 19, 2024 23:08 30s code-fastpath-rebased
August 19, 2024 23:08 30s
remove spurious simplify call from unbox_int
.github/workflows/black.yml #1269: Commit 4079178 pushed by karmacoma-eth
August 19, 2024 23:08 24s code-fastpath-rebased
August 19, 2024 23:08 24s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1268: Pull request #348 synchronize by karmacoma-eth
August 19, 2024 22:07 21s code-fastpath-rebased
August 19, 2024 22:07 21s
simplify PUSHn execution
.github/workflows/black.yml #1267: Commit c878a86 pushed by karmacoma-eth
August 19, 2024 22:07 20s code-fastpath-rebased
August 19, 2024 22:07 20s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1266: Pull request #348 synchronize by karmacoma-eth
August 19, 2024 21:44 20s code-fastpath-rebased
August 19, 2024 21:44 20s
avoid str(cond) pattern
.github/workflows/black.yml #1265: Commit b29b766 pushed by karmacoma-eth
August 19, 2024 21:44 22s code-fastpath-rebased
August 19, 2024 21:44 22s
Code fastpath scanning for valid jump destinations
.github/workflows/black.yml #1264: Pull request #348 synchronize by karmacoma-eth
August 16, 2024 23:04 20s code-fastpath-rebased
August 16, 2024 23:04 20s
DUPn: avoid resimplifying stack elements
.github/workflows/black.yml #1263: Commit 85d963f pushed by karmacoma-eth
August 16, 2024 23:04 20s code-fastpath-rebased
August 16, 2024 23:04 20s