La Comunidad GNAT 2020 ya está disponible

Sustituto Comunidad GNAT 2020 - un conjunto de herramientas de desarrollo en el lenguaje Ada. El paquete incluye un compilador, un entorno de desarrollo integrado. Estudio GNAT, un analizador estático para un subconjunto del lenguaje SPARK, un depurador GDB y un conjunto de bibliotecas. Bolsa de plastico distribuido por bajo los términos de la licencia GPL.

Cambios importantes:

• El compilador ha agregado soporte para muchas innovaciones del próximo borrador.
  Estándar de lenguaje Ada 202x.
  El backend se actualizó a GCC 9 (para todas las plataformas excepto macOS). Se agregó soporte para la plataforma RISC-V 64.

• El entorno de desarrollo GNAT Studio ahora utiliza
  tu LSP
  (Protocolo de servidor de idiomas) para el idioma Ada. Basado en el mismo servidor se ha implementado una extensión para Visual Studio Code, ahora disponible en
  Visual Studio Marketplace.

• В analizador de chispa Se agregó soporte para la propiedad del puntero (como en Rust), lo que le permite demostrar la ausencia de errores de memoria y la ausencia de pérdidas de memoria. El subconjunto admitido del lenguaje se ha ampliado con nuevas construcciones.

Fuente: opennet.ru