Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow run results
118 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removed stack field from abstract stack set (using elements from Gradle Build (non-master branch) #34: Commit 1e57f14 pushed by VincenzoArceri
February 20, 2024 07:23 1m 5s stack-set
stack-set
February 20, 2024 07:23 1m 5s
Regenerating equals and hashcode of AbstractStackSet Gradle Build (non-master branch) #33: Commit 32b5c17 pushed by VincenzoArceri
February 19, 2024 16:32 1m 3s stack-set
stack-set
February 19, 2024 16:32 1m 3s
Fixed isTop and isBottom and spotless apply Gradle Build (non-master branch) #32: Commit 4e0878e pushed by merendamattia
February 19, 2024 16:24 59s stack-set
stack-set
February 19, 2024 16:24 59s
Fixing starting abstract stack set Gradle Build (non-master branch) #31: Commit 1e4d4ba pushed by VincenzoArceri
February 19, 2024 15:56 56s stack-set
stack-set
February 19, 2024 15:56 56s
Fixing resoluting during analysis Gradle Build (non-master branch) #30: Commit ab39c86 pushed by VincenzoArceri
February 19, 2024 15:55 59s stack-set
stack-set
February 19, 2024 15:55 59s
Added implementation of SetLattice Gradle Build (non-master branch) #29: Commit c1fe9bd pushed by merendamattia
February 19, 2024 12:58 1m 4s stack-set
stack-set
February 19, 2024 12:58 1m 4s
Added implementation of BaseLattice Gradle Build (non-master branch) #28: Commit 1b9c396 pushed by merendamattia
February 19, 2024 12:01 59s stack-set
stack-set
February 19, 2024 12:01 59s
Spotless Apply Gradle Build (non-master branch) #27: Commit 6953e88 pushed by merendamattia
February 19, 2024 11:36 58s stack-set
stack-set
February 19, 2024 11:36 58s
First draft of AbstractStackSet domain Gradle Build (non-master branch) #26: Commit c8b2c85 pushed by merendamattia
February 19, 2024 11:22 59s stack-set
stack-set
February 19, 2024 11:22 59s
Merge pull request #17 from lisa-analyzer/fixes Gradle Build (master branch) #4: Commit fd8f71b pushed by VincenzoArceri
February 15, 2024 18:02 1m 5s master
master
February 15, 2024 18:02 1m 5s
Some optimization in resolving jumps Pull request on master: compile, build and spotless check #5: Pull request #17 opened by VincenzoArceri
February 15, 2024 17:59 1m 3s fixes
fixes
February 15, 2024 17:59 1m 3s
Apply spotless Gradle Build (non-master branch) #25: Commit 56bc210 pushed by VincenzoArceri
February 15, 2024 17:55 59s fixes
fixes
February 15, 2024 17:55 59s
Regenerating tests Gradle Build (non-master branch) #24: Commit bacdeff pushed by VincenzoArceri
February 15, 2024 17:50 1m 7s fixes
fixes
February 15, 2024 17:50 1m 7s
Minor changes Gradle Build (non-master branch) #23: Commit 69c68ab pushed by VincenzoArceri
February 15, 2024 17:47 1m 4s fixes
fixes
February 15, 2024 17:47 1m 4s
Restoring memory Gradle Build (non-master branch) #22: Commit 3cae7bc pushed by VincenzoArceri
February 15, 2024 17:46 1m 22s fixes
fixes
February 15, 2024 17:46 1m 22s
Remove useless file Gradle Build (non-master branch) #21: Commit 52188c5 pushed by VincenzoArceri
February 15, 2024 17:39 1m 18s fixes
fixes
February 15, 2024 17:39 1m 18s
Regenerating contracts Gradle Build (non-master branch) #20: Commit 4951a3d pushed by VincenzoArceri
February 15, 2024 17:09 1m 17s fixes
fixes
February 15, 2024 17:09 1m 17s
Resolving jumps during analysis, lazy computations of jump dests in Gradle Build (non-master branch) #19: Commit 4b6e8f1 pushed by VincenzoArceri
February 15, 2024 17:09 1m 18s fixes
fixes
February 15, 2024 17:09 1m 18s
Removed memory Gradle Build (non-master branch) #18: Commit 8aaf508 pushed by VincenzoArceri
February 15, 2024 12:39 1m 17s fixes
fixes
February 15, 2024 12:39 1m 17s
Minor changes Gradle Build (non-master branch) #17: Commit 973e0ad pushed by VincenzoArceri
February 15, 2024 12:36 2h 23m 1s fixes
fixes
February 15, 2024 12:36 2h 23m 1s
Add some INVALID opcodes Gradle Build (non-master branch) #16: Commit 0ccf79f pushed by VincenzoArceri
February 15, 2024 12:33 2h 23m 41s fixes
fixes
February 15, 2024 12:33 2h 23m 41s
Fixed unreachable jumps computation Gradle Build (non-master branch) #15: Commit 0369463 pushed by VincenzoArceri
February 15, 2024 12:27 2h 19m 48s fixes
fixes
February 15, 2024 12:27 2h 19m 48s
Missing contracts Gradle Build (non-master branch) #14: Commit 11a70a3 pushed by VincenzoArceri
February 14, 2024 18:44 2h 18m 6s fixes
fixes
February 14, 2024 18:44 2h 18m 6s
Not regenerating contracts Gradle Build (non-master branch) #13: Commit 3bd186a pushed by VincenzoArceri
February 14, 2024 17:34 2h 16m 38s fixes
fixes
February 14, 2024 17:34 2h 16m 38s
New benchmark Gradle Build (non-master branch) #12: Commit 54d0de1 pushed by gretadolcetti
February 14, 2024 17:09 1m 42s fixes
fixes
February 14, 2024 17:09 1m 42s