Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow run results
118 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated tests with stack-size 200 and stack-set-size 150 Gradle Build (non-master branch) #59: Commit 838b0d2 pushed by merendamattia
February 24, 2024 07:59 3m 17s stack-set
stack-set
February 24, 2024 07:59 3m 17s
Minor changes Gradle Build (non-master branch) #58: Commit 67fcae4 pushed by VincenzoArceri
February 23, 2024 14:42 3m 36s stack-set
stack-set
February 23, 2024 14:42 3m 36s
Removed CFG generation Gradle Build (non-master branch) #57: Commit c1af5f8 pushed by VincenzoArceri
February 23, 2024 11:20 1m 18s stack-set
stack-set
February 23, 2024 11:20 1m 18s
Optimized else-if with a switch case Gradle Build (non-master branch) #56: Commit 42edf48 pushed by merendamattia
February 23, 2024 11:00 1m 22s stack-set
stack-set
February 23, 2024 11:00 1m 22s
Updated tests and spotlessApply Gradle Build (non-master branch) #55: Commit b653dc7 pushed by merendamattia
February 23, 2024 09:59 1m 19s stack-set
stack-set
February 23, 2024 09:59 1m 19s
Fixed SHR semantic's and updated tests Gradle Build (non-master branch) #54: Commit 1034ba8 pushed by merendamattia
February 23, 2024 09:40 1m 22s stack-set
stack-set
February 23, 2024 09:40 1m 22s
Minor changes Gradle Build (non-master branch) #53: Commit 7ba1fad pushed by merendamattia
February 23, 2024 09:04 1m 31s stack-set
stack-set
February 23, 2024 09:04 1m 31s
Added stack-size and stack-set-size to the CLI parser Gradle Build (non-master branch) #52: Commit 6c1b2d2 pushed by merendamattia
February 23, 2024 09:02 1m 34s stack-set
stack-set
February 23, 2024 09:02 1m 34s
Changed size of integers sets Gradle Build (non-master branch) #51: Commit e17fc61 pushed by VincenzoArceri
February 23, 2024 08:27 1m 46s stack-set
stack-set
February 23, 2024 08:27 1m 46s
Static methods for getting and setting limits Gradle Build (non-master branch) #50: Commit 34243d9 pushed by VincenzoArceri
February 23, 2024 08:08 1m 18s stack-set
stack-set
February 23, 2024 08:08 1m 18s
Fixing bug in jump resolution during analysis Gradle Build (non-master branch) #49: Commit d687304 pushed by VincenzoArceri
February 23, 2024 07:54 1m 13s stack-set
stack-set
February 23, 2024 07:54 1m 13s
Changed statistics Gradle Build (non-master branch) #48: Commit 464fe40 pushed by VincenzoArceri
February 23, 2024 00:06 3m 11s stack-set
stack-set
February 23, 2024 00:06 3m 11s
Restored resolution during analysis Gradle Build (non-master branch) #47: Commit 67fe466 pushed by VincenzoArceri
February 22, 2024 20:02 1m 4s stack-set
stack-set
February 22, 2024 20:02 1m 4s
Optimized representation and spotlessApply Gradle Build (non-master branch) #46: Commit 0a2c65f pushed by merendamattia
February 22, 2024 10:47 1m 3s stack-set
stack-set
February 22, 2024 10:47 1m 3s
Fixed semantic of BYTE Gradle Build (non-master branch) #45: Commit 26f5a70 pushed by merendamattia
February 22, 2024 10:20 18s stack-set
stack-set
February 22, 2024 10:20 18s
Fixed statistics in MyLogger Gradle Build (non-master branch) #44: Commit f315dde pushed by merendamattia
February 21, 2024 15:51 1m 19s stack-set
stack-set
February 21, 2024 15:51 1m 19s
Regenerating contracts Gradle Build (non-master branch) #43: Commit e37e64d pushed by VincenzoArceri
February 21, 2024 15:36 1m 3s stack-set
stack-set
February 21, 2024 15:36 1m 3s
Push TOP in byte opcode (temporarily) Gradle Build (non-master branch) #42: Commit 1b9c037 pushed by merendamattia
February 21, 2024 10:28 1m 4s stack-set
stack-set
February 21, 2024 10:28 1m 4s
Push TOP in byte opcode (temporarily) Gradle Build (non-master branch) #41: Commit b1a9a63 pushed by merendamattia
February 21, 2024 10:25 1m 0s stack-set
stack-set
February 21, 2024 10:25 1m 0s
Stack is added to stack set if it it is not bottom Gradle Build (non-master branch) #40: Commit fe37814 pushed by VincenzoArceri
February 20, 2024 19:48 1m 2s stack-set
stack-set
February 20, 2024 19:48 1m 2s
Fixing pop semantics Gradle Build (non-master branch) #39: Commit 548f42f pushed by VincenzoArceri
February 20, 2024 18:10 1m 2s stack-set
stack-set
February 20, 2024 18:10 1m 2s
Removed jump resolution during analysis Gradle Build (non-master branch) #38: Commit 2144447 pushed by VincenzoArceri
February 20, 2024 08:45 6h 0m 28s stack-set
stack-set
February 20, 2024 08:45 6h 0m 28s
mk method for stack set Gradle Build (non-master branch) #37: Commit 118d592 pushed by VincenzoArceri
February 20, 2024 08:39 6h 0m 26s stack-set
stack-set
February 20, 2024 08:39 6h 0m 26s
Fixed mstore and mstore8 bug Gradle Build (non-master branch) #36: Commit 840759f pushed by merendamattia
February 20, 2024 08:18 1m 4s stack-set
stack-set
February 20, 2024 08:18 1m 4s
Removed comments Gradle Build (non-master branch) #35: Commit f976ba9 pushed by VincenzoArceri
February 20, 2024 07:33 58s stack-set
stack-set
February 20, 2024 07:33 58s