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