Comunidade GNAT 2020 foi lançada

Lançado Comunidade GNAT 2020 - um kit de ferramentas de desenvolvimento na linguagem Ada. O pacote inclui um compilador, um ambiente de desenvolvimento integrado Estúdio GNA, um analisador estático para um subconjunto da linguagem SPARK, um depurador GDB e um conjunto de bibliotecas. Saco de plástico distribuído por sob os termos da licença GPL.

Grandes mudanças:

• O compilador adicionou suporte para muitas inovações do próximo rascunho
  Padrão de linguagem Ada 202x.
  O backend foi atualizado para GCC 9 (para todas as plataformas, exceto macOS). Adicionado suporte para a plataforma RISC-V 64.

• O ambiente de desenvolvimento GNAT Studio agora usa
  seu LSP
  (Protocolo de servidor de linguagem) para a linguagem Ada. Baseado no mesmo servidor, foi implementada uma extensão para Visual Studio Code, agora disponível em
  Marketplace do Visual Studio.

• В Analisador SPARK Adicionado suporte para propriedade de ponteiro (como em Rust), que permite provar a ausência de erros de memória e a ausência de vazamentos de memória. O subconjunto suportado da linguagem foi expandido com novas construções.

Fonte: opennet.ru