Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add SSTORE and SLOAD to traces Test FFI #899: Pull request #456 opened by 0xkarmacoma
February 12, 2025 20:01 55s feat/trace-sstore-sload
feat/trace-sstore-sload
February 12, 2025 20:01 55s
feat: invariant testing Test FFI #898: Pull request #454 synchronize by daejunpark
February 6, 2025 01:26 1m 4s feat/invariant-testing
feat/invariant-testing
February 6, 2025 01:26 1m 4s
feat: invariant testing Test FFI #897: Pull request #454 opened by daejunpark
February 6, 2025 01:11 50s feat/invariant-testing
feat/invariant-testing
February 6, 2025 01:11 50s
fix: avoid sort mismatches bv <> bool (#452) Test FFI #896: Commit c19ffac pushed by 0xkarmacoma
January 31, 2025 18:36 1m 10s main
main
January 31, 2025 18:36 1m 10s
fix: avoid sort mismatches bv <> bool Test FFI #895: Pull request #452 synchronize by 0xkarmacoma
January 31, 2025 17:47 51s fix/451-sort-mismatch
fix/451-sort-mismatch
January 31, 2025 17:47 51s
fix: avoid sort mismatches bv <> bool Test FFI #894: Pull request #452 opened by 0xkarmacoma
January 31, 2025 01:26 46s fix/451-sort-mismatch
fix/451-sort-mismatch
January 31, 2025 01:26 46s
Update README.md Test FFI #893: Commit e6f0826 pushed by 0xkarmacoma
January 30, 2025 19:08 1m 2s main
main
January 30, 2025 19:08 1m 2s
fix --early-exit (#437) Test FFI #891: Commit b0dead0 pushed by 0xkarmacoma
January 28, 2025 17:23 57s main
main
January 28, 2025 17:23 57s
fix --early-exit Test FFI #890: Pull request #437 synchronize by 0xkarmacoma
January 28, 2025 01:48 1m 5s fix/early-exit
fix/early-exit
January 28, 2025 01:48 1m 5s
fix --early-exit Test FFI #889: Pull request #437 synchronize by 0xkarmacoma
January 28, 2025 01:03 56s fix/early-exit
fix/early-exit
January 28, 2025 01:03 56s
fix --early-exit Test FFI #888: Pull request #437 synchronize by 0xkarmacoma
January 27, 2025 22:56 54s fix/early-exit
fix/early-exit
January 27, 2025 22:56 54s
fix --early-exit Test FFI #887: Pull request #437 synchronize by 0xkarmacoma
January 27, 2025 22:48 48s fix/early-exit
fix/early-exit
January 27, 2025 22:48 48s
fix --early-exit Test FFI #886: Pull request #437 synchronize by 0xkarmacoma
January 25, 2025 01:22 48s fix/early-exit
fix/early-exit
January 25, 2025 01:22 48s
fix --early-exit Test FFI #885: Pull request #437 synchronize by 0xkarmacoma
January 25, 2025 01:19 49s fix/early-exit
fix/early-exit
January 25, 2025 01:19 49s
fix --early-exit Test FFI #884: Pull request #437 synchronize by 0xkarmacoma
January 25, 2025 01:09 51s fix/early-exit
fix/early-exit
January 25, 2025 01:09 51s
fix --early-exit Test FFI #883: Pull request #437 synchronize by 0xkarmacoma
January 23, 2025 18:36 55s fix/early-exit
fix/early-exit
January 23, 2025 18:36 55s
fix --early-exit Test FFI #882: Pull request #437 synchronize by 0xkarmacoma
January 23, 2025 01:09 1m 2s fix/early-exit
fix/early-exit
January 23, 2025 01:09 1m 2s
fix --early-exit Test FFI #881: Pull request #437 synchronize by 0xkarmacoma
January 22, 2025 23:19 48s fix/early-exit
fix/early-exit
January 22, 2025 23:19 48s
fix --early-exit Test FFI #880: Pull request #437 synchronize by 0xkarmacoma
January 22, 2025 23:00 49s fix/early-exit
fix/early-exit
January 22, 2025 23:00 49s
fix: check infeasible errors (#445) Test FFI #879: Commit 028d726 pushed by daejunpark
January 22, 2025 01:13 1m 3s main
main
January 22, 2025 01:13 1m 3s
fix: check infeasible errors Test FFI #878: Pull request #445 synchronize by daejunpark
January 21, 2025 21:43 50s ci/snekmate
ci/snekmate
January 21, 2025 21:43 50s
fix: check infeasible errors Test FFI #877: Pull request #445 opened by daejunpark
January 21, 2025 21:19 47s ci/snekmate
ci/snekmate
January 21, 2025 21:19 47s
fix --early-exit Test FFI #876: Pull request #437 synchronize by 0xkarmacoma
January 18, 2025 01:15 53s fix/early-exit
fix/early-exit
January 18, 2025 01:15 53s
fix --early-exit Test FFI #875: Pull request #437 synchronize by 0xkarmacoma
January 18, 2025 00:59 58s fix/early-exit
fix/early-exit
January 18, 2025 00:59 58s
fix --early-exit Test FFI #874: Pull request #437 synchronize by 0xkarmacoma
January 18, 2025 00:54 59s fix/early-exit
fix/early-exit
January 18, 2025 00:54 59s