diff options
Diffstat (limited to 'Changelog')
-rw-r--r-- | Changelog | 19 |
1 files changed, 18 insertions, 1 deletions
@@ -1,4 +1,13 @@ -Release 3.0, 2017-02-xx +- Removed the compilation of '.cm' files written in Cminor concrete syntax. + + +Release 3.0.1, 2017-02-14 +========================= + +- Ported to Coq 8.6. + + +Release 3.0, 2017-02-10 ======================= Major improvements: @@ -17,6 +26,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: @@ -30,9 +40,16 @@ Usability: - Added options -Wxxx and -Wno-xxx (for various values of "xxx") to control which warnings are emitted. +- Added options -Werror=xxx and -Wno-error=xxx (for various values of "xxx") + to control which warnings are treated as errors. - Support response files where additional command-line arguments can be passed (syntax: @file). - Improved wording of warning and error messages. +- Improved handling of attributes, distinguishing attributes that apply + to types from attributes that apply to names. For example, in + __attribute((aligned(8),section("foo"))) int * p; + the "aligned" attribute is attached to type "int", while + the "section" attribute is attached to name "p". Code generation: |