Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: execution traces Test FFI #33: Pull request #199 synchronize by daejunpark
October 6, 2023 03:07 1m 40s exec-traces
exec-traces
October 6, 2023 03:07 1m 40s
feat: execution traces Test FFI #32: Pull request #199 synchronize by daejunpark
October 6, 2023 02:39 1m 38s exec-traces
exec-traces
October 6, 2023 02:39 1m 38s
feat: execution traces Test FFI #31: Pull request #199 synchronize by daejunpark
October 6, 2023 02:19 1m 24s exec-traces
exec-traces
October 6, 2023 02:19 1m 24s
feat: execution traces Test FFI #30: Pull request #199 synchronize by karmacoma-eth
October 5, 2023 01:14 1m 49s exec-traces
exec-traces
October 5, 2023 01:14 1m 49s
feat: execution traces Test FFI #29: Pull request #199 synchronize by karmacoma-eth
October 5, 2023 00:48 1m 33s exec-traces
exec-traces
October 5, 2023 00:48 1m 33s
feat: execution traces Test FFI #28: Pull request #199 synchronize by karmacoma-eth
October 5, 2023 00:44 1m 10s exec-traces
exec-traces
October 5, 2023 00:44 1m 10s
test: add nonlinear tests (#198) Test FFI #27: Commit c1a175f pushed by daejunpark
September 27, 2023 03:49 1m 44s main
main
September 27, 2023 03:49 1m 44s
test: add nonlinear tests Test FFI #26: Pull request #198 synchronize by daejunpark
September 26, 2023 00:45 1m 42s test/non-linear
test/non-linear
September 26, 2023 00:45 1m 42s
test: add nonlinear tests Test FFI #25: Pull request #198 synchronize by daejunpark
September 26, 2023 00:40 1m 45s test/non-linear
test/non-linear
September 26, 2023 00:40 1m 45s
test: add nonlinear tests Test FFI #24: Pull request #198 synchronize by daejunpark
September 26, 2023 00:28 1m 44s test/non-linear
test/non-linear
September 26, 2023 00:28 1m 44s
test: add nonlinear tests Test FFI #23: Pull request #198 synchronize by daejunpark
September 25, 2023 22:18 1m 43s test/non-linear
test/non-linear
September 25, 2023 22:18 1m 43s
test: add nonlinear tests Test FFI #22: Pull request #198 synchronize by daejunpark
September 25, 2023 21:57 1m 26s test/non-linear
test/non-linear
September 25, 2023 21:57 1m 26s
test: add nonlinear tests Test FFI #21: Pull request #198 opened by daejunpark
September 25, 2023 21:40 1m 29s test/non-linear
test/non-linear
September 25, 2023 21:40 1m 29s
feat: add custom solver options (#197) Test FFI #20: Commit 5926a9d pushed by daejunpark
September 25, 2023 20:39 1m 59s main
main
September 25, 2023 20:39 1m 59s
feat: add custom solver options Test FFI #19: Pull request #197 opened by daejunpark
September 22, 2023 00:27 1m 24s feat/smt-options
feat/smt-options
September 22, 2023 00:27 1m 24s
fix: bitwise opcode semantics (#196) Test FFI #18: Commit e16be9f pushed by daejunpark
September 20, 2023 03:02 1m 44s main
main
September 20, 2023 03:02 1m 44s
fix: bitwise opcode semantics Test FFI #17: Pull request #196 opened by daejunpark
September 20, 2023 01:45 1m 29s fix/xor
fix/xor
September 20, 2023 01:45 1m 29s
fix: resolving address alias for infeasible paths (#195) Test FFI #16: Commit c13095d pushed by daejunpark
September 19, 2023 01:10 1m 52s main
main
September 19, 2023 01:10 1m 52s
fix: resolving address alias for infeasible paths Test FFI #15: Pull request #195 opened by daejunpark
September 19, 2023 00:25 1m 36s fix/address-alias
fix/address-alias
September 19, 2023 00:25 1m 36s
refactor: storage layout handling (#194) Test FFI #14: Commit 59ebac8 pushed by daejunpark
September 16, 2023 01:39 1m 54s main
main
September 16, 2023 01:39 1m 54s
mostly cosmetic changes wrt. storage layout handling Test FFI #13: Pull request #194 synchronize by daejunpark
September 16, 2023 01:18 1m 35s nits-and-suggestions
nits-and-suggestions
September 16, 2023 01:18 1m 35s
ci: specify environment for publish job (#193) Test FFI #12: Commit adcbe0d pushed by daejunpark
September 16, 2023 01:17 1m 38s main
main
September 16, 2023 01:17 1m 38s
mostly cosmetic changes wrt. storage layout handling Test FFI #11: Pull request #194 opened by karmacoma-eth
September 15, 2023 23:41 1m 20s nits-and-suggestions
nits-and-suggestions
September 15, 2023 23:41 1m 20s
ci: specify environment for publish job Test FFI #10: Pull request #193 opened by daejunpark
September 15, 2023 23:18 1m 48s ci/environment
ci/environment
September 15, 2023 23:18 1m 48s
feat: add support for custom storage layouts (#192) Test FFI #9: Commit 933117a pushed by daejunpark
September 15, 2023 18:00 2m 2s main
main
September 15, 2023 18:00 2m 2s
ProTip! You can narrow down the results and go further in time using created:<2023-09-15 or the other filters available.