Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
449 workflow runs
449 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated bytecode smart contract Gradle Build (non-master branch) #137: Commit 14e233f pushed by merendamattia
June 26, 2024 08:29 57s metadata-removal
metadata-removal
June 26, 2024 08:29 57s
Minor changes Gradle Build (non-master branch) #136: Commit f56a03d pushed by merendamattia
June 26, 2024 07:59 1m 2s metadata-removal
metadata-removal
June 26, 2024 07:59 1m 2s
Added new option: download the bytecode of a list of smart contract Gradle Build (non-master branch) #135: Commit b71dbd0 pushed by merendamattia
June 26, 2024 07:49 1m 4s metadata-removal
metadata-removal
June 26, 2024 07:49 1m 4s
Minor changes Gradle Build (non-master branch) #134: Commit cd2a8b9 pushed by merendamattia
June 26, 2024 07:22 1m 24s metadata-removal
metadata-removal
June 26, 2024 07:22 1m 24s
Removing opcode concerning metadata Gradle Build (non-master branch) #133: Commit 4a8bc4f pushed by VincenzoArceri
June 25, 2024 15:54 1m 6s metadata-removal
metadata-removal
June 25, 2024 15:54 1m 6s
Merge pull request #20 from lisa-analyzer/bugfix Gradle Build (master branch) #7: Commit dd1ebfb pushed by VincenzoArceri
June 19, 2024 10:35 1m 2s master
master
June 19, 2024 10:35 1m 2s
Bugfix Pull request on master: compile, build and spotless check #55: Pull request #20 opened by merendamattia
June 19, 2024 08:22 1m 4s bugfix
bugfix
June 19, 2024 08:22 1m 4s
Removed old benchmarks Gradle Build (non-master branch) #132: Commit c538687 pushed by VincenzoArceri
June 13, 2024 10:03 1m 2s bugfix
bugfix
June 13, 2024 10:03 1m 2s
Refactoring benchmark Gradle Build (non-master branch) #131: Commit 3510b08 pushed by merendamattia
June 13, 2024 09:14 1m 2s bugfix
bugfix
June 13, 2024 09:14 1m 2s
Fixed tests and added zero return condition in div, mod & others Gradle Build (non-master branch) #130: Commit 8476184 pushed by merendamattia
June 12, 2024 11:33 1m 6s bugfix
bugfix
June 12, 2024 11:33 1m 6s
Missing not Gradle Build (non-master branch) #129: Commit fa4e8a2 pushed by VincenzoArceri
June 12, 2024 08:47 1m 5s bugfix
bugfix
June 12, 2024 08:47 1m 5s
Fixing maybe unsound jump computation Gradle Build (non-master branch) #128: Commit d562d6c pushed by VincenzoArceri
June 12, 2024 08:44 1m 1s bugfix
bugfix
June 12, 2024 08:44 1m 1s
Fixed div semantics Gradle Build (non-master branch) #127: Commit 804306e pushed by VincenzoArceri
June 12, 2024 08:38 1m 8s bugfix
bugfix
June 12, 2024 08:38 1m 8s
Fixed equals and hashCode methods Gradle Build (non-master branch) #126: Commit edc800e pushed by merendamattia
June 11, 2024 16:30 1m 3s bugfix
bugfix
June 11, 2024 16:30 1m 3s
Benchmark: added new smart contract Gradle Build (non-master branch) #125: Commit cef3414 pushed by merendamattia
June 11, 2024 10:57 1m 0s bugfix
bugfix
June 11, 2024 10:57 1m 0s
Added bottom propagation in EVM abstract state Gradle Build (non-master branch) #124: Commit 95c6005 pushed by VincenzoArceri
June 11, 2024 09:39 1m 0s bugfix
bugfix
June 11, 2024 09:39 1m 0s
SSLOAD returns NOT_JUMPDEST_TOP, some updates on statistics' dump Gradle Build (non-master branch) #123: Commit 12e1576 pushed by VincenzoArceri
May 27, 2024 08:44 59s bugfix
bugfix
May 27, 2024 08:44 59s
Filtering stacks in EVM abstract state Gradle Build (non-master branch) #122: Commit 030c69e pushed by VincenzoArceri
May 20, 2024 18:53 1m 4s bugfix
bugfix
May 20, 2024 18:53 1m 4s
Fix in couting definitely unreachable jumps, filtering stacks in JUMP Gradle Build (non-master branch) #121: Commit 2ba37c4 pushed by VincenzoArceri
May 20, 2024 17:56 56s bugfix
bugfix
May 20, 2024 17:56 56s
Merge pull request #19 from lisa-analyzer/not-jumpdest-top Gradle Build (master branch) #6: Commit 94343b5 pushed by VincenzoArceri
May 20, 2024 08:09 1m 5s master
master
May 20, 2024 08:09 1m 5s
Implementation of NotJumpdestTop and FakeMissedJumps Pull request on master: compile, build and spotless check #54: Pull request #19 synchronize by merendamattia
May 17, 2024 15:28 1m 2s not-jumpdest-top
not-jumpdest-top
May 17, 2024 15:28 1m 2s
Resolved requests Gradle Build (non-master branch) #120: Commit acba68f pushed by merendamattia
May 17, 2024 15:28 1m 1s not-jumpdest-top
not-jumpdest-top
May 17, 2024 15:28 1m 1s
Implementation of NotJumpdestTop and FakeMissedJumps Pull request on master: compile, build and spotless check #53: Pull request #19 opened by merendamattia
April 22, 2024 07:16 58s not-jumpdest-top
not-jumpdest-top
April 22, 2024 07:16 58s
Updated tests, spotlessApply and minor changes Gradle Build (non-master branch) #119: Commit 4103bbe pushed by merendamattia
April 22, 2024 07:13 57s not-jumpdest-top
not-jumpdest-top
April 22, 2024 07:13 57s
Updated the calculation of fakeMissedJumps Gradle Build (non-master branch) #118: Commit 8584f7a pushed by merendamattia
April 3, 2024 09:10 1m 10s not-jumpdest-top
not-jumpdest-top
April 3, 2024 09:10 1m 10s
ProTip! You can narrow down the results and go further in time using created:<2024-04-03 or the other filters available.