Skip to content

Add a fast path in Mod_subst.reroot. - #22421

Open
ppedrot wants to merge 1 commit into
rocq-prover:masterfrom
ppedrot:module-reroot-fast-path
Open

Add a fast path in Mod_subst.reroot.#22421
ppedrot wants to merge 1 commit into
rocq-prover:masterfrom
ppedrot:module-reroot-fast-path

Add a fast path in Mod_subst.reroot.

add3958
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings
macOS
succeeded Aug 29, 2026 in 13m 54s