— et udviklingspakke til programmeringssproget Ada. Pakken inkluderer en compiler, en integreret udviklingsmiljø , en statisk analysator for en undergruppe af sproget SPARK, en GDB-debugger og et bibliotekssæt. Pakken er under GPL-licensen.
Vigtige ændringer:
- Compileren har fået tilføjet støtte til mange nyskabelser fra udkastet til den kommende
.
Backend'en er opdateret til GCC 9 (for alle platforme undtagen macOS). Støtte til RISC-V 64-platformen er tilføjet. - Udviklingsmiljøet GNAT Studio bruger nu
(Language Server Protocol) til Ada-sprog. Baseret på denne server er der implementeret en udvidelse til Visual Studio Code, som nu er tilgængelig i
. - I har fået tilføjet støtte til eje af pointere (som i Rust), hvilket muliggør bevis for fraværet af hukommelsesfejl og hukommelseslækager. Det understøttede undergruppe af sproget er blevet udvidet med nye konstruktioner.
Kilde: opennet.ru
