Skip to content

Adapt to rocq-prover/rocq#21987 (clear checks that ids are bound even when from match goal)#582

Closed
SkySkimmer wants to merge 1 commit into
AbsInt:masterfrom
SkySkimmer:context-secvar
Closed

Adapt to rocq-prover/rocq#21987 (clear checks that ids are bound even when from match goal)#582
SkySkimmer wants to merge 1 commit into
AbsInt:masterfrom
SkySkimmer:context-secvar

Adapt to rocq-prover/rocq#21987 (clear checks that ids are bound even…

d9cb7fc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
linux (ppc)
succeeded May 4, 2026 in 9m 18s