Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
437 workflow runs
437 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed solidifi tx-origin junit test Gradle Build (non-master branch) #311: Commit 7e6268e pushed by merendamattia
January 25, 2025 10:18 44m 41s taint-domain
taint-domain
January 25, 2025 10:18 44m 41s
Removed bug from solidifi txorigin source code interfaces Gradle Build (non-master branch) #310: Commit c80049f pushed by merendamattia
January 24, 2025 14:07 41m 4s taint-domain
taint-domain
January 24, 2025 14:07 41m 4s
Redirect of stderr to /dev/null Gradle Build (non-master branch) #309: Commit a01481a pushed by merendamattia
January 24, 2025 11:08 42m 22s taint-domain
taint-domain
January 24, 2025 11:08 42m 22s
Vanilla test in solidifi tx-origin benchmark Gradle Build (non-master branch) #308: Commit cd9a9b1 pushed by merendamattia
January 24, 2025 11:04 1m 9s taint-domain
taint-domain
January 24, 2025 11:04 1m 9s
Renaming taint abstract semantics test to tx origin abstract semantics Gradle Build (non-master branch) #307: Commit 00d1e10 pushed by VincenzoArceri
January 14, 2025 22:16 42m 18s taint-domain
taint-domain
January 14, 2025 22:16 42m 18s
Add methods Gradle Build (non-master branch) #306: Commit b112d33 pushed by shivamkumar2402
January 14, 2025 09:42 41m 7s taint-domain
taint-domain
January 14, 2025 09:42 41m 7s
TimestampDependencyChecker first draft Gradle Build (non-master branch) #305: Commit 7174b05 pushed by shivamkumar2402
January 14, 2025 09:29 51s taint-domain
taint-domain
January 14, 2025 09:29 51s
feat: optimizations in smallStepSemantics Gradle Build (non-master branch) #304: Commit fb699b3 pushed by merendamattia
January 9, 2025 17:00 40m 34s taint-domain
taint-domain
January 9, 2025 17:00 40m 34s
tmp: assert commented Gradle Build (non-master branch) #303: Commit d03199a pushed by merendamattia
January 9, 2025 16:47 16m 50s taint-domain
taint-domain
January 9, 2025 16:47 16m 50s
fix: restored TaintAbstractDomain Gradle Build (non-master branch) #302: Commit 12ad112 pushed by merendamattia
January 9, 2025 16:41 9m 52s taint-domain
taint-domain
January 9, 2025 16:41 9m 52s
fix: added solidifi's tx-origin bytecodes Gradle Build (non-master branch) #301: Commit d6e18b2 pushed by merendamattia
January 9, 2025 16:32 18m 15s taint-domain
taint-domain
January 9, 2025 16:32 18m 15s
Second Adjustment Gradle Build (non-master branch) #300: Commit 4c4056a pushed by denisguareschi
January 9, 2025 13:53 1m 2s taint-domain
taint-domain
January 9, 2025 13:53 1m 2s
fix: deleted pushTaintList and spotlessApply Gradle Build (non-master branch) #299: Commit 9481a69 pushed by merendamattia
January 9, 2025 11:44 40m 45s taint-domain
taint-domain
January 9, 2025 11:44 40m 45s
feat: solidifi's tx-origin junit test and updated paths of all junit … Gradle Build (non-master branch) #298: Commit b50513d pushed by merendamattia
January 9, 2025 11:42 39m 18s taint-domain
taint-domain
January 9, 2025 11:42 39m 18s
First look at TimestampDependencyChecker Gradle Build (non-master branch) #297: Commit 1cd7d05 pushed by denisguareschi
January 9, 2025 10:28 1m 41s taint-domain
taint-domain
January 9, 2025 10:28 1m 41s
Merge pull request #30 from lisa-analyzer/reentrancy-checker Docker build image test #12: Commit 6a3275f pushed by VincenzoArceri
January 9, 2025 10:21 2m 0s master
master
January 9, 2025 10:21 2m 0s
Merge pull request #30 from lisa-analyzer/reentrancy-checker Gradle Build (master branch) #13: Commit 6a3275f pushed by VincenzoArceri
January 9, 2025 10:21 1m 40s master
master
January 9, 2025 10:21 1m 40s
Fixing last details Gradle Build (non-master branch) #296: Commit 75a20d7 pushed by denisguareschi
January 9, 2025 09:31 1m 42s taint-domain
taint-domain
January 9, 2025 09:31 1m 42s
Adaptation of TaintAbstractStack to any Opcode Gradle Build (non-master branch) #295: Commit 00c2863 pushed by denisguareschi
January 8, 2025 15:16 1m 54s taint-domain
taint-domain
January 8, 2025 15:16 1m 54s
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