Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

Gradle Build (non-master branch)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle-all.yml
322 workflow runs
322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SpotlessAplly Gradle Build (non-master branch) #322: Commit a4644d3 pushed by merendamattia
February 4, 2025 09:52 57s cross-chain-analysis
cross-chain-analysis
February 4, 2025 09:52 57s
ABI parser to extract function signatures Gradle Build (non-master branch) #321: Commit 0f1aa0c pushed by merendamattia
February 4, 2025 09:50 1m 8s cross-chain-analysis
cross-chain-analysis
February 4, 2025 09:50 1m 8s
Updated gitignore Gradle Build (non-master branch) #320: Commit 49b85cd pushed by merendamattia
February 4, 2025 09:46 45m 57s cross-chain-analysis
cross-chain-analysis
February 4, 2025 09:46 45m 57s
spotless Gradle Build (non-master branch) #319: Commit ddf4ace pushed by merendamattia
January 31, 2025 09:02 46m 6s taint-domain
taint-domain
January 31, 2025 09:02 46m 6s
Merge remote-tracking branch 'refs/remotes/origin/taint-domain' into … Gradle Build (non-master branch) #318: Commit 6e2726b pushed by merendamattia
January 31, 2025 08:53 1m 4s taint-domain
taint-domain
January 31, 2025 08:53 1m 4s
Revert Gradle Build (non-master branch) #317: Commit 74d7040 pushed by merendamattia
January 31, 2025 08:41 56s taint-domain
taint-domain
January 31, 2025 08:41 56s
Merge remote-tracking branch 'refs/remotes/origin/taint-domain' into … Gradle Build (non-master branch) #316: Commit 3f2bcb3 pushed by merendamattia
January 31, 2025 08:36 46m 23s taint-domain
taint-domain
January 31, 2025 08:36 46m 23s
fix bug in mk method Gradle Build (non-master branch) #315: Commit b10ed48 pushed by shivamkumar2402
January 30, 2025 17:57 46m 12s taint-domain
taint-domain
January 30, 2025 17:57 46m 12s
Optimizations for better code readability Gradle Build (non-master branch) #314: Commit 9b8673c pushed by merendamattia
January 30, 2025 14:37 35s taint-domain
taint-domain
January 30, 2025 14:37 35s
Apply spotless Gradle Build (non-master branch) #313: Commit eb418af pushed by VincenzoArceri
January 29, 2025 08:33 46m 4s taint-domain
taint-domain
January 29, 2025 08:33 46m 4s
Added abstract domain for Timestamp dependency Gradle Build (non-master branch) #312: Commit 125c658 pushed by shivamkumar2402
January 28, 2025 20:00 47m 0s taint-domain
taint-domain
January 28, 2025 20:00 47m 0s
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