Skip to content

Actions: leanEthereum/leanVM

Actions

Spec PDF

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pdf.yml
12 workflow runs
12 workflow runs

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
chore: fix latex doc Spec PDF #12: Commit 3ed1241 pushed by TomWambsgans
1m 29s main
main
1m 29s
update benchmarks (reduced proof size) Spec PDF #11: Commit 99df527 pushed by TomWambsgans
2m 34s main
main
2m 34s
update benchmarks (reduced proof size) Spec PDF #10: Commit d10fa01 pushed by TomWambsgans
51s main
main
51s
update benchmarks (reduced proof size) Spec PDF #9: Commit 0c7f2bb pushed by TomWambsgans
2m 23s main
main
2m 23s
reduce proof size by 5% (optimal Merkle pruning) Spec PDF #8: Commit d63f100 pushed by TomWambsgans
1m 34s main
main
1m 34s
Custom thread pool (#239) Spec PDF #7: Commit c9afbc7 pushed by TomWambsgans
1m 28s main
main
1m 28s
Clean python verifier (#242) Spec PDF #6: Commit 1718dfe pushed by TomWambsgans
1m 33s main
main
1m 33s
doc: align memory bus tuple order to (address, value) in tex, matchin… Spec PDF #5: Commit 88c4752 pushed by TomWambsgans
2m 18s main
main
2m 18s
- rec_aggregation: rename type 1/2 to single/multi-message aggregation Spec PDF #4: Commit 496da76 pushed by TomWambsgans
1m 35s main
main
1m 35s
- slice hashing: use an overwrite (permutaion-based) sponge instead o… Spec PDF #3: Commit 7cf4f32 pushed by TomWambsgans
1m 22s main
main
1m 22s
- sponge hashing: use a permutaion instead of compression (previosuly… Spec PDF #2: Commit c92c5ed pushed by TomWambsgans
1m 31s main
main
1m 31s
docs: build spec PDF in CI, publish as release asset instead of commi… Spec PDF #1: Commit bfc209a pushed by TomWambsgans
1m 42s main
main
1m 42s