CompCert-Releasenotes

Die Releasenotes sind zurzeit nur in English verfügbar.

Aktuelles Release 19.04

  • Verbesserter Umgang mit Attributen
  • Besseres Scoping
  • DWARF-Verbesserungen

Release 18.10

  • Besserer Umgang mit _Alignof/_Alignas
  • Neuer Valex-Check
  • Neue Diagnostiken

Release 18.04

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

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