A comunidade GNAT 2020 está fóra

Saíu Comunidade GNAT 2020 - un conxunto de ferramentas de desenvolvemento na linguaxe Ada. O paquete inclúe un compilador, un ambiente de desenvolvemento integrado Estudio GNAT, un analizador estático para un subconxunto da linguaxe SPARK, un depurador GDB e un conxunto de bibliotecas. Bolsa de plástico distribuído por baixo os termos da licenza GPL.

Principais cambios:

• O compilador engadiu soporte para moitas innovacións do próximo borrador
  Estándar de idioma Ada 202x.
  O backend actualizouse a GCC 9 (para todas as plataformas excepto macOS). Engadido soporte para a plataforma RISC-V 64.

• Agora usa o ambiente de desenvolvemento GNAT Studio
  o teu LSP
  (Language Server Protocol) para o idioma Ada. Baseado no mesmo servidor, implementouse unha extensión para Visual Studio Code, agora dispoñible en
  Mercado de Visual Studio.

• В Analizador SPARK Engadiuse soporte para a propiedade do punteiro (como en Rust), que permite probar a ausencia de erros de memoria e a ausencia de fugas de memoria. O subconxunto admitido da linguaxe ampliouse con novas construcións.

Fonte: opennet.ru