CompCert dev: refresh the Menhir development patch, and fix the 32-bit Flocq bound - #3794

Open

JasonGross wants to merge 2 commits into

rocq-prover:masterfrom

theorem-labs:codex/remove-obsolete-compcert-menhir-patches

Commits on Jul 31, 2026

compcert.dev: refresh the Menhir development patch so it applies again

JasonGross
and
claude
committed
aae7bc2
compcert-32.dev: require Flocq >= 4.0.0

JasonGross
and
claude
committed
307ddf5