— ein Paket von Entwicklungswerkzeugen für die Programmiersprache Ada. Das Paket umfasst den Compiler, eine integrierte Entwicklungsumgebung , einen statischen Analyse-Tool für subset der Sprache SPARK, den GDB-Debugger und ein Set von Bibliotheken. Das Paket steht unter der GPL-Lizenz zur Verfügung.
Wesentliche Änderungen:
- Der Compiler wurde um Unterstützung vieler 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 Basis desselben Servers wurde eine Erweiterung für Visual Studio Code implementiert, die jetzt im
. - In hat Unterstützung für Pointer-Besitz (ähnlich wie in Rust) hinzugefügt, was die beweisgestützte Abwesenheit von Speicherfehlern und -lecks ermöglicht. Das unterstützte Subset der Sprache wurde um neue Konstruktionen erweitert.
Quelle: opennet.ru
