Adapt to https://github.com/rocq-prover/rocq/pull/17876#42
Merged
andres-erbsen merged 1 commit intomit-plv:rv32ifrom Jun 27, 2025
Merged
Adapt to https://github.com/rocq-prover/rocq/pull/17876#42andres-erbsen merged 1 commit intomit-plv:rv32ifrom
andres-erbsen merged 1 commit intomit-plv:rv32ifrom
