CompCert-Releasenotes

Die Releasenotes sind zurzeit nur in English verfügbar.

Aktuelles Release 17.10

  • Neues Backend für hybriden 64-/32-Bit-PowerPC-Code
  • Verbesserte Codeerzeugung für ARM und PowerPC
  • Neue generische Compileroptimierungen
  • Qualification-Support-Kit 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