Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-ffi.yml
742 workflow runs
742 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: chunk based memory model Test FFI #226: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:08 1m 3s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:08 1m 3s
feat: chunk based memory model Test FFI #225: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:04 1m 1s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:04 1m 1s
fix: use --ast to enable foundry build cache (#289) Test FFI #224: Commit e48d0ce pushed by karmacoma-eth
May 14, 2024 22:46 56s main
main
May 14, 2024 22:46 56s
fix: use --ast to enable foundry build cache Test FFI #223: Pull request #289 opened by daejunpark
May 14, 2024 22:39 1m 4s fix/build-ast
fix/build-ast
May 14, 2024 22:39 1m 4s
fix: terminate early on first counterexample with --early-exit Test FFI #222: Pull request #284 synchronize by karmacoma-eth
May 13, 2024 21:32 1m 6s saurabhchalke:fix/early-exit
saurabhchalke:fix/early-exit
May 13, 2024 21:32 1m 6s
fix: concrete exitcode for precompile (#286) Test FFI #221: Commit 5a7bedc pushed by daejunpark
May 13, 2024 20:46 1m 3s main
main
May 13, 2024 20:46 1m 3s
fix: concrete exitcode for precompile Test FFI #220: Pull request #286 opened by daejunpark
May 11, 2024 08:17 1m 6s fix/precompile-exitcode
fix/precompile-exitcode
May 11, 2024 08:17 1m 6s
fix: terminate early on first counterexample with --early-exit Test FFI #217: Pull request #284 opened by saurabhchalke
May 5, 2024 02:53 1m 8s saurabhchalke:fix/early-exit
saurabhchalke:fix/early-exit
May 5, 2024 02:53 1m 8s
Add GitHub Codespaces dev container config (#274) Test FFI #216: Commit a617814 pushed by karmacoma-eth
April 18, 2024 23:08 1m 31s main
main
April 18, 2024 23:08 1m 31s
Add GitHub Codespaces dev container config Test FFI #215: Pull request #274 synchronize by karmacoma-eth
April 18, 2024 22:46 1m 28s cos:main
cos:main
April 18, 2024 22:46 1m 28s
Add GitHub Codespaces dev container config Test FFI #214: Pull request #274 synchronize by karmacoma-eth
April 18, 2024 22:41 1m 24s cos:main
cos:main
April 18, 2024 22:41 1m 24s
chore: bump default python version to 3.12 (#278) Test FFI #213: Commit 3f5d10c pushed by daejunpark
April 18, 2024 17:43 1m 27s main
main
April 18, 2024 17:43 1m 27s
chore: bump default python version to 3.12 Test FFI #208: Pull request #278 synchronize by daejunpark
April 18, 2024 00:57 1m 21s ci/python-3.12
ci/python-3.12
April 18, 2024 00:57 1m 21s
chore: bump default python version to 3.12 Test FFI #207: Pull request #278 opened by daejunpark
April 18, 2024 00:46 1m 21s ci/python-3.12
ci/python-3.12
April 18, 2024 00:46 1m 21s
chore: remove requirements.txt Test FFI #206: Commit 1e7b91c pushed by karmacoma-eth
April 18, 2024 00:40 1m 30s main
main
April 18, 2024 00:40 1m 30s
chore: remove requirements.txt Test FFI #205: Pull request #277 opened by karmacoma-eth
April 18, 2024 00:29 1m 24s adios-requirements-txt
adios-requirements-txt
April 18, 2024 00:29 1m 24s
dep: unpin z3 version (cont'd) (#276) Test FFI #204: Commit abe353d pushed by daejunpark
April 18, 2024 00:19 1m 17s main
main
April 18, 2024 00:19 1m 17s
dep: unpin z3 version (cont'd) Test FFI #203: Pull request #276 synchronize by daejunpark
April 17, 2024 23:59 1m 10s z3-4.13
z3-4.13
April 17, 2024 23:59 1m 10s
dep: unpin z3 version (cont'd) Test FFI #202: Pull request #276 opened by daejunpark
April 17, 2024 20:20 1m 29s z3-4.13
z3-4.13
April 17, 2024 20:20 1m 29s
unpin z3 version Test FFI #201: Commit 81a271d pushed by karmacoma-eth
April 17, 2024 19:24 1m 18s main
main
April 17, 2024 19:24 1m 18s
unpin z3 version Test FFI #200: Pull request #275 opened by karmacoma-eth
April 17, 2024 18:11 1m 19s unpin-z3
unpin-z3
April 17, 2024 18:11 1m 19s
Add GitHub Codespaces dev container config Test FFI #199: Pull request #274 synchronize by cos
April 17, 2024 02:01 1m 26s cos:main
cos:main
April 17, 2024 02:01 1m 26s
feat: --solver-command lets user replace z3 invocations Test FFI #197: Commit 3e160f5 pushed by karmacoma-eth
April 11, 2024 00:26 1m 5s main
main
April 11, 2024 00:26 1m 5s
feat: --solver-command lets user replace z3 invocations Test FFI #196: Pull request #272 opened by karmacoma-eth
April 10, 2024 00:45 1m 29s rework-solver-subcommand
rework-solver-subcommand
April 10, 2024 00:45 1m 29s
fix: smt encoding for evm div-by-zero Test FFI #195: Pull request #271 opened by daejunpark
April 9, 2024 08:34 1m 21s fix-bv-div-by-zero-smt-encoding
fix-bv-div-by-zero-smt-encoding
April 9, 2024 08:34 1m 21s
ProTip! You can narrow down the results and go further in time using created:<2024-04-09 or the other filters available.