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

Minor changes Gradle Build (non-master branch) #193: Commit 0f28b65 pushed by merendamattia
October 31, 2024 10:49 3m 8s reentrancy-checker
reentrancy-checker
October 31, 2024 10:49 3m 8s
Added EtherSolve benchmark Gradle Build (non-master branch) #192: Commit f7c55e9 pushed by merendamattia
October 31, 2024 10:47 3m 5s reentrancy-checker
reentrancy-checker
October 31, 2024 10:47 3m 5s
Bug fixing and script benchmark for reentrancy checker Gradle Build (non-master branch) #191: Commit 6ab8c29 pushed by merendamattia
October 30, 2024 18:10 3m 8s reentrancy-checker
reentrancy-checker
October 30, 2024 18:10 3m 8s
Base implementation of reentrancy checker Gradle Build (non-master branch) #190: Commit ad9fdb0 pushed by VincenzoArceri
October 30, 2024 08:50 14m 43s reentrancy-checker
reentrancy-checker
October 30, 2024 08:50 14m 43s
Merge pull request #23 from lisa-analyzer/truth-ground Gradle Build (master branch) #12: Commit aa627f6 pushed by VincenzoArceri
October 15, 2024 14:35 3m 4s master
master
October 15, 2024 14:35 3m 4s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #90: Pull request #23 synchronize by merendamattia
October 15, 2024 10:43 3m 6s truth-ground
truth-ground
October 15, 2024 10:43 3m 6s
Refactoring Gradle Build (non-master branch) #189: Commit 2d0ce5c pushed by merendamattia
October 15, 2024 10:43 2m 57s truth-ground
truth-ground
October 15, 2024 10:43 2m 57s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #89: Pull request #23 synchronize by merendamattia
October 15, 2024 10:39 3m 1s truth-ground
truth-ground
October 15, 2024 10:39 3m 1s
Refactoring Gradle Build (non-master branch) #188: Commit 9aea691 pushed by merendamattia
October 15, 2024 10:39 3m 0s truth-ground
truth-ground
October 15, 2024 10:39 3m 0s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #88: Pull request #23 synchronize by merendamattia
October 11, 2024 14:51 3m 4s truth-ground
truth-ground
October 11, 2024 14:51 3m 4s
Refactoring Gradle Build (non-master branch) #187: Commit 8e634c8 pushed by merendamattia
October 11, 2024 14:51 3m 1s truth-ground
truth-ground
October 11, 2024 14:51 3m 1s
First draft of tx origin checker Gradle Build (non-master branch) #186: Commit 55a0094 pushed by merendamattia
October 8, 2024 13:23 2m 59s tx-origin-checker
tx-origin-checker
October 8, 2024 13:23 2m 59s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #87: Pull request #23 synchronize by VincenzoArceri
October 8, 2024 12:18 3m 9s truth-ground
truth-ground
October 8, 2024 12:18 3m 9s
Number's fields are now final, EVMCFG dfs method is now iterative Gradle Build (non-master branch) #185: Commit e4077c6 pushed by VincenzoArceri
October 8, 2024 12:18 3m 12s truth-ground
truth-ground
October 8, 2024 12:18 3m 12s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #86: Pull request #23 synchronize by merendamattia
October 7, 2024 15:53 3m 17s truth-ground
truth-ground
October 7, 2024 15:53 3m 17s
Minor changes Gradle Build (non-master branch) #184: Commit 71cc0f7 pushed by merendamattia
October 7, 2024 15:53 3m 12s truth-ground
truth-ground
October 7, 2024 15:53 3m 12s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #85: Pull request #23 synchronize by merendamattia
October 7, 2024 15:41 3m 7s truth-ground
truth-ground
October 7, 2024 15:41 3m 7s
Spotless Apply Gradle Build (non-master branch) #183: Commit e659a62 pushed by merendamattia
October 7, 2024 15:41 3m 14s truth-ground
truth-ground
October 7, 2024 15:41 3m 14s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #84: Pull request #23 synchronize by merendamattia
October 7, 2024 11:15 3m 2s truth-ground
truth-ground
October 7, 2024 11:15 3m 2s
Refactoring Gradle Build (non-master branch) #182: Commit 1adea7a pushed by merendamattia
October 7, 2024 11:15 3m 5s truth-ground
truth-ground
October 7, 2024 11:15 3m 5s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #83: Pull request #23 synchronize by merendamattia
October 7, 2024 07:52 3m 3s truth-ground
truth-ground
October 7, 2024 07:52 3m 3s
Dump of statistics with a json style Gradle Build (non-master branch) #181: Commit bd035d2 pushed by merendamattia
October 7, 2024 07:52 3m 11s truth-ground
truth-ground
October 7, 2024 07:52 3m 11s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #82: Pull request #23 synchronize by merendamattia
October 5, 2024 08:28 3m 2s truth-ground
truth-ground
October 5, 2024 08:28 3m 2s
Updated readme Gradle Build (non-master branch) #180: Commit bb9d323 pushed by merendamattia
October 5, 2024 08:28 2m 55s truth-ground
truth-ground
October 5, 2024 08:28 2m 55s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #81: Pull request #23 synchronize by merendamattia
October 5, 2024 08:25 3m 8s truth-ground
truth-ground
October 5, 2024 08:25 3m 8s