GNAT Community 2020 ist da

Freigegeben GNAT-Community 2020 - ein Entwicklungs-Toolkit in der Ada-Sprache. Das Paket enthält einen Compiler und eine integrierte Entwicklungsumgebung GNAT Studio, ein statischer Analysator für eine Teilmenge der SPARK-Sprache, ein GDB-Debugger und eine Reihe von Bibliotheken. Plastiktüte vertrieben von unter den Bedingungen der GPL-Lizenz.

Wichtigste Änderungen:

• Der Compiler hat Unterstützung für viele Neuerungen aus dem kommenden Entwurf hinzugefügt
  Ada-Sprachstandard 202x.
  Das Backend wurde auf GCC 9 aktualisiert (für alle Plattformen außer macOS). Unterstützung für die RISC-V 64-Plattform hinzugefügt.
• Die Entwicklungsumgebung GNAT Studio wird jetzt verwendet
  Ihr Sprachdienstleister
  (Language Server Protocol) für die Ada-Sprache. Basierend auf demselben Server wurde eine Erweiterung für Visual Studio Code implementiert, die jetzt in verfügbar ist
  Visual Studio-Marktplatz.
• В SPARK-Analysator Unterstützung für Zeigerbesitz hinzugefügt (wie in Rust), wodurch Sie das Fehlen von Speicherfehlern und Speicherlecks nachweisen können. Die unterstützte Teilmenge der Sprache wurde um neue Konstrukte erweitert.

Source: opennet.ru