Skip to content

Adapt to the change in CompCert semantics between CompCert 3.7 and 3.8 - #857

Merged
andrew-appel merged 7 commits into
masterfrom
compcert_3.8
Jun 10, 2026
Merged

Adapt to the change in CompCert semantics between CompCert 3.7 and 3.8#857
andrew-appel merged 7 commits into
masterfrom
compcert_3.8

Tweak CI regarding coq-itree

46082d4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar