aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-02-10 14:50:45 +0100
committerXavier Leroy <xavier.leroy@inria.fr>2017-02-10 14:50:45 +0100
commit236d8a48288ea5845466408cf9d0be2ccd68f9a8 (patch)
treeb770fca7ba5d079b9525670e026e3502879b9f27
parentd1d8f1f49cfd29eb89ea6914facb45e0c9238426 (diff)
downloadcompcert-kvx-3.0.tar.gz
compcert-kvx-3.0.zip
Release 3.0 here we comev3.0
-rw-r--r--Changelog3
-rw-r--r--VERSION2
2 files changed, 3 insertions, 2 deletions
diff --git a/Changelog b/Changelog
index e8b6e18f..1c450d8a 100644
--- a/Changelog
+++ b/Changelog
@@ -1,4 +1,4 @@
-Release 3.0, 2017-02-xx
+Release 3.0, 2017-02-10
=======================
Major improvements:
@@ -17,6 +17,7 @@ Major improvements:
instantiation of the new support for 64-bit targets described
above.) Support for x86-64 is currently available for Linux and MacOS X.
(Run the configure script with 'x86_64-linux' or 'x86_64-macosx'.)
+ This is an early port: several ABI incompatibilities remain.
Language features:
diff --git a/VERSION b/VERSION
index 0384983c..368d0007 100644
--- a/VERSION
+++ b/VERSION
@@ -1,3 +1,3 @@
-version=2.7.1
+version=3.0
buildnr=
tag=