Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
445 workflow runs
445 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Changed test class Gradle Build (non-master branch) #5: Commit fae1372 pushed by VincenzoArceri
February 13, 2024 16:31 1h 9m 58s fixes
fixes
February 13, 2024 16:31 1h 9m 58s
Merge pull request #16 from lisa-analyzer/assume-jumpi Gradle Build (master branch) #3: Commit 5344f95 pushed by merendamattia
February 12, 2024 14:42 57s master
master
February 12, 2024 14:42 57s
assume method for JUMPI Pull request on master: compile, build and spotless check #4: Pull request #16 synchronize by VincenzoArceri
February 12, 2024 11:16 56s assume-jumpi
assume-jumpi
February 12, 2024 11:16 56s
Changing stack limit Gradle Build (non-master branch) #4: Commit 912d4a7 pushed by VincenzoArceri
February 12, 2024 11:16 54s assume-jumpi
assume-jumpi
February 12, 2024 11:16 54s
assume method for JUMPI Pull request on master: compile, build and spotless check #3: Pull request #16 synchronize by VincenzoArceri
February 12, 2024 11:13 59s assume-jumpi
assume-jumpi
February 12, 2024 11:13 59s
Apply spotless Gradle Build (non-master branch) #3: Commit 9fbce95 pushed by VincenzoArceri
February 12, 2024 11:13 59s assume-jumpi
assume-jumpi
February 12, 2024 11:13 59s
assume method for JUMPI Pull request on master: compile, build and spotless check #2: Pull request #16 opened by VincenzoArceri
February 12, 2024 10:02 1m 2s assume-jumpi
assume-jumpi
February 12, 2024 10:02 1m 2s
Fixed assume semantics for JUMPI Gradle Build (non-master branch) #2: Commit 19c53f9 pushed by VincenzoArceri
February 12, 2024 09:53 1m 0s assume-jumpi
assume-jumpi
February 12, 2024 09:53 1m 0s
Merge pull request #15 from lisa-analyzer/jd Gradle Build (master branch) #2: Commit ec2630b pushed by VincenzoArceri
February 10, 2024 11:31 57s master
master
February 10, 2024 11:31 57s
Refactoring tests Pull request on master: compile, build and spotless check #1: Pull request #15 opened by VincenzoArceri
February 10, 2024 11:29 56s jd
jd
February 10, 2024 11:29 56s
Refactoring tests Gradle Build (non-master branch) #1: Commit 8448799 pushed by VincenzoArceri
February 10, 2024 11:29 1m 4s jd
jd
February 10, 2024 11:29 1m 4s
Update README.md Gradle Build (master branch) #1: Commit 91158d0 pushed by VincenzoArceri
February 10, 2024 11:21 1m 3s master
master
February 10, 2024 11:21 1m 3s
ProTip! You can narrow down the results and go further in time using created:<2024-02-10 or the other filters available.