Skip to content

Actions: a16z/halmos

Actions

Test external projects

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-external.yml
425 workflow runs
425 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test external projects Test external projects #407: Manually run by daejunpark
August 26, 2024 20:57 19m 11s feat/symbolic-storage
feat/symbolic-storage
August 26, 2024 20:57 19m 11s
ci: add ruff to pre-commit and replace black action with pre-commit (… Test external projects #406: Commit 7ffe5e0 pushed by daejunpark
August 26, 2024 19:33 17m 56s main
main
August 26, 2024 19:33 17m 56s
fix errors reported by ruff (#353) Test external projects #405: Commit 8e348b2 pushed by karmacoma-eth
August 26, 2024 16:27 48s main
main
August 26, 2024 16:27 48s
Test external projects Test external projects #404: Manually run by daejunpark
August 24, 2024 03:51 18m 43s feat/empty-initial-state
feat/empty-initial-state
August 24, 2024 03:51 18m 43s
Test external projects Test external projects #403: Manually run by daejunpark
August 24, 2024 00:41 18m 9s feat/empty-initial-state
feat/empty-initial-state
August 24, 2024 00:41 18m 9s
feat: reject multiple setup paths (#351) Test external projects #402: Commit 23f2140 pushed by daejunpark
August 24, 2024 00:28 3m 55s main
main
August 24, 2024 00:28 3m 55s
feat: deprecate --bytecode and --reset-bytecode (#350) Test external projects #401: Commit a425da9 pushed by daejunpark
August 24, 2024 00:03 4m 0s main
main
August 24, 2024 00:03 4m 0s
Test external projects Test external projects #400: Manually run by daejunpark
August 24, 2024 00:02 17m 59s feat/empty-initial-state
feat/empty-initial-state
August 24, 2024 00:02 17m 59s
Test external projects Test external projects #399: Manually run by karmacoma-eth
August 23, 2024 22:59 4m 11s feat/fail-multiple-setups
feat/fail-multiple-setups
August 23, 2024 22:59 4m 11s
feat: branching over symbolic call addresses (#349) Test external projects #398: Commit d541a0f pushed by daejunpark
August 22, 2024 07:32 3m 51s main
main
August 22, 2024 07:32 3m 51s
Test external projects Test external projects #397: Manually run by daejunpark
August 22, 2024 06:30 18m 38s feat/branch-symbolic-calls
feat/branch-symbolic-calls
August 22, 2024 06:30 18m 38s
perf: code fastpath scanning for valid jump destinations (#348) Test external projects #396: Commit 536299a pushed by daejunpark
August 22, 2024 04:43 25m 9s main
main
August 22, 2024 04:43 25m 9s
Test external projects Test external projects #395: Manually run by daejunpark
August 20, 2024 09:46 24m 56s code-fastpath-rebased
code-fastpath-rebased
August 20, 2024 09:46 24m 56s
Test external projects Test external projects #394: Manually run by daejunpark
August 20, 2024 08:58 17m 49s feat/branch-symbolic-calls
feat/branch-symbolic-calls
August 20, 2024 08:58 17m 49s
ci: disable pytest-xdist (#345) Test external projects #393: Commit c3f45dd pushed by daejunpark
August 14, 2024 22:37 29m 36s main
main
August 14, 2024 22:37 29m 36s
Update README.md Test external projects #392: Commit 4a31b9a pushed by karmacoma-eth
August 14, 2024 21:47 25m 42s main
main
August 14, 2024 21:47 25m 42s
fix: smt encoding for evm div-by-zero (#271) Test external projects #391: Commit f5acded pushed by daejunpark
August 14, 2024 01:47 25m 3s main
main
August 14, 2024 01:47 25m 3s
smt: abstract multiplication (#340) Test external projects #390: Commit d790f72 pushed by daejunpark
August 14, 2024 01:30 25m 7s main
main
August 14, 2024 01:30 25m 7s
examples/simple: fix openzeppelin remappings and fix OZ ERC721 transf… Test external projects #389: Commit 96a44a7 pushed by karmacoma-eth
August 14, 2024 00:35 28m 3s main
main
August 14, 2024 00:35 28m 3s
ci: use yices2 for test-external (#341) Test external projects #388: Commit 96bf260 pushed by karmacoma-eth
August 13, 2024 22:31 27m 10s main
main
August 13, 2024 22:31 27m 10s
add support for prank(sender, origin) and startPrank(sender, origin) … Test external projects #387: Commit f029418 pushed by karmacoma-eth
August 13, 2024 22:24 27m 15s main
main
August 13, 2024 22:24 27m 15s
trace rendering: extract selector from calldata (#339) Test external projects #386: Commit 5292bd2 pushed by karmacoma-eth
August 13, 2024 22:08 26m 34s main
main
August 13, 2024 22:08 26m 34s
Test external projects Test external projects #385: Manually run by daejunpark
August 13, 2024 06:25 26m 48s ci/test-external-solver
ci/test-external-solver
August 13, 2024 06:25 26m 48s
Test external projects Test external projects #384: Manually run by daejunpark
August 13, 2024 05:44 4m 42s fix-bv-div-by-zero-smt-encoding
fix-bv-div-by-zero-smt-encoding
August 13, 2024 05:44 4m 42s
fix: parsing unsat core output variants (#337) Test external projects #383: Commit f7ff1f8 pushed by daejunpark
August 2, 2024 22:03 28m 49s main
main
August 2, 2024 22:03 28m 49s