Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
730 workflow runs
730 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added soundness checker at the end of each analysis Gradle Build (non-master branch) #326: Commit c636e46 pushed by merendamattia
1m 8s cross-chain-analysis
cross-chain-analysis
1m 8s
Optimized getSoundlySolvedJumps() Gradle Build (non-master branch) #325: Commit f3d5f3e pushed by merendamattia
1m 10s cross-chain-analysis
cross-chain-analysis
1m 10s
Algorithm to build the cross-chain CFG (xCFG) Gradle Build (non-master branch) #324: Commit 4726218 pushed by merendamattia
58s cross-chain-analysis
cross-chain-analysis
58s
Updated test paths Gradle Build (non-master branch) #323: Commit 8bc36e7 pushed by merendamattia
1m 0s cross-chain-analysis
cross-chain-analysis
1m 0s
SpotlessAplly Gradle Build (non-master branch) #322: Commit a4644d3 pushed by merendamattia
57s cross-chain-analysis
cross-chain-analysis
57s
ABI parser to extract function signatures Gradle Build (non-master branch) #321: Commit 0f1aa0c pushed by merendamattia
1m 8s cross-chain-analysis
cross-chain-analysis
1m 8s
Updated gitignore Gradle Build (non-master branch) #320: Commit 49b85cd pushed by merendamattia
45m 57s cross-chain-analysis
cross-chain-analysis
45m 57s
spotless Gradle Build (non-master branch) #319: Commit ddf4ace pushed by merendamattia
46m 6s taint-domain
taint-domain
46m 6s
Merge remote-tracking branch 'refs/remotes/origin/taint-domain' into … Gradle Build (non-master branch) #318: Commit 6e2726b pushed by merendamattia
1m 4s taint-domain
taint-domain
1m 4s
Revert Gradle Build (non-master branch) #317: Commit 74d7040 pushed by merendamattia
56s taint-domain
taint-domain
56s
Merge remote-tracking branch 'refs/remotes/origin/taint-domain' into … Gradle Build (non-master branch) #316: Commit 3f2bcb3 pushed by merendamattia
46m 23s taint-domain
taint-domain
46m 23s
fix bug in mk method Gradle Build (non-master branch) #315: Commit b10ed48 pushed by shivamkumar2402
46m 12s taint-domain
taint-domain
46m 12s
Optimizations for better code readability Gradle Build (non-master branch) #314: Commit 9b8673c pushed by merendamattia
35s taint-domain
taint-domain
35s
Apply spotless Gradle Build (non-master branch) #313: Commit eb418af pushed by VincenzoArceri
46m 4s taint-domain
taint-domain
46m 4s
Added abstract domain for Timestamp dependency Gradle Build (non-master branch) #312: Commit 125c658 pushed by shivamkumar2402
47m 0s taint-domain
taint-domain
47m 0s
Fixed solidifi tx-origin junit test Gradle Build (non-master branch) #311: Commit 7e6268e pushed by merendamattia
44m 41s taint-domain
taint-domain
44m 41s
Removed bug from solidifi txorigin source code interfaces Gradle Build (non-master branch) #310: Commit c80049f pushed by merendamattia
41m 4s taint-domain
taint-domain
41m 4s
Redirect of stderr to /dev/null Gradle Build (non-master branch) #309: Commit a01481a pushed by merendamattia
42m 22s taint-domain
taint-domain
42m 22s
Vanilla test in solidifi tx-origin benchmark Gradle Build (non-master branch) #308: Commit cd9a9b1 pushed by merendamattia
1m 9s taint-domain
taint-domain
1m 9s
Renaming taint abstract semantics test to tx origin abstract semantics Gradle Build (non-master branch) #307: Commit 00d1e10 pushed by VincenzoArceri
42m 18s taint-domain
taint-domain
42m 18s
Add methods Gradle Build (non-master branch) #306: Commit b112d33 pushed by shivamkumar2402
41m 7s taint-domain
taint-domain
41m 7s
TimestampDependencyChecker first draft Gradle Build (non-master branch) #305: Commit 7174b05 pushed by shivamkumar2402
51s taint-domain
taint-domain
51s
feat: optimizations in smallStepSemantics Gradle Build (non-master branch) #304: Commit fb699b3 pushed by merendamattia
40m 34s taint-domain
taint-domain
40m 34s
tmp: assert commented Gradle Build (non-master branch) #303: Commit d03199a pushed by merendamattia
16m 50s taint-domain
taint-domain
16m 50s
fix: restored TaintAbstractDomain Gradle Build (non-master branch) #302: Commit 12ad112 pushed by merendamattia
9m 52s taint-domain
taint-domain
9m 52s
ProTip! You can narrow down the results and go further in time using created:<2025-01-09 or the other filters available.