Skip to content

CompCert 2.7.1
Compare
Choose a tag to compare
@xavierleroy xavierleroy released this 18 Jul 09:41
· 1431 commits to master since this release
v2.7.1
73c4de2

Release 2.7.1, 2016-07-18

The CompCert Coq sources were ported to Coq 8.5pl2. There are no new functionalities compared with 2.7.

Bug fixing

  • Fixed a compile-time assertion failure involving builtins taking a 64-bit integer parameter and given an signed 32-bit integer argument.
  • The Cminor parser was updated.
Assets 2
Loading