Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
riscv-fv-bootstrap
m1el/riscv-fv-bootstrap
Lean
Emerging
GitHub
Stars
1
Forks
—
Contributors
1
Last push
3d ago
Recent commits
Latest commits.
LowIR.Ctrl: switch strtoull10 digit check to unsigned (geu) for provability
806cf14
Igor null
3d ago
LowIR.Ctrl: conformant strtoull proof — foundation
be97ac9
Igor null
3d ago
docs: record conformant strtoull + the slt→geu proof note
967abfa
Igor null
3d ago
LowIR.Ctrl: conformant strtoull (overflow saturate + errno return)
8d8fb62
Igor null
3d ago
docs: add PROGRESS.md + LowIR status section for the control-flow IL work
f287617
Igor null
3d ago
LowIR.Ctrl: strtoull correctness scaffold + the break/block ergonomics result
474688a
Igor null
3d ago
LowIR.Ctrl: strtoull (base-10 core) — break-out-of-loop via block
f09f365
Igor null
3d ago
LowIR.Ctrl: hex0 with flat ret-cascade error handling
97ca9ec
Igor null
3d ago
Top contributors
Builders behind this project.
m1el
186 commits
