CompCert-Releasenotes

Die Releasenotes sind zurzeit nur in English verfügbar.

Aktuelles Release 18.04

  • Neues Builtin zur a³-Integration
  • JSON-Export für ARM-Assembler
  • Valex für ARM
  • Verbesserte Diagnostiken

Release 17.10

  • Neues Backend für hybriden 64/32-Bit–PowerPC-Code
  • Neue generische Optimierungen
  • QSK für Valex

Release 17.04

  • Volle Unterstützung für C11-anonymous-compound-Typen
  • Checks für nichtbenutzte Variablen und Parameter

Release 16.10

  • Verbesserte Unterstützung für K&R, ARM und PowerPC
  • Kompatibilität mit coq v8.5pl2

Release 16.04

  • Neue Optionen für GCC-Kompatibilität
  • Mehr eingebaute Funktionen
  • Diverse Fixes

Release 15.10

  • Valex-Tool
  • Unterstützung für DWARF2
  • Neue Sprachfeatures