Rilasciata la community GNAT 2020

Rilasciato Comunità GNAT 2020 - un toolkit di sviluppo nel linguaggio Ada. Il pacchetto include un compilatore, un ambiente di sviluppo integrato Studio Gnat, un analizzatore statico per un sottoinsieme del linguaggio SPARK, un debugger GDB e un set di librerie. Sacchetto di plastica distribuito da secondo i termini della licenza GPL.

Principali modifiche:

• Il compilatore ha aggiunto il supporto per molte innovazioni della prossima bozza
  Standard linguistico Ada 202x.
  Il backend è stato aggiornato a GCC 9 (per tutte le piattaforme tranne macOS). Aggiunto il supporto per la piattaforma RISC-V 64.

• L'ambiente di sviluppo GNAT Studio ora utilizza
  il tuo LSP
  (Language Server Protocol) per la lingua Ada. Basandosi sullo stesso server è stata implementata un'estensione per Visual Studio Code, ora disponibile in
  Mercato di Visual Studio.

• В Analizzatore SPARK Aggiunto il supporto per la proprietà del puntatore (come in Rust), che consente di dimostrare l'assenza di errori di memoria e l'assenza di perdite di memoria. Il sottoinsieme supportato del linguaggio è stato ampliato con nuovi costrutti.

Fonte: opennet.ru