- ein Entwicklungs-Toolkit in der Ada-Sprache. Das Paket enthält einen Compiler und eine integrierte Entwicklungsumgebung , ein statischer Analysator für eine Teilmenge der SPARK-Sprache, ein GDB-Debugger und eine Reihe von Bibliotheken. Plastiktüte unter den Bedingungen der GPL-Lizenz.
Wichtigste Änderungen:
- Der Compiler hat Unterstützung für viele Neuerungen aus dem kommenden Entwurf hinzugefügt
.
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
(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
. - В 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