Skip to content

Actions: a16z/halmos

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
818 workflow runs
818 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: hexify for extract and const terms Test #1266: Pull request #440 opened by daejunpark
January 10, 2025 20:07 5m 38s fix/hexify-extract-const
fix/hexify-extract-const
January 10, 2025 20:07 5m 38s
fix: handle stack underflows in DUPn/SWAPn instructions Test #1265: Commit 606ac51 pushed by karmacoma-eth
January 10, 2025 19:01 6m 23s main
main
January 10, 2025 19:01 6m 23s
fix: handle stack underflows in DUPn/SWAPn instructions Test #1264: Pull request #439 opened by karmacoma-eth
January 10, 2025 18:53 5m 55s fix/stackn-dupn-underflows
fix/stackn-dupn-underflows
January 10, 2025 18:53 5m 55s
feat: improve dynamic calldata handling Test #1263: Pull request #436 opened by daejunpark
January 8, 2025 23:26 5m 37s feat/calldata-dyn
feat/calldata-dyn
January 8, 2025 23:26 5m 37s
Fix broken link in README.md file. Test #1262: Commit b276768 pushed by karmacoma-eth
January 8, 2025 00:04 6m 4s main
main
January 8, 2025 00:04 6m 4s
Fix broken link in README.md file. Test #1261: Pull request #435 opened by zbraiterman
January 7, 2025 23:53 5m 53s zbraiterman:update-reade
zbraiterman:update-reade
January 7, 2025 23:53 5m 53s
feat: mappings from bytecode to contract name (#429) Test #1260: Commit c705e37 pushed by daejunpark
January 7, 2025 20:51 6m 23s main
main
January 7, 2025 20:51 6m 23s
feat: mappings from bytecode to contract name Test #1259: Pull request #429 synchronize by daejunpark
January 7, 2025 20:33 3m 6s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
January 7, 2025 20:33 3m 6s
fix: not use context manager within generator (#434) Test #1258: Commit 6fe84ee pushed by daejunpark
January 7, 2025 20:15 7m 18s main
main
January 7, 2025 20:15 7m 18s
fix: not use context manager within generator Test #1257: Pull request #434 synchronize by daejunpark
January 7, 2025 20:12 6m 0s fix/generator-in-context-manager
fix/generator-in-context-manager
January 7, 2025 20:12 6m 0s
fix: add warnings when --width or --depth limits reached (#433) Test #1256: Commit 04cb455 pushed by daejunpark
January 7, 2025 20:11 6m 9s main
main
January 7, 2025 20:11 6m 9s
fix: not use context manager within generator Test #1255: Pull request #434 synchronize by daejunpark
January 7, 2025 06:39 5m 42s fix/generator-in-context-manager
fix/generator-in-context-manager
January 7, 2025 06:39 5m 42s
fix: not use context manager within generator Test #1254: Pull request #434 synchronize by daejunpark
January 7, 2025 06:20 6m 16s fix/generator-in-context-manager
fix/generator-in-context-manager
January 7, 2025 06:20 6m 16s
fix: not use context manager within generator Test #1253: Pull request #434 opened by daejunpark
January 7, 2025 06:19 6m 35s fix/generator-in-context-manager
fix/generator-in-context-manager
January 7, 2025 06:19 6m 35s
fix: add warnings when --width or --depth limits reached Test #1252: Pull request #433 synchronize by daejunpark
January 7, 2025 04:55 6m 5s fix/depth-warning
fix/depth-warning
January 7, 2025 04:55 6m 5s
fix: add warnings when --width or --depth limits reached Test #1251: Pull request #433 opened by daejunpark
January 7, 2025 02:14 5m 57s fix/depth-warning
fix/depth-warning
January 7, 2025 02:14 5m 57s
feat: mappings from bytecode to contract name Test #1250: Pull request #429 synchronize by karmacoma-eth
January 6, 2025 23:56 6m 8s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
January 6, 2025 23:56 6m 8s
fix: progress display race condition can result in LiveError Test #1249: Commit 950bd2a pushed by karmacoma-eth
January 6, 2025 20:52 6m 13s main
main
January 6, 2025 20:52 6m 13s
fix: progress display race condition can result in LiveError Test #1248: Pull request #432 opened by karmacoma-eth
January 6, 2025 17:48 5m 59s fix/live-error
fix/live-error
January 6, 2025 17:48 5m 59s
feat: mappings from bytecode to contract name Test #1247: Pull request #429 opened by daejunpark
December 20, 2024 23:14 6m 12s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
December 20, 2024 23:14 6m 12s
feat: support for snapshot cheatcodes (#427) Test #1246: Commit 0ef9341 pushed by daejunpark
December 17, 2024 02:36 6m 8s main
main
December 17, 2024 02:36 6m 8s
feat: support for snapshot cheatcodes Test #1245: Pull request #427 synchronize by daejunpark
December 16, 2024 19:53 5m 55s feat/snapshot
feat/snapshot
December 16, 2024 19:53 5m 55s
feat: support for snapshot cheatcodes Test #1244: Pull request #427 synchronize by daejunpark
December 14, 2024 06:07 6m 34s feat/snapshot
feat/snapshot
December 14, 2024 06:07 6m 34s
feat: support for snapshot cheatcodes Test #1243: Pull request #427 synchronize by daejunpark
December 14, 2024 06:06 2m 0s feat/snapshot
feat/snapshot
December 14, 2024 06:06 2m 0s
feat: support for snapshot cheatcodes Test #1242: Pull request #427 synchronize by daejunpark
December 12, 2024 19:26 6m 7s feat/snapshot
feat/snapshot
December 12, 2024 19:26 6m 7s