Skip to content

Actions: a16z/halmos

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
382 workflow run results
382 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: chunk based memory model Test #633: Pull request #288 synchronize by karmacoma-eth
May 21, 2024 16:48 3m 10s optimize-insn-decode
optimize-insn-decode
May 21, 2024 16:48 3m 10s
feat: chunk based memory model Test #632: Pull request #288 synchronize by karmacoma-eth
May 21, 2024 00:30 6m 39s optimize-insn-decode
optimize-insn-decode
May 21, 2024 00:30 6m 39s
feat: chunk based memory model Test #631: Pull request #288 synchronize by karmacoma-eth
May 21, 2024 00:29 3m 15s optimize-insn-decode
optimize-insn-decode
May 21, 2024 00:29 3m 15s
feat: chunk based memory model Test #630: Pull request #288 synchronize by karmacoma-eth
May 20, 2024 23:53 2m 49s optimize-insn-decode
optimize-insn-decode
May 20, 2024 23:53 2m 49s
feat: chunk based memory model Test #629: Pull request #288 synchronize by karmacoma-eth
May 20, 2024 23:38 2m 59s optimize-insn-decode
optimize-insn-decode
May 20, 2024 23:38 2m 59s
feat: chunk based memory model Test #628: Pull request #288 synchronize by karmacoma-eth
May 20, 2024 22:20 3m 7s optimize-insn-decode
optimize-insn-decode
May 20, 2024 22:20 3m 7s
feat: chunk based memory model Test #627: Pull request #288 synchronize by karmacoma-eth
May 20, 2024 22:15 3m 34s optimize-insn-decode
optimize-insn-decode
May 20, 2024 22:15 3m 34s
feat: chunk based memory model Test #626: Pull request #288 synchronize by karmacoma-eth
May 20, 2024 22:10 3m 37s optimize-insn-decode
optimize-insn-decode
May 20, 2024 22:10 3m 37s
feat: chunk based memory model Test #625: Pull request #288 synchronize by karmacoma-eth
May 18, 2024 00:12 3m 9s optimize-insn-decode
optimize-insn-decode
May 18, 2024 00:12 3m 9s
feat: chunk based memory model Test #624: Pull request #288 synchronize by karmacoma-eth
May 18, 2024 00:10 3m 6s optimize-insn-decode
optimize-insn-decode
May 18, 2024 00:10 3m 6s
feat: chunk based memory model Test #623: Pull request #288 synchronize by karmacoma-eth
May 18, 2024 00:02 3m 46s optimize-insn-decode
optimize-insn-decode
May 18, 2024 00:02 3m 46s
feat: chunk based memory model Test #622: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:50 3m 27s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:50 3m 27s
feat: chunk based memory model Test #621: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:47 3m 2s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:47 3m 2s
feat: chunk based memory model Test #620: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:39 3m 27s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:39 3m 27s
feat: chunk based memory model Test #619: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:36 1m 26s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:36 1m 26s
feat: chunk based memory model Test #618: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:27 3m 22s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:27 3m 22s
feat: chunk based memory model Test #617: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:14 3m 14s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:14 3m 14s
feat: chunk based memory model Test #616: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:08 3m 30s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:08 3m 30s
feat: chunk based memory model Test #615: Pull request #288 synchronize by karmacoma-eth
May 17, 2024 23:04 3m 13s optimize-insn-decode
optimize-insn-decode
May 17, 2024 23:04 3m 13s
fix: use --ast to enable foundry build cache (#289) Test #614: Commit e48d0ce pushed by karmacoma-eth
May 14, 2024 22:46 4m 10s main
main
May 14, 2024 22:46 4m 10s
fix: use --ast to enable foundry build cache Test #613: Pull request #289 opened by daejunpark
May 14, 2024 22:39 3m 5s fix/build-ast
fix/build-ast
May 14, 2024 22:39 3m 5s
fix: terminate early on first counterexample with --early-exit Test #612: Pull request #284 synchronize by karmacoma-eth
May 13, 2024 21:32 4m 9s saurabhchalke:fix/early-exit
saurabhchalke:fix/early-exit
May 13, 2024 21:32 4m 9s
fix: concrete exitcode for precompile (#286) Test #611: Commit 5a7bedc pushed by daejunpark
May 13, 2024 20:46 3m 46s main
main
May 13, 2024 20:46 3m 46s
fix: concrete exitcode for precompile Test #610: Pull request #286 opened by daejunpark
May 11, 2024 08:17 3m 36s fix/precompile-exitcode
fix/precompile-exitcode
May 11, 2024 08:17 3m 36s
fix: terminate early on first counterexample with --early-exit Test #607: Pull request #284 opened by saurabhchalke
May 5, 2024 02:53 4m 55s saurabhchalke:fix/early-exit
saurabhchalke:fix/early-exit
May 5, 2024 02:53 4m 55s