Skip to content

Actions: lisa-analyzer/evm-lisa

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed 31.sol (bug with the compiler)
Gradle Build (non-master branch) #231: Commit 5902568 pushed by merendamattia
November 6, 2024 13:09 2m 59s reentrancy-checker
November 6, 2024 13:09 2m 59s
Fixed issues: ethersolve statistics dump, resolved compilation proble…
Gradle Build (non-master branch) #230: Commit 055eff2 pushed by merendamattia
November 6, 2024 09:27 2m 59s reentrancy-checker
November 6, 2024 09:27 2m 59s
Changed compile-all
Gradle Build (non-master branch) #229: Commit 088cdcb pushed by VincenzoArceri
November 5, 2024 19:07 2m 55s reentrancy-checker
November 5, 2024 19:07 2m 55s
Refactoring
Gradle Build (non-master branch) #228: Commit 98e0074 pushed by merendamattia
November 5, 2024 13:24 2m 57s reentrancy-checker
November 5, 2024 13:24 2m 57s
Added smartbugs data in the graph
Gradle Build (non-master branch) #227: Commit 08d6b8d pushed by merendamattia
November 5, 2024 12:46 2m 52s reentrancy-checker
November 5, 2024 12:46 2m 52s
Updated .gitignore
Gradle Build (non-master branch) #226: Commit ba58984 pushed by merendamattia
November 5, 2024 12:30 3m 5s reentrancy-checker
November 5, 2024 12:30 3m 5s
Added smartbugs dataset
Gradle Build (non-master branch) #225: Commit 2eef85f pushed by merendamattia
November 5, 2024 12:28 2m 58s reentrancy-checker
November 5, 2024 12:28 2m 58s
Refactoring
Gradle Build (non-master branch) #224: Commit 1e4ad64 pushed by merendamattia
November 5, 2024 11:02 3m 1s reentrancy-checker
November 5, 2024 11:02 3m 1s
Refactoring
Gradle Build (non-master branch) #223: Commit afd893c pushed by merendamattia
November 5, 2024 11:00 2m 54s reentrancy-checker
November 5, 2024 11:00 2m 54s
Refactoring reentrancy checker
Gradle Build (non-master branch) #222: Commit 5aaac5e pushed by VincenzoArceri
November 5, 2024 07:18 3m 5s reentrancy-checker
November 5, 2024 07:18 3m 5s
Typo
Gradle Build (non-master branch) #221: Commit 91cbba8 pushed by merendamattia
November 4, 2024 17:38 2m 58s reentrancy-checker
November 4, 2024 17:38 2m 58s
Minor changes
Gradle Build (non-master branch) #220: Commit 6704fb4 pushed by merendamattia
November 4, 2024 17:31 3m 1s reentrancy-checker
November 4, 2024 17:31 3m 1s
Updated solc version to 5.12 from 5.17
Gradle Build (non-master branch) #219: Commit da937d7 pushed by merendamattia
November 4, 2024 16:12 2m 58s reentrancy-checker
November 4, 2024 16:12 2m 58s
Reentrancy checker ran just once
Gradle Build (non-master branch) #218: Commit 9f49532 pushed by VincenzoArceri
November 4, 2024 16:01 3m 0s reentrancy-checker
November 4, 2024 16:01 3m 0s
Reentrancy warning raised just on the last SSTORE opcode of a basic
Gradle Build (non-master branch) #217: Commit 7f39359 pushed by VincenzoArceri
November 4, 2024 14:59 3m 9s reentrancy-checker
November 4, 2024 14:59 3m 9s
Added etherscan vanilla
Gradle Build (non-master branch) #216: Commit d43a455 pushed by merendamattia
November 4, 2024 12:07 2m 52s reentrancy-checker
November 4, 2024 12:07 2m 52s
Normalizing path used for cfg name
Gradle Build (non-master branch) #215: Commit dc91a68 pushed by lucaneg
November 4, 2024 10:30 2m 54s reentrancy-checker
November 4, 2024 10:30 2m 54s
Refined reentrancy checker
Gradle Build (non-master branch) #214: Commit 2ff45ec pushed by VincenzoArceri
November 4, 2024 08:52 2m 53s reentrancy-checker
November 4, 2024 08:52 2m 53s
Minor changes
Gradle Build (non-master branch) #213: Commit 8cb3c6e pushed by merendamattia
November 4, 2024 08:41 2m 55s reentrancy-checker
November 4, 2024 08:41 2m 55s
Added vanilla analisys
Gradle Build (non-master branch) #212: Commit a79de48 pushed by merendamattia
November 4, 2024 08:28 3m 2s reentrancy-checker
November 4, 2024 08:28 3m 2s
Optimization
Gradle Build (non-master branch) #211: Commit 49ff103 pushed by merendamattia
November 3, 2024 21:12 3m 6s reentrancy-checker
November 3, 2024 21:12 3m 6s
Reentrancy checker
Gradle Build (non-master branch) #210: Commit 787d896 pushed by VincenzoArceri
November 3, 2024 18:33 2m 58s reentrancy-checker
November 3, 2024 18:33 2m 58s
Minor changes
Gradle Build (non-master branch) #209: Commit c70c3e6 pushed by merendamattia
November 3, 2024 18:23 2m 52s reentrancy-checker
November 3, 2024 18:23 2m 52s
Reentrancy checker & plot evmlisa results
Gradle Build (non-master branch) #208: Commit 26e6176 pushed by merendamattia
November 3, 2024 17:21 2m 59s reentrancy-checker
November 3, 2024 17:21 2m 59s
Fixed bug in ADDRESS operator
Gradle Build (non-master branch) #207: Commit 6425925 pushed by merendamattia
November 3, 2024 09:40 3m 0s reentrancy-checker
November 3, 2024 09:40 3m 0s