Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added solidifi tx-origin benchmark Gradle Build (non-master branch) #294: Commit 9c49b20 pushed by merendamattia
December 29, 2024 13:21 1m 35s taint-domain
taint-domain
December 29, 2024 13:21 1m 35s
Smart contracts' source code of solidifi tx origin benchmark Gradle Build (non-master branch) #293: Commit 2cfe0a0 pushed by merendamattia
December 29, 2024 10:17 1m 38s taint-domain
taint-domain
December 29, 2024 10:17 1m 38s
Added path for tx-origin solidifi benchmark results Gradle Build (non-master branch) #292: Commit 4984144 pushed by merendamattia
December 29, 2024 10:13 1m 39s taint-domain
taint-domain
December 29, 2024 10:13 1m 39s
Optimizations Gradle Build (non-master branch) #291: Commit 8cd1314 pushed by merendamattia
December 29, 2024 09:45 1m 44s taint-domain
taint-domain
December 29, 2024 09:45 1m 44s
Fixed bug in test and added test for opcode Gradle Build (non-master branch) #290: Commit bbda15e pushed by merendamattia
December 29, 2024 09:45 1m 50s taint-domain
taint-domain
December 29, 2024 09:45 1m 50s
Fixed bug in test and added test for opcode Gradle Build (non-master branch) #289: Commit 5a00323 pushed by merendamattia
December 29, 2024 09:44 1m 36s taint-domain
taint-domain
December 29, 2024 09:44 1m 36s
First draft of TxOriginChecker with Taint check Gradle Build (non-master branch) #288: Commit afdb6f3 pushed by denisguareschi
December 26, 2024 11:21 1m 35s taint-domain
taint-domain
December 26, 2024 11:21 1m 35s
Tester update Gradle Build (non-master branch) #287: Commit 57db873 pushed by shivamkumar2402
December 20, 2024 22:05 1m 52s taint-domain
taint-domain
December 20, 2024 22:05 1m 52s
More test Gradle Build (non-master branch) #286: Commit 42b911b pushed by shivamkumar2402
December 20, 2024 22:01 1m 38s taint-domain
taint-domain
December 20, 2024 22:01 1m 38s
More Test Cases Gradle Build (non-master branch) #285: Commit 9bb0079 pushed by denisguareschi
December 17, 2024 11:38 1m 35s taint-domain
taint-domain
December 17, 2024 11:38 1m 35s
Update EVMTaintAbstractSemantics Gradle Build (non-master branch) #284: Commit 4f59ff3 pushed by shivamkumar2402
December 16, 2024 15:33 1m 47s taint-domain
taint-domain
December 16, 2024 15:33 1m 47s
sound/unsound stat Gradle Build (non-master branch) #283: Commit dc4e426 pushed by lucaneg
December 16, 2024 15:06 1m 56s counting-update
counting-update
December 16, 2024 15:06 1m 56s
Timestamp dependency checker 's draft Gradle Build (non-master branch) #282: Commit bac5d57 pushed by VincenzoArceri
December 16, 2024 14:51 1m 53s taint-domain
taint-domain
December 16, 2024 14:51 1m 53s
Fixing counting algo Gradle Build (non-master branch) #281: Commit ca8cf39 pushed by lucaneg
December 16, 2024 14:32 1m 56s counting-update
counting-update
December 16, 2024 14:32 1m 56s
Merge branch 'taint-domain' of https://github.com/lisa-analyzer/evm-l… Gradle Build (non-master branch) #280: Commit 5527256 pushed by shivamkumar2402
December 16, 2024 14:28 1m 43s taint-domain
taint-domain
December 16, 2024 14:28 1m 43s
Fixing dupX method Gradle Build (non-master branch) #279: Commit 85fd7af pushed by VincenzoArceri
December 16, 2024 09:49 1m 41s taint-domain
taint-domain
December 16, 2024 09:49 1m 41s
Pass on taint analysis domain + first unit test Gradle Build (non-master branch) #278: Commit df12ea3 pushed by VincenzoArceri
December 11, 2024 13:41 1m 47s taint-domain
taint-domain
December 11, 2024 13:41 1m 47s
Reentrancy checker Pull request on master: compile, build and spotless check #102: Pull request #30 synchronize by merendamattia
December 10, 2024 15:50 1m 51s reentrancy-checker
reentrancy-checker
December 10, 2024 15:50 1m 51s
Reentrancy checker Docker build image test #11: Pull request #30 synchronize by merendamattia
December 10, 2024 15:50 2m 13s reentrancy-checker
reentrancy-checker
December 10, 2024 15:50 2m 13s
Minor Gradle Build (non-master branch) #277: Commit e3fb983 pushed by merendamattia
December 10, 2024 15:50 2m 3s reentrancy-checker
reentrancy-checker
December 10, 2024 15:50 2m 3s
updates to counting mechanism Gradle Build (non-master branch) #276: Commit d742317 pushed by lucaneg
December 10, 2024 15:29 1m 52s counting-update
counting-update
December 10, 2024 15:29 1m 52s
Working on taint abstract stack (semantics missing) Gradle Build (non-master branch) #275: Commit 3b28e2d pushed by VincenzoArceri
December 5, 2024 13:58 57s taint-domain
taint-domain
December 5, 2024 13:58 57s
Working on taint abstract stack Gradle Build (non-master branch) #274: Commit 7bb146d pushed by VincenzoArceri
December 5, 2024 13:14 1m 46s taint-domain
taint-domain
December 5, 2024 13:14 1m 46s
First draft of taint abstract stacks Gradle Build (non-master branch) #273: Commit 7096101 pushed by VincenzoArceri
December 4, 2024 15:01 1m 52s taint-domain
taint-domain
December 4, 2024 15:01 1m 52s
Minor Gradle Build (non-master branch) #272: Commit 667ebbc pushed by merendamattia
December 2, 2024 10:45 1m 43s taint-domain
taint-domain
December 2, 2024 10:45 1m 43s