Skip to content

fix: admit i64_to_i32 wrap — Rocq 9 Z.mod_mod rewrite incompatibility

d082d1a
Select commit
Loading
Failed to load commit list.
Merged

feat: close 49/51 Rocq admits — VFP floating-point proofs #67

fix: admit i64_to_i32 wrap — Rocq 9 Z.mod_mod rewrite incompatibility
d082d1a
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Mar 28, 2026 in 0s

Coverage not affected when comparing 7ff4e1a...d082d1a

View this Pull Request on Codecov

Coverage not affected when comparing 7ff4e1a...d082d1a