Bump version number to 2.4

PrincetonUniversity · Apr 23, 2019 · caf21a0 · caf21a0
1 parent 1f9b065
commit caf21a0
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 6 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-2.3
+2.4
diff --git a/doc/VC.pdf b/doc/VC.pdf
diff --git a/doc/VC.tex b/doc/VC.tex
@@ -1,8 +1,8 @@
 \documentclass[12pt,fleqn,openany,oneside,showtrims]{memoir}
 
-\newcommand\vstversion{2.3}
-\newcommand\coqversion{8.8}
-\newcommand\compcertversion{3.4}
+\newcommand\vstversion{2.4}
+\newcommand\coqversion{8.9}
+\newcommand\compcertversion{3.5}
 
 \usepackage{xr-hyper}
 \input{setup}
@@ -167,8 +167,7 @@ \chapter{Installation}
   \textsf{./configure -clightgen x86\_32-linux; make}.  You might replace
   x86\_32-linux with x86\_32-macosx or x86\_32-cygwin.  Verifiable C should work
   on other 32-bit architectures as well, but has not been extensively tested.
-  Verifiable C (since version 2.3alpha) works on 64-bit architectures, but
-  has not been extensively tested.
+  Verifiable C also works (and is regularly tested) on 64-bit architectures.
 \item[VST \vstversion{},] from \href{vst.cs.princeton.edu}{vst.cs.princeton.edu},
   or else an appropriate
   version from \href{https://github.com/PrincetonUniversity/VST}{https://github.com/PrincetonUniversity/VST}.