— um pacote de ferramentas de desenvolvimento na linguagem Ada. O pacote inclui um compilador, um ambiente de desenvolvimento integrado , um analisador estático do subconjunto da linguagem SPARK, um depurador GDB e um conjunto de bibliotecas. O pacote é distribuído sob a licença GPL.
Principais mudanças:
- O compilador foi atualizado para suportar muitas inovações do rascunho do futuro
.
O backend foi atualizado para GCC 9 (para todas as plataformas, exceto macOS). Adicionada a suporte para a plataforma RISC-V 64. - O ambiente de desenvolvimento GNAT Studio agora utiliza
(Protocolo de Servidor de Linguagem) para a linguagem Ada. Com base neste mesmo servidor, foi implementada uma extensão para o Visual Studio Code, agora disponível no
. - Em adicionada a suporte para a propriedade de ponteiros (como em Rust), permitindo provar a ausência de erros de manipulação 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
