Updates for release 3.14

Author: xavierleroy

Changelog.md

@@ -1,4 +1,4 @@
-# Release 3.14, 2024-05-xx
+# Release 3.14, 2024-05-02
 
 ISO C conformance:
 - `free` has well-defined semantics on blocks of size 0 (#509).
@@ -28,6 +28,10 @@ Coq development:
 - Updated local copy of MenhirLib to version 20231231.
 - Updated local copy of Flocq to version 4.1.4.
 
+Distribution:
+- The small test suite was moved to a separate Git repository.
+  Use `git submodule init && git submodule update` to download it.
+
 
 # Release 3.13, 2023-07-04
 

doc/index.html

@@ -25,7 +25,7 @@
 
 <H1 align="center">The CompCert verified compiler</H1>
 <H2 align="center">Commented Coq development</H2>
-<H3 align="center">Version 3.13, 2023-07-04</H3>
+<H3 align="center">Version 3.14, 2024-04-02</H3>
 
 <H2>Introduction</H2>
 
@@ -201,7 +201,7 @@ <H3>Compiler passes</H3>
 </TR>
 
 <TR valign="top">
-  <TD>Construction of the CFG, <br>3-address code generation</TD>
+  <TD>Construction of the CFG; 3-address code generation</TD>
   <TD>CminorSel to RTL</TD>
   <TD><A HREF="html/compcert.backend.RTLgen.html">RTLgen</A></TD>
   <TD><A HREF="html/compcert.backend.RTLgenspec.html">RTLgenspec</A><BR>