diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-18 12:23:06 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-18 12:23:06 +0200 |
| commit | b1e369b98b6611d71b0d85115c1205fdbdbbece7 (patch) | |
| tree | ba765249ee175e30c10e37c73a2675d32724c731 | |
| parent | 38829eb86eac1c9c3071decbaf9108e6c5737df9 (diff) | |
| parent | 73c4de2d46fff171883965aafdac1ab5b2bb330e (diff) | |
| download | compcert-b1e369b98b6611d71b0d85115c1205fdbdbbece7.tar.gz compcert-b1e369b98b6611d71b0d85115c1205fdbdbbece7.zip | |
Merge branch 'master' of github.com:AbsInt/CompCert
| -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 ======================= |