feat: remove `simpM` and fix branch proofs#77

Merged

dtumad merged 8 commits intomainfrom

fix-branch-upstream-break

Aug 29, 2025

Commits on Aug 22, 2025

Commits on Aug 23, 2025

bne fix
dtumad
committed
bltu
dtumad
committed

Commits on Aug 26, 2025

temp
dtumad
committed

Commits on Aug 29, 2025

Merge branch 'main' of https://github.com/succinctlabs/sp1-lean into fix-branch-upstream-break
dtumad
committed