Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
358 workflow runs
358 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

If a jump node is linked to all jump destinations, is not counted as Gradle Build (non-master branch) #256: Commit 07400ae pushed by VincenzoArceri
November 18, 2024 16:17 10m 2s reentrancy-checker
reentrancy-checker
November 18, 2024 16:17 10m 2s
Optimization Gradle Build (non-master branch) #255: Commit 98a6fa2 pushed by merendamattia
November 18, 2024 12:08 8m 27s reentrancy-checker
reentrancy-checker
November 18, 2024 12:08 8m 27s
Added link-unsound-jumps-to-all-jumpdest option in JumpSolver Gradle Build (non-master branch) #254: Commit c19423a pushed by merendamattia
November 18, 2024 10:14 9m 9s reentrancy-checker
reentrancy-checker
November 18, 2024 10:14 9m 9s
Added option to link unsound jumps to all jumpdest Gradle Build (non-master branch) #253: Commit 9efd993 pushed by VincenzoArceri
November 18, 2024 09:59 1h 1m 59s reentrancy-checker
reentrancy-checker
November 18, 2024 09:59 1h 1m 59s
Major update: optimized tests using multi-threading and cache Gradle Build (non-master branch) #252: Commit 7decfb0 pushed by merendamattia
November 15, 2024 16:33 8m 29s reentrancy-checker
reentrancy-checker
November 15, 2024 16:33 8m 29s
Removed dead code Gradle Build (non-master branch) #251: Commit f3b5fdf pushed by merendamattia
November 14, 2024 17:56 23m 45s reentrancy-checker
reentrancy-checker
November 14, 2024 17:56 23m 45s
Minor changes Gradle Build (non-master branch) #250: Commit 33272e2 pushed by merendamattia
November 14, 2024 17:39 24m 1s reentrancy-checker
reentrancy-checker
November 14, 2024 17:39 24m 1s
Added SliSE benchmark Gradle Build (non-master branch) #249: Commit eab38e3 pushed by merendamattia
November 12, 2024 08:32 24m 1s reentrancy-checker
reentrancy-checker
November 12, 2024 08:32 24m 1s
Bug fix Gradle Build (non-master branch) #248: Commit 12b4c7b pushed by merendamattia
November 11, 2024 20:19 23m 22s reentrancy-checker
reentrancy-checker
November 11, 2024 20:19 23m 22s
Added junit test for solidifi dataset Gradle Build (non-master branch) #247: Commit 780e9dd pushed by merendamattia
November 11, 2024 19:43 23m 59s reentrancy-checker
reentrancy-checker
November 11, 2024 19:43 23m 59s
Added SliSE dataset for benchmark Gradle Build (non-master branch) #246: Commit 6bd850d pushed by merendamattia
November 11, 2024 12:44 3m 18s reentrancy-checker
reentrancy-checker
November 11, 2024 12:44 3m 18s
Removed injected bug not appearing in bytecode from solidifi ground t… Gradle Build (non-master branch) #245: Commit 33d6699 pushed by merendamattia
November 11, 2024 10:23 3m 17s reentrancy-checker
reentrancy-checker
November 11, 2024 10:23 3m 17s
Removed injected bug not appearing in bytecode from solidifi ground t… Gradle Build (non-master branch) #244: Commit af0196f pushed by merendamattia
November 11, 2024 10:21 3m 18s reentrancy-checker
reentrancy-checker
November 11, 2024 10:21 3m 18s
Added action that checks the docker image build on master branch and … Gradle Build (non-master branch) #243: Commit 154974f pushed by merendamattia
November 10, 2024 09:51 3m 10s reentrancy-checker
reentrancy-checker
November 10, 2024 09:51 3m 10s
Fixed typo (#26) Gradle Build (non-master branch) #242: Commit 4472ee6 pushed by merendamattia
November 9, 2024 11:20 3m 10s reentrancy-checker
reentrancy-checker
November 9, 2024 11:20 3m 10s
Fixed issue (#26) Gradle Build (non-master branch) #241: Commit c7a4be8 pushed by merendamattia
November 9, 2024 11:16 3m 8s reentrancy-checker
reentrancy-checker
November 9, 2024 11:16 3m 8s
Minor changes Gradle Build (non-master branch) #240: Commit 3aa69ca pushed by merendamattia
November 9, 2024 11:06 3m 14s reentrancy-checker
reentrancy-checker
November 9, 2024 11:06 3m 14s
Minor changes Gradle Build (non-master branch) #239: Commit 1da390b pushed by denisguareschi
November 9, 2024 10:59 2m 55s Txorigin-checker
Txorigin-checker
November 9, 2024 10:59 2m 55s
Added the computation of Precision, Recall and F-measure in python be… Gradle Build (non-master branch) #238: Commit 1bcc058 pushed by merendamattia
November 9, 2024 10:23 3m 5s reentrancy-checker
reentrancy-checker
November 9, 2024 10:23 3m 5s
Added junit test for smartbugs dataset Gradle Build (non-master branch) #237: Commit d0af6a9 pushed by merendamattia
November 8, 2024 16:56 3m 25s reentrancy-checker
reentrancy-checker
November 8, 2024 16:56 3m 25s
Added junit test for smartbugs dataset Gradle Build (non-master branch) #236: Commit d1f1b1d pushed by merendamattia
November 8, 2024 16:35 3m 3s reentrancy-checker
reentrancy-checker
November 8, 2024 16:35 3m 3s
Minor changes to reentrancy checker Gradle Build (non-master branch) #235: Commit e9b2f5b pushed by VincenzoArceri
November 8, 2024 12:03 3m 4s reentrancy-checker
reentrancy-checker
November 8, 2024 12:03 3m 4s
Minor changes Gradle Build (non-master branch) #234: Commit c2ba8fb pushed by merendamattia
November 6, 2024 18:42 3m 4s reentrancy-checker
reentrancy-checker
November 6, 2024 18:42 3m 4s
Added reentrancy flag option Gradle Build (non-master branch) #233: Commit 11b477d pushed by merendamattia
November 6, 2024 17:57 3m 11s reentrancy-checker
reentrancy-checker
November 6, 2024 17:57 3m 11s
Minor changes Gradle Build (non-master branch) #232: Commit 1da390b pushed by merendamattia
November 6, 2024 13:16 2m 58s reentrancy-checker
reentrancy-checker
November 6, 2024 13:16 2m 58s