— pacchetto di strumenti di sviluppo per il linguaggio Ada. Il pacchetto comprende un compilatore, un ambiente di sviluppo integrato , un analizzatore statico per un sottoinsieme del linguaggio SPARK, il debugger GDB e un insieme di librerie. Il pacchetto è fornito con licenza GPL.
Variazioni principali:
- Il compilatore ha aggiunto il supporto per molte novità dal bozza del prossimo
.
Il backend è stato aggiornato a GCC 9 (per tutte le piattaforme tranne macOS). È stato aggiunto il supporto per la piattaforma RISC-V 64. - L'ambiente di sviluppo GNAT Studio ora utilizza
(Language Server Protocol) per il linguaggio Ada. Su questo stesso server è stato implementato un'estensione per Visual Studio Code, ora disponibile in
. - In è stato aggiunto il supporto per la gestione della proprietà dei puntatori (come in Rust), che consente di dimostrare l'assenza di errori di gestione della memoria e l'assenza di perdite di memoria. Il sottoinsieme del linguaggio supportato è stato ampliato con nuove costruzioni.
Fonte: opennet.ru
