Skip to content

Actions: leanEthereum/leanVM-b

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 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
faster Ring Switching verifier for GHASH (15% less cycles end2end) Ring Switching Note PDF #3: Commit 93a4f56 pushed by TomWambsgans
2m 15s main
main
2m 15s
docs: publish generalized ring-switching .tex source Ring Switching Note PDF #2: Commit dfb162a pushed by TomWambsgans
2m 20s main
main
2m 20s
docs: publish generalized ring-switching .tex source Ring Switching Note PDF #1: Commit a061b8c pushed by TomWambsgans
2m 25s main
main
2m 25s
compiler: harden BLAKE3 chaining lowering Spec PDF #8: Commit b788b1c pushed by TomWambsgans
2m 4s main
main
2m 4s
pcs.tex (a note on WHIR/Ligerito over binary fields, interpreted as L… PCS Note PDF #1: Commit 2268a8a pushed by TomWambsgans
2m 44s main
main
2m 44s
Merge pull request #2 from leanEthereum/recursion Spec PDF #7: Commit 14ed788 pushed by TomWambsgans
1m 32s main
main
1m 32s
Merge branch 'immediate-jump': direct-target JUMP Spec PDF #6: Commit b258a26 pushed by TomWambsgans
1m 28s main
main
1m 28s
Merge branch 'improve-blake-opcode': flexible BLAKE3 operands Spec PDF #5: Commit e69e809 pushed by TomWambsgans
2m 49s main
main
2m 49s
match Spec PDF #4: Commit 33da10d pushed by TomWambsgans
2m 14s main
main
2m 14s
doc Spec PDF #3: Commit cfffa43 pushed by TomWambsgans
2m 44s main
main
2m 44s
Merge pull request #1 from leanEthereum/blake3 Spec PDF #2: Commit 7d941ac pushed by TomWambsgans
1m 29s main
main
1m 29s
first commit Spec PDF #1: Commit cdb1971 pushed by TomWambsgans
1m 17s main
main
1m 17s