Skip to content

Actions: Pi-Squared-Inc/evm-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #78: Pull request #20 synchronize by Robertorosmaninho
October 16, 2024 15:30 16m 52s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 16, 2024 15:30 16m 52s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #77: Pull request #20 synchronize by Robertorosmaninho
October 16, 2024 14:54 17m 5s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 16, 2024 14:54 17m 5s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #76: Pull request #20 synchronize by Robertorosmaninho
October 16, 2024 14:52 1m 30s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 16, 2024 14:52 1m 30s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #75: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 18:29 16m 57s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 18:29 16m 57s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #74: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 18:23 5m 54s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 18:23 5m 54s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #73: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 18:09 14m 9s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 18:09 14m 9s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #72: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 18:02 7m 31s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 18:02 7m 31s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #71: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 17:58 33s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 17:58 33s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #70: Pull request #20 opened by Robertorosmaninho
October 15, 2024 15:12 7m 46s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 15:12 7m 46s
Uniswap sqrt eth test summary Test PR #69: Pull request #18 synchronize by ovatman
October 2, 2024 12:35 16m 4s uniswap-sqrt-eth-test-summary
uniswap-sqrt-eth-test-summary
October 2, 2024 12:35 16m 4s
Uniswap sqrt eth test summary Test PR #68: Pull request #18 synchronize by ovatman
October 2, 2024 12:30 5m 31s uniswap-sqrt-eth-test-summary
uniswap-sqrt-eth-test-summary
October 2, 2024 12:30 5m 31s
Uniswap sqrt eth test summary Test PR #67: Pull request #18 synchronize by ovatman
October 1, 2024 13:59 16m 8s uniswap-sqrt-eth-test-summary
uniswap-sqrt-eth-test-summary
October 1, 2024 13:59 16m 8s
Uniswap sqrt eth test summary Test PR #66: Pull request #18 synchronize by ovatman
October 1, 2024 13:57 1m 34s uniswap-sqrt-eth-test-summary
uniswap-sqrt-eth-test-summary
October 1, 2024 13:57 1m 34s
Uniswap sqrt eth test summary Test PR #65: Pull request #18 opened by ovatman
October 1, 2024 13:54 4m 9s uniswap-sqrt-eth-test-summary
uniswap-sqrt-eth-test-summary
October 1, 2024 13:54 4m 9s
Introducing proof hints feature to be used directly through kevm … Test PR #64: Commit 1e44493 pushed by dwightguth
September 25, 2024 17:34 16m 40s master-update
master-update
September 25, 2024 17:34 16m 40s
delete jumpDests cell Test PR #63: Pull request #17 synchronize by dwightguth
September 17, 2024 22:12 11m 0s jumpdest
jumpdest
September 17, 2024 22:12 11m 0s
delete jumpDests cell Test PR #62: Pull request #17 synchronize by dwightguth
September 17, 2024 21:40 7m 36s jumpdest
jumpdest
September 17, 2024 21:40 7m 36s
delete jumpDests cell Test PR #61: Pull request #17 opened by dwightguth
September 17, 2024 17:20 8m 23s jumpdest
jumpdest
September 17, 2024 17:20 8m 23s
Introducing proof hints feature to be used directly through kevm … Test PR #60: Commit 1feffe4 pushed by Robertorosmaninho
September 12, 2024 20:10 16m 12s master-update
master-update
September 12, 2024 20:10 16m 12s
Introducing proof hints feature to be used directly through kevm binary or poetry. Test PR #59: Pull request #14 synchronize by Robertorosmaninho
August 22, 2024 18:59 15m 55s proof-hints-krun
proof-hints-krun
August 22, 2024 18:59 15m 55s
Introducing proof hints feature to be used directly through kevm binary or poetry. Test PR #58: Pull request #14 synchronize by Robertorosmaninho
August 22, 2024 18:58 45s proof-hints-krun
proof-hints-krun
August 22, 2024 18:58 45s
remove procps Test PR #57: Pull request #15 synchronize by dwightguth
August 19, 2024 20:45 17m 44s procps
procps
August 19, 2024 20:45 17m 44s
remove procps Test PR #56: Pull request #15 opened by dwightguth
August 19, 2024 19:52 4m 37s procps
procps
August 19, 2024 19:52 4m 37s
Supporting LLVM Proof Hints Flags (#12) Test PR #55: Commit 2938419 pushed by Robertorosmaninho
August 13, 2024 18:55 17m 18s master-update
master-update
August 13, 2024 18:55 17m 18s
Supporting LLVM Proof Hints Flags (#12) Test PR #54: Commit f96bdd0 pushed by Robertorosmaninho
August 7, 2024 00:12 16m 16s master-update
master-update
August 7, 2024 00:12 16m 16s