ā een ontwikkelkit in de programmeertaal Ada. Het pakket omvat een compiler, een geĆÆntegreerde ontwikkelomgeving , een statische analyser van een subset van de SPARK-taal, de GDB-debugger en een set bibliotheken. Pakket onder de voorwaarden van de GPL-licentie.
Belangrijkste wijzigingen:
- De compiler is uitgebreid met ondersteuning voor een aantal nieuwigheden uit de ontwerpversie van de aankomende
.
De backend is bijgewerkt naar GCC 9 (voor alle platforms behalve macOS). Ondersteuning voor het RISC-V 64-platform is toegevoegd. - De ontwikkelomgeving GNAT Studio maakt nu gebruik van
(Language Server Protocol) voor de programmeertaal Ada. Op basis van deze server is een uitbreiding voor Visual Studio Code ontwikkeld, die nu beschikbaar is in
. - In heeft ondersteuning toegevoegd voor pointer-eigendom (zoals in Rust), wat het mogelijk maakt om de afwezigheid van geheugenfouten en geheugenlekken te bewijzen. De ondersteunde subset van de taal is uitgebreid met nieuwe constructies.
Bron: opennet.ru
