Software Foundations volume 5: Verifiable C

The released version of Software Foundations Volume 5: Verifable C is here.

Beta releases are available below:

• Verifiable C version 1.1.1, for VST 2.8, CompCert 3.9, Coq 8.13
  Tar file of this release
• Verifiable C version 1.0.2, for VST 2.7.1, CompCert 3.7 or 8.3, Coq 8.13.0 (or Coq 8.12)
  Tar file of this release