Skip to content

Actions: lefterislazar/EVMLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Modify README Lean Action CI #52: Commit c91f155 pushed by lefterislazar
6m 37s step_semantics
step_semantics
6m 37s
Add License Lean Action CI #51: Commit 3864989 pushed by lefterislazar
2m 42s step_semantics
step_semantics
2m 42s
Theory: Expend static call preservation theorems to include code Lean Action CI #50: Commit 9a4001c pushed by lefterislazar
6m 45s step_semantics
step_semantics
6m 45s
Publicise static call lemmas Lean Action CI #49: Commit 0cf90a9 pushed by lefterislazar
7m 52s step_semantics
step_semantics
7m 52s
Adjust theory Lean Action CI #48: Commit a655b96 pushed by lefterislazar
2m 21s read-bytearray-bound
read-bytearray-bound
2m 21s
Remove readWithPadding guard Lean Action CI #47: Commit 415b14f pushed by lefterislazar
6m 6s read-bytearray-bound
read-bytearray-bound
6m 6s
ByteArray.zeroes argument to Nat Lean Action CI #46: Commit 481e5d8 pushed by lefterislazar
6m 2s step_semantics
step_semantics
6m 2s
Removed native_decide Lean Action CI #45: Commit 0f2fbde pushed by lefterislazar
3m 7s step_semantics
step_semantics
3m 7s
Lambda return bound when .ok Lean Action CI #44: Commit 55ffdb1 pushed by lefterislazar
2m 32s step_semantics
step_semantics
2m 32s
Return data bound by gas Lean Action CI #43: Commit 69193fd pushed by lefterislazar
2m 43s step_semantics
step_semantics
2m 43s
Proof of storage equality from static calls Lean Action CI #42: Commit 333d64b pushed by lefterislazar
3m 17s step_semantics
step_semantics
3m 17s
Xstep wrapper Lean Action CI #41: Commit 0ddd46b pushed by lefterislazar
2m 20s step_semantics
step_semantics
2m 20s
Extend storage extensionality to original account map Lean Action CI #40: Commit a46595c pushed by lefterislazar
3m 2s step_semantics
step_semantics
3m 2s
Xstep wrapper Lean Action CI #39: Commit 0ddd46b pushed by lefterislazar
3m 16s step_semantics
step_semantics
3m 16s
Prove zeroes size Lean Action CI #38: Commit 679f49d pushed by lefterislazar
6m 22s step_semantics
step_semantics
6m 22s
Merge branch 'compute_mem_zeroes' into step_semantics Lean Action CI #37: Commit 9d25f0d pushed by lefterislazar
6m 15s step_semantics
step_semantics
6m 15s
Simplified extensionality definition Lean Action CI #36: Commit 9fcdbd7 pushed by lefterislazar
3m 24s step_semantics
step_semantics
3m 24s
Added to Ethereum.lean Lean Action CI #35: Commit 609cc59 pushed by lefterislazar
2m 50s step_semantics
step_semantics
2m 50s
type fix Lean Action CI #34: Commit b3a74d2 pushed by lefterislazar
5m 42s compute_mem_zeroes
compute_mem_zeroes
5m 42s
Make ByteArray.zeroes implemented within lean Lean Action CI #33: Commit ecbbfaa pushed by lefterislazar
3m 0s compute_mem_zeroes
compute_mem_zeroes
3m 0s
Sat256 operation renaming and automation support Lean Action CI #32: Commit 081ec4e pushed by lefterislazar
5m 52s step_semantics
step_semantics
5m 52s
sub_sub reorder Lean Action CI #31: Commit d78f545 pushed by lefterislazar
5m 40s step_semantics
step_semantics
5m 40s
Helper cleanup from theory Lean Action CI #30: Commit 9a47fe8 pushed by lefterislazar
5m 10s step_semantics
step_semantics
5m 10s
Helper cleanup from theory Lean Action CI #29: Commit 9a47fe8 pushed by lefterislazar
6m 39s call-locality-invariant
call-locality-invariant
6m 39s
helper build fix Lean Action CI #28: Commit bb82f85 pushed by lefterislazar
4m 25s step_semantics
step_semantics
4m 25s