Skip to content

Actions: a16z/halmos

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
602 workflow runs
602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: hexify for extract and const terms pre-commit #602: Pull request #440 opened by daejunpark
January 10, 2025 20:07 24s fix/hexify-extract-const
fix/hexify-extract-const
January 10, 2025 20:07 24s
fix: hexify for extract and const terms pre-commit #601: Commit 890f4c7 pushed by daejunpark
January 10, 2025 19:58 25s fix/hexify-extract-const
fix/hexify-extract-const
January 10, 2025 19:58 25s
fix: handle stack underflows in DUPn/SWAPn instructions pre-commit #600: Commit 606ac51 pushed by karmacoma-eth
January 10, 2025 19:01 21s main
main
January 10, 2025 19:01 21s
fix: handle stack underflows in DUPn/SWAPn instructions pre-commit #599: Pull request #439 opened by karmacoma-eth
January 10, 2025 18:53 23s fix/stackn-dupn-underflows
fix/stackn-dupn-underflows
January 10, 2025 18:53 23s
fix: handle stack underflows in DUPn/SWAPn instructions pre-commit #598: Commit 134ee80 pushed by karmacoma-eth
January 10, 2025 18:53 24s fix/stackn-dupn-underflows
fix/stackn-dupn-underflows
January 10, 2025 18:53 24s
first cut: shadow calldata pre-commit #597: Commit efc5cf3 pushed by daejunpark
January 10, 2025 03:16 26s feat/refine-calldata
feat/refine-calldata
January 10, 2025 03:16 26s
shutdown executors on signal pre-commit #596: Commit 625d4df pushed by karmacoma-eth
January 10, 2025 00:55 25s fix/early-exit
fix/early-exit
January 10, 2025 00:55 25s
bring back model output in solve_end_to_end pre-commit #595: Commit b7bc1f6 pushed by karmacoma-eth
January 9, 2025 23:55 28s fix/early-exit
fix/early-exit
January 9, 2025 23:55 28s
speed up early exit pre-commit #594: Commit de13931 pushed by karmacoma-eth
January 9, 2025 23:48 20s fix/early-exit
fix/early-exit
January 9, 2025 23:48 20s
adjust halmos_var_pattern to support p_ prefix pre-commit #593: Commit af18025 pushed by karmacoma-eth
January 9, 2025 19:20 21s fix/early-exit
fix/early-exit
January 9, 2025 19:20 21s
merge smtlib.py into solve.py pre-commit #592: Commit 9a5d5ea pushed by karmacoma-eth
January 9, 2025 18:29 23s fix/early-exit
fix/early-exit
January 9, 2025 18:29 23s
move solving-related functions to solve.py pre-commit #591: Commit 72cfb83 pushed by karmacoma-eth
January 9, 2025 17:06 21s fix/early-exit
fix/early-exit
January 9, 2025 17:06 21s
bring back timeouts, clean children after timeout pre-commit #590: Commit e1e3847 pushed by karmacoma-eth
January 9, 2025 01:11 21s fix/early-exit
fix/early-exit
January 9, 2025 01:11 21s
bring back refinement pre-commit #589: Commit 4e44e77 pushed by karmacoma-eth
January 9, 2025 00:17 27s fix/early-exit
fix/early-exit
January 9, 2025 00:17 27s
feat: improve dynamic calldata handling pre-commit #588: Pull request #436 opened by daejunpark
January 8, 2025 23:26 22s feat/calldata-dyn
feat/calldata-dyn
January 8, 2025 23:26 22s
comment pre-commit #587: Commit 47a1bae pushed by daejunpark
January 8, 2025 23:22 19s feat/calldata-dyn
feat/calldata-dyn
January 8, 2025 23:22 19s
make z3 the default --solver-command (so we always dump queries) pre-commit #586: Commit 5325451 pushed by karmacoma-eth
January 8, 2025 01:12 24s fix/early-exit
fix/early-exit
January 8, 2025 01:12 24s
Fix broken link in README.md file. pre-commit #585: Commit b276768 pushed by karmacoma-eth
January 8, 2025 00:04 28s main
main
January 8, 2025 00:04 28s
Fix broken link in README.md file. pre-commit #584: Pull request #435 opened by zbraiterman
January 7, 2025 23:53 28s zbraiterman:update-reade
zbraiterman:update-reade
January 7, 2025 23:53 28s
wip pre-commit #583: Commit 33cc8bf pushed by daejunpark
January 7, 2025 20:58 20s feat/calldata-dyn
feat/calldata-dyn
January 7, 2025 20:58 20s
feat: mappings from bytecode to contract name (#429) pre-commit #582: Commit c705e37 pushed by daejunpark
January 7, 2025 20:51 30s main
main
January 7, 2025 20:51 30s
feat: mappings from bytecode to contract name pre-commit #581: Pull request #429 synchronize by daejunpark
January 7, 2025 20:33 25s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
January 7, 2025 20:33 25s
Merge branch 'main' into feat/bytecode-contract-mapping pre-commit #580: Commit b5f965b pushed by daejunpark
January 7, 2025 20:33 20s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
January 7, 2025 20:33 20s
fix: not use context manager within generator (#434) pre-commit #579: Commit 6fe84ee pushed by daejunpark
January 7, 2025 20:15 28s main
main
January 7, 2025 20:15 28s
fix: not use context manager within generator pre-commit #578: Pull request #434 synchronize by daejunpark
January 7, 2025 20:12 28s fix/generator-in-context-manager
fix/generator-in-context-manager
January 7, 2025 20:12 28s