DOWNLOADS DOWNLOADS
VST version 2.6 (August 2020). Bundled with the Coq 8.12.0 platform release; or, available through opam (opam install coq-vst.2.6)); or
download from github. Compatible with CompCert 3.7 and Coq 8.12.0.
VST version 2.5 (January 2020),
compatible with CompCert 3.5 and Coq 8.10.0 or 8.10.1 (if you have Coq 8.10.2 it will work if you do make IGNORECOQVERSION=true)
VST version 2.4 (April 2019),
compatible with CompCert 3.5 (or CompCert 3.4) and Coq 8.9.0.
VST version 2.3 (January 2019),
compatible with CompCert 3.4 (or CompCert 3.3) and Coq 8.8.0 (or Coq 8.8.2).
VST version 2.2 (June 2018),
compatible with CompCert 3.3 (or CompCert 3.2) and Coq 8.8.0 (or Coq 8.7).
VST version 2.1 (April 2018),
compatible with CompCert 3.2 and Coq 8.7.0, 8.7.1, 8.7.2, 8.8.0.
VST version 2.0 (January 2018),
compatible with CompCert 3.2 and Coq 8.7.1.
VST version 1.9 (August 2017),
compatible with CompCert 2.7.2.1 and Coq 8.6 or 8.6.1.
VST version 1.8 (May 2017),
compatible with CompCert 2.7.2 and Coq 8.6.
VST version 1.7 (July 2016),
compatible with CompCert 2.7.1 and Coq 8.5pl2.
VST version 1.6 (December 2015),
compatible with CompCert 2.6 and Coq 8.4pl6.
VST version 1.5 (October 2014),
compatible with CompCert 2.4 and Coq 8.4pl3 or Coq 8.4pl4.
VST version 1.4 (May 2014),
compatible with CompCert 2.3
VST version 1.3 (April 2014),
compatible with CompCert 2.1
Warning: CompCert 2.1's VERSION file erroneously contains "2.0" instead of "2.1", and we replicate this in vst/compcert/VERSION.
VST version 1.2 (November 2013),
compatible with CompCert 2.1
Warning: CompCert 2.1's VERSION file erroneously contains "2.0" instead of "2.1", and we replicate this in vst/compcert/VERSION.
VST version 1.1 (September 2013),
compatible with CompCert 2.0
VST version 1.0 (June 2013)
compatible with CompCert 2.0