Skip to content

Actions: leanEthereum/leanVM

Actions

Spec PDF

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pdf.yml
5 workflow runs
5 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
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