— ein Entwicklungspaket für die Programmiersprache Ada. Das Paket enthält einen Compiler, eine integrierte Entwicklungsumgebung , einen statischen Analysewerkzeug für ein Teilmenge der Sprache SPARK, den GDB-Debugger und eine Sammlung von Bibliotheken. Das Paket steht unter einer GPL-Lizenz.
Hauptänderungen:
- Der Compiler wurde um viele Neuerungen aus dem Entwurf des kommenden
.
aktualisiert. Der Backend wurde auf GCC 9 (für alle Plattformen außer macOS) aktualisiert. Unterstützung für die RISC-V 64-Plattform wurde hinzugefügt. - Die Entwicklungsumgebung GNAT Studio verwendet jetzt
(Language Server Protocol) für die Programmiersprache Ada. Auf der Basis desselben Servers wurde eine Erweiterung für Visual Studio Code umgesetzt, die jetzt im
. - Im unterstützen jetzt die Eigentümerschaft von Zeigern (wie in Rust), was die Nachweisbarkeit von Speicherfehlern und Speicherlecks ermöglicht. Das unterstützte Teilmenge der Sprache wurde durch neue Konstruktionen erweitert.
Quelle: opennet.ru
