diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-07-18 10:14:10 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-07-18 10:14:10 +0200 |
commit | 73c4de2d46fff171883965aafdac1ab5b2bb330e (patch) | |
tree | 9f6bd1af527c83d41805045aff70a9f8c7700caa | |
parent | c9cbfda0506dfac791ff58ebb72fe56c333f8ad3 (diff) | |
download | compcert-73c4de2d46fff171883965aafdac1ab5b2bb330e.tar.gz compcert-73c4de2d46fff171883965aafdac1ab5b2bb330e.zip |
Update Changelog for release 2.7.1v2.7.1
-rw-r--r-- | Changelog | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -1,9 +1,15 @@ -Release 2.7.1, 2016-07-10 +Release 2.7.1, 2016-07-18 ========================= -- Ported to Coq 8.5pl2. No other changes in functionality. +- Ported to Coq 8.5pl2. +Bug fixing: +- Fixed a compile-time assertion failure involving builtins + taking a 64-bit integer parameter and given an unsigned 32-bit integer + argument. +- Updates to the Cminor parser. + Release 2.7, 2016-06-29 ======================= |