Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
449 workflow runs
449 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added the control of stacks size in the fake missed jump condition Gradle Build (non-master branch) #117: Commit eb1b081 pushed by merendamattia
April 1, 2024 08:51 58s not-jumpdest-top
not-jumpdest-top
April 1, 2024 08:51 58s
Bug fixed (counting of fake missed jumps) Gradle Build (non-master branch) #116: Commit a7726dd pushed by merendamattia
March 31, 2024 16:30 59s not-jumpdest-top
not-jumpdest-top
March 31, 2024 16:30 59s
Updated the calculation of unsolved jumps (added fakeMissedJumps) Gradle Build (non-master branch) #115: Commit dce7871 pushed by merendamattia
March 30, 2024 08:06 57s not-jumpdest-top
not-jumpdest-top
March 30, 2024 08:06 57s
Updated benchmark bytecodes Gradle Build (non-master branch) #114: Commit d1c884e pushed by merendamattia
March 29, 2024 08:57 1m 5s not-jumpdest-top
not-jumpdest-top
March 29, 2024 08:57 1m 5s
New benchmark Gradle Build (non-master branch) #113: Commit f712530 pushed by merendamattia
March 29, 2024 06:55 57s not-jumpdest-top
not-jumpdest-top
March 29, 2024 06:55 57s
Removed comments Gradle Build (non-master branch) #112: Commit 6607d2f pushed by merendamattia
March 27, 2024 10:49 59s not-jumpdest-top
not-jumpdest-top
March 27, 2024 10:49 59s
Merge pull request #18 from lisa-analyzer/stack-set Gradle Build (master branch) #5: Commit 8eb6b25 pushed by VincenzoArceri
March 27, 2024 09:03 1m 12s master
master
March 27, 2024 09:03 1m 12s
New implementation of unsound jumps Gradle Build (non-master branch) #111: Commit 7ea940f pushed by merendamattia
March 27, 2024 09:00 58s not-jumpdest-top
not-jumpdest-top
March 27, 2024 09:00 58s
Minor changes Gradle Build (non-master branch) #110: Commit 07f65ab pushed by merendamattia
March 26, 2024 16:04 1m 2s not-jumpdest-top
not-jumpdest-top
March 26, 2024 16:04 1m 2s
First implementation of NOT_JUMPDEST_TOP Gradle Build (non-master branch) #109: Commit b74d380 pushed by merendamattia
March 26, 2024 12:12 1m 1s not-jumpdest-top
not-jumpdest-top
March 26, 2024 12:12 1m 1s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #52: Pull request #18 synchronize by merendamattia
March 6, 2024 15:02 1m 5s stack-set
stack-set
March 6, 2024 15:02 1m 5s
Minor changes Gradle Build (non-master branch) #108: Commit 5cd019a pushed by merendamattia
March 6, 2024 15:02 1m 11s stack-set
stack-set
March 6, 2024 15:02 1m 11s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #51: Pull request #18 synchronize by VincenzoArceri
March 4, 2024 18:07 1m 15s stack-set
stack-set
March 4, 2024 18:07 1m 15s
Some optimizations in JumpSolver Gradle Build (non-master branch) #107: Commit 1f27408 pushed by VincenzoArceri
March 4, 2024 18:07 1m 9s stack-set
stack-set
March 4, 2024 18:07 1m 9s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #50: Pull request #18 synchronize by VincenzoArceri
March 4, 2024 17:55 1m 7s stack-set
stack-set
March 4, 2024 17:55 1m 7s
Some optimizations in jump checker Gradle Build (non-master branch) #106: Commit 2519be8 pushed by VincenzoArceri
March 4, 2024 17:54 1m 3s stack-set
stack-set
March 4, 2024 17:54 1m 3s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #49: Pull request #18 synchronize by VincenzoArceri
March 4, 2024 17:29 1m 10s stack-set
stack-set
March 4, 2024 17:29 1m 10s
Some optimizations Gradle Build (non-master branch) #105: Commit 7847249 pushed by VincenzoArceri
March 4, 2024 17:29 1m 3s stack-set
stack-set
March 4, 2024 17:29 1m 3s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #48: Pull request #18 synchronize by merendamattia
March 4, 2024 17:24 1m 9s stack-set
stack-set
March 4, 2024 17:24 1m 9s
Minor changes Gradle Build (non-master branch) #104: Commit dc521d5 pushed by merendamattia
March 4, 2024 17:24 1m 5s stack-set
stack-set
March 4, 2024 17:24 1m 5s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #47: Pull request #18 synchronize by VincenzoArceri
March 4, 2024 16:58 1m 10s stack-set
stack-set
March 4, 2024 16:58 1m 10s
Some optimization in AbstractStack Gradle Build (non-master branch) #103: Commit d72d76c pushed by VincenzoArceri
March 4, 2024 16:57 1m 10s stack-set
stack-set
March 4, 2024 16:57 1m 10s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #46: Pull request #18 synchronize by VincenzoArceri
March 4, 2024 15:46 1m 5s stack-set
stack-set
March 4, 2024 15:46 1m 5s
Some possible optimization Gradle Build (non-master branch) #102: Commit a73c329 pushed by VincenzoArceri
March 4, 2024 15:46 1m 1s stack-set
stack-set
March 4, 2024 15:46 1m 1s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #45: Pull request #18 synchronize by merendamattia
March 4, 2024 15:46 1m 7s stack-set
stack-set
March 4, 2024 15:46 1m 7s
ProTip! You can narrow down the results and go further in time using created:<2024-03-04 or the other filters available.