diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-20 10:36:22 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-20 10:36:22 +0200 |
| commit | c96c50577569c6077c42e756bbf12d31d9c82717 (patch) | |
| tree | 2e7860e93e2b11d2c0e7849f939f1054d4841321 /Changelog | |
| parent | b4f59c4773206fbdf850611e6bbac1767d459dd5 (diff) | |
| download | compcert-kvx-c96c50577569c6077c42e756bbf12d31d9c82717.tar.gz compcert-kvx-c96c50577569c6077c42e756bbf12d31d9c82717.zip | |
Coq 8.7.0 support
configure: accept Coq 8.7.0 and 8.6.1.
(Coq 8.6 became incompatible with commit b4f59c4.)
Changelog: updated.
Diffstat (limited to 'Changelog')
| -rw-r--r-- | Changelog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -7,6 +7,11 @@ Usability: Bug fixing: - Issue #P25: make sure sizeof(long double) = sizeof(double) in all contexts. +Coq and Caml development: +- Pull request #191: Support Coq version 8.7.0 in addition to Coq 8.6.1. + Coq 8.6 (.0) is no longer supported owing to an incompatibility with 8.7.0. + (Sigurd Schneider) + Release 3.1, 2017-08-18 ======================= |