Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
437 workflow runs
437 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add benchmark Gradle Build (non-master branch) #11: Commit 1b6372e pushed by VincenzoArceri
February 14, 2024 15:26 1m 35s fixes
fixes
February 14, 2024 15:26 1m 35s
Benchmark Gradle Build (non-master branch) #10: Commit 2692d4e pushed by VincenzoArceri
February 14, 2024 15:13 58s fixes
fixes
February 14, 2024 15:13 58s
Cleaned benchmark files Gradle Build (non-master branch) #9: Commit ff4721c pushed by VincenzoArceri
February 14, 2024 15:10 1m 0s fixes
fixes
February 14, 2024 15:10 1m 0s
Grammar refactoring Gradle Build (non-master branch) #8: Commit 7d0427c pushed by gretadolcetti
February 14, 2024 15:06 58s fixes
fixes
February 14, 2024 15:06 58s
Removed duplicated methods, added more statistics Gradle Build (non-master branch) #7: Commit 56fddbe pushed by VincenzoArceri
February 14, 2024 14:13 57s fixes
fixes
February 14, 2024 14:13 57s
Increased stack and integer set limits (previous limits, 0.90) Gradle Build (non-master branch) #6: Commit 58eab0d pushed by VincenzoArceri
February 13, 2024 19:09 4h 46m 57s fixes
fixes
February 13, 2024 19:09 4h 46m 57s
ProTip! You can narrow down the results and go further in time using created:<2024-02-13 or the other filters available.