Bring up to date with Coq 8.17 and CompCert 8.12 - Githubissues

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

436 stars 92 forks source link

Bring up to date with Coq 8.17 and CompCert 8.12 #668

Closed andrew-appel closed 1 year ago