diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-10 14:50:45 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-10 14:50:45 +0100 |
commit | 236d8a48288ea5845466408cf9d0be2ccd68f9a8 (patch) | |
tree | b770fca7ba5d079b9525670e026e3502879b9f27 /Changelog | |
parent | d1d8f1f49cfd29eb89ea6914facb45e0c9238426 (diff) | |
download | compcert-236d8a48288ea5845466408cf9d0be2ccd68f9a8.tar.gz compcert-236d8a48288ea5845466408cf9d0be2ccd68f9a8.zip |
Release 3.0 here we comev3.0
Diffstat (limited to 'Changelog')
-rw-r--r-- | Changelog | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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: |