Compatible with Rocq 9.1-9.3 and with CompCert 3.18.
What's Changed
- Adapt to the change in CompCert semantics between CompCert 3.17 and 3.18 in #857
- Fix issues #868, #866, #858, #848, #847, #831; update CI in #870
Full Changelog: v2.16...v2.17
PrincetonUniversity/VST
v2.17
VST release 2.17
on GitHub
one day ago