— un pacchetto di strumenti di sviluppo per il linguaggio Ada. All'interno del pacchetto si trova un compilatore, un ambiente integrato di sviluppo , un analizzatore statico per un sottoinsieme del linguaggio SPARK, il debugger GDB e una serie di librerie. Il pacchetto è distribuito con licenza GPL.
Principali modifiche:
- Il compilatore ha aggiunto il supporto per molte innovazioni del bozza del futuro
.
Il backend è stato aggiornato a GCC 9 (per tutte le piattaforme ad eccezione di macOS). È stato aggiunto il supporto per la piattaforma RISC-V 64. - L'ambiente di sviluppo GNAT Studio utilizza ora
(Language Server Protocol) per il linguaggio Ada. Basato su questo stesso server, è stata implementata un'estensione per Visual Studio Code, ora disponibile su
. - In ha aggiunto il supporto per la gestione dei puntatori (come in Rust), permettendo di dimostrare l'assenza di errori di gestione della memoria e perdite di memoria. Il sottoinsieme supportato del linguaggio è stato ampliato con nuove costruzioni.
Fonte: opennet.ru
