Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

Pull request on master: compile, build and spotless check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix implementation of PC instruction Pull request on master: compile, build and spotless check #158: Pull request #60 opened by markusscherer
Action required markusscherer:master
markusscherer:master
Action required
Add head and tail parameters to constructors and mk methods Pull request on master: compile, build and spotless check #157: Pull request #59 opened by merendamattia
26m 45s fix/mk-method-in-taint-analysis
fix/mk-method-in-taint-analysis
26m 45s
Refactor Docker workflow and add issue templates Pull request on master: compile, build and spotless check #156: Pull request #58 opened by merendamattia
27m 12s fix/ci-tests
fix/ci-tests
27m 12s
Revised publication references Pull request on master: compile, build and spotless check #155: Pull request #57 opened by merendamattia
26m 20s update-publication-references
update-publication-references
26m 20s
Refactor to use EtherscanAPIManager for API requests and migration to Etherscan API v2 Pull request on master: compile, build and spotless check #154: Pull request #56 opened by merendamattia
27m 25s etherscan-api-migration-to-v2
etherscan-api-migration-to-v2
27m 25s
Add option to show all instructions in CFG representation Pull request on master: compile, build and spotless check #153: Pull request #54 opened by merendamattia
29m 1s trimmed-cfg-output-patch
trimmed-cfg-output-patch
29m 1s
Bugfix in bitwise operations, improvements on abstract memory domain Pull request on master: compile, build and spotless check #152: Pull request #52 synchronize by merendamattia
27m 25s counting-update
counting-update
27m 25s
Bugfix in bitwise operations, improvements on abstract memory domain Pull request on master: compile, build and spotless check #151: Pull request #52 synchronize by merendamattia
9m 12s counting-update
counting-update
9m 12s
Bugfix in bitwise operations, improvements on abstract memory domain Pull request on master: compile, build and spotless check #150: Pull request #52 opened by VincenzoArceri
9m 56s counting-update
counting-update
9m 56s
Fix bug with flags during benchmark execution in Python scripts. Pull request on master: compile, build and spotless check #149: Pull request #51 synchronize by merendamattia
11m 12s bug-fix-benchmark-script
bug-fix-benchmark-script
11m 12s
Fix bug with flags during benchmark execution in Python scripts. Pull request on master: compile, build and spotless check #148: Pull request #51 synchronize by merendamattia
10m 57s bug-fix-benchmark-script
bug-fix-benchmark-script
10m 57s
Fix bug with flags during benchmark execution in Python scripts. Pull request on master: compile, build and spotless check #147: Pull request #51 synchronize by merendamattia
10m 55s bug-fix-benchmark-script
bug-fix-benchmark-script
10m 55s
Fix bug with flags during benchmark execution in Python scripts. Pull request on master: compile, build and spotless check #146: Pull request #51 synchronize by merendamattia
11m 8s bug-fix-benchmark-script
bug-fix-benchmark-script
11m 8s
Fix bug with flags during benchmark execution in Python scripts. Pull request on master: compile, build and spotless check #145: Pull request #51 synchronize by merendamattia
10m 44s bug-fix-benchmark-script
bug-fix-benchmark-script
10m 44s
Fix bug with flags during benchmark execution in Python scripts. Pull request on master: compile, build and spotless check #144: Pull request #51 synchronize by merendamattia
11m 5s bug-fix-benchmark-script
bug-fix-benchmark-script
11m 5s
Fix bug with flags during benchmark execution in Python scripts. Pull request on master: compile, build and spotless check #143: Pull request #51 opened by merendamattia
10m 50s bug-fix-benchmark-script
bug-fix-benchmark-script
10m 50s
Fixed CalldatacopyOperator semantic in TaintAbstractDomain Pull request on master: compile, build and spotless check #142: Pull request #49 opened by merendamattia
10m 29s bug-fix-calldatacopy-taint
bug-fix-calldatacopy-taint
10m 29s
Major refactoring, introducing EVMLiSA as a Library Pull request on master: compile, build and spotless check #141: Pull request #44 synchronize by merendamattia
10m 43s refactoring
refactoring
10m 43s
Changed data structure from standard array to circular array Pull request on master: compile, build and spotless check #140: Pull request #48 synchronize by VincenzoArceri
10m 36s circ-array
circ-array
10m 36s
Changed data structure from standard array to circular array Pull request on master: compile, build and spotless check #139: Pull request #48 opened by shivamkumar2402
10m 39s circ-array
circ-array
10m 39s
Major refactoring, introducing EVMLiSA as a Library Pull request on master: compile, build and spotless check #138: Pull request #44 synchronize by merendamattia
10m 36s refactoring
refactoring
10m 36s
Major refactoring, introducing EVMLiSA as a Library Pull request on master: compile, build and spotless check #137: Pull request #44 synchronize by merendamattia
10m 31s refactoring
refactoring
10m 31s
Major refactoring, introducing EVMLiSA as a Library Pull request on master: compile, build and spotless check #136: Pull request #44 synchronize by merendamattia
10m 52s refactoring
refactoring
10m 52s
Major refactoring, introducing EVMLiSA as a Library Pull request on master: compile, build and spotless check #135: Pull request #44 synchronize by VincenzoArceri
10m 46s refactoring
refactoring
10m 46s
Major refactoring, introducing EVMLiSA as a Library Pull request on master: compile, build and spotless check #134: Pull request #44 synchronize by VincenzoArceri
10m 24s refactoring
refactoring
10m 24s