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

[WIP] Caching #464 Test FFI #924: Pull request #465 synchronize by iirekm
February 20, 2025 21:15 Action required iirekm:caching
iirekm:caching
February 20, 2025 21:15 Action required
[WIP] Caching #464 Test FFI #923: Pull request #465 synchronize by iirekm
February 20, 2025 19:48 Action required iirekm:caching
iirekm:caching
February 20, 2025 19:48 Action required
[WIP] Caching #464 Test FFI #922: Pull request #465 opened by iirekm
February 20, 2025 19:19 Action required iirekm:caching
iirekm:caching
February 20, 2025 19:19 Action required
feat: support for TLOAD/TSTORE (#463) Test FFI #921: Commit e0a4de6 pushed by daejunpark
February 19, 2025 22:36 1m 3s main
main
February 19, 2025 22:36 1m 3s
feat: support for TLOAD/TSTORE Test FFI #920: Pull request #463 synchronize by daejunpark
February 19, 2025 22:33 48s feat/t-storage
feat/t-storage
February 19, 2025 22:33 48s
feat: support for TLOAD/TSTORE Test FFI #919: Pull request #463 synchronize by daejunpark
February 19, 2025 21:39 48s feat/t-storage
feat/t-storage
February 19, 2025 21:39 48s
feat: support for TLOAD/TSTORE Test FFI #918: Pull request #463 opened by daejunpark
February 19, 2025 21:23 51s feat/t-storage
feat/t-storage
February 19, 2025 21:23 51s
fix: we do support empty bytes now Test FFI #917: Pull request #462 synchronize by daejunpark
February 19, 2025 05:14 54s fix/keccak-empty-bytes
fix/keccak-empty-bytes
February 19, 2025 05:14 54s
fix: we do support empty bytes now Test FFI #916: Pull request #462 synchronize by daejunpark
February 19, 2025 04:53 51s fix/keccak-empty-bytes
fix/keccak-empty-bytes
February 19, 2025 04:53 51s
fix: we do support empty bytes now Test FFI #915: Pull request #462 synchronize by daejunpark
February 18, 2025 04:56 1m 5s fix/keccak-empty-bytes
fix/keccak-empty-bytes
February 18, 2025 04:56 1m 5s
fix: we do support empty bytes now Test FFI #914: Pull request #462 opened by 0xkarmacoma
February 16, 2025 20:35 48s fix/keccak-empty-bytes
fix/keccak-empty-bytes
February 16, 2025 20:35 48s
test: disable gc for morpho test (#460) Test FFI #913: Commit 5c5ca39 pushed by daejunpark
February 15, 2025 01:53 1m 2s main
main
February 15, 2025 01:53 1m 2s
test: disable gc for morpho test Test FFI #912: Pull request #460 opened by daejunpark
February 15, 2025 01:36 1m 4s test/morpho-disable-gc
test/morpho-disable-gc
February 15, 2025 01:36 1m 4s
update tests/expected/simple.json (#459) Test FFI #911: Commit a233ff3 pushed by 0xkarmacoma
February 14, 2025 00:25 59s main
main
February 14, 2025 00:25 59s
update tests/expected/simple.json Test FFI #910: Pull request #459 opened by 0xkarmacoma
February 13, 2025 23:07 1m 4s fix/examples-simple-json
fix/examples-simple-json
February 13, 2025 23:07 1m 4s
add EIP-2098 (compact signatures) example to BadElections (#458) Test FFI #909: Commit a6456f1 pushed by 0xkarmacoma
February 13, 2025 22:37 52s main
main
February 13, 2025 22:37 52s
add EIP-2098 (compact signatures) example to BadElections Test FFI #908: Pull request #458 synchronize by 0xkarmacoma
February 13, 2025 22:34 1m 1s docs/bad-elections-compact-sig
docs/bad-elections-compact-sig
February 13, 2025 22:34 1m 1s
add EIP-2098 (compact signatures) example to BadElections Test FFI #907: Pull request #458 synchronize by 0xkarmacoma
February 13, 2025 22:33 50s docs/bad-elections-compact-sig
docs/bad-elections-compact-sig
February 13, 2025 22:33 50s
add SSTORE and SLOAD to traces (#456) Test FFI #906: Commit a307d06 pushed by 0xkarmacoma
February 13, 2025 22:07 1m 0s main
main
February 13, 2025 22:07 1m 0s
add SSTORE and SLOAD to traces Test FFI #905: Pull request #456 synchronize by 0xkarmacoma
February 13, 2025 22:03 53s feat/trace-sstore-sload
feat/trace-sstore-sload
February 13, 2025 22:03 53s
fix Z3 parser error in ecrecover (#457) Test FFI #904: Commit e65bc04 pushed by 0xkarmacoma
February 13, 2025 22:02 59s main
main
February 13, 2025 22:02 59s
add EIP-2098 (compact signatures) example to BadElections Test FFI #903: Pull request #458 opened by 0xkarmacoma
February 13, 2025 19:00 55s docs/bad-elections-compact-sig
docs/bad-elections-compact-sig
February 13, 2025 19:00 55s
fix Z3 parser error in ecrecover Test FFI #902: Pull request #457 opened by 0xkarmacoma
February 13, 2025 17:38 53s fix/ecrecover-parser-error
fix/ecrecover-parser-error
February 13, 2025 17:38 53s
add SSTORE and SLOAD to traces Test FFI #901: Pull request #456 synchronize by 0xkarmacoma
February 13, 2025 06:11 53s feat/trace-sstore-sload
feat/trace-sstore-sload
February 13, 2025 06:11 53s
add SSTORE and SLOAD to traces Test FFI #900: Pull request #456 synchronize by 0xkarmacoma
February 13, 2025 01:20 52s feat/trace-sstore-sload
feat/trace-sstore-sload
February 13, 2025 01:20 52s