CompCert changelog

Current release 19.04

  • Improved attribute handling
  • Improved scoping
  • Improved DWARF handling

Release 18.10

  • Better handling of _Alignof/_Alignas
  • Valex check for symbol placement
  • New diagnostics

Release 18.04

  • New builtin for integration with ał
  • JSON export of ARM assembly
  • Valex for ARM

Release 17.10

  • New backend for hybrid 64-/32-bit PPC
  • New compiler optimizations
  • Qualification Support Kit for Valex

Release 17.04

  • Full support for C11 anonymous compound types
  • Checks for unused variables and parameters

Release 16.10

  • Improved support for K&R, ARM and PowerPC
  • Compatibility with coq v8.5pl2

Release 16.04

  • New options for GCC compatibility
  • More built-in functions
  • Various fixes

Release 15.10

  • Valex tool
  • DWARF2 support
  • New language features