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 /Changelog | |
| parent | c9cbfda0506dfac791ff58ebb72fe56c333f8ad3 (diff) | |
| download | compcert-kvx-73c4de2d46fff171883965aafdac1ab5b2bb330e.tar.gz compcert-kvx-73c4de2d46fff171883965aafdac1ab5b2bb330e.zip | |
Update Changelog for release 2.7.1v2.7.1
Diffstat (limited to 'Changelog')
| -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 ======================= |