search

PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425 stars 91 forks source link

Typo in GitHub release notes for 2.9 #672

Closed Zimmi48 closed 1 year ago

Zimmi48 commented 1 year ago

https://github.com/PrincetonUniversity/VST/releases/tag/v2.9 says:

VST 2.9 is compatible with CompCert 8.13, 8.14, or 8.15; and with CompCert 3.10.

I think the first "CompCert" was meant to be "Coq" instead.

andrew-appel commented 1 year ago

Fixed.