Se ha lanzado GNAT Community 2020

Lanzado GNAT Community 2020 — paquete de herramientas de desarrollo en el lenguaje Ada. El paquete incluye un compilador, un entorno de desarrollo integrado GNAT Studio, un analizador estático de un subconjunto del lenguaje SPARK, el depurador GDB y un conjunto de bibliotecas. El paquete se distribuye se ofrece bajo la licencia GPL.

Principales cambios:

• El compilador ha añadido soporte para muchas novedades del borrador del próximo
  estándar del lenguaje Ada 202x.
  El backend ha sido actualizado a GCC 9 (para todas las plataformas excepto macOS). Se ha añadido soporte para la plataforma RISC-V 64.
• El entorno de desarrollo GNAT Studio ahora utiliza
  su LSP
  (Protocolo de Servidor de Lenguaje) para el lenguaje Ada. Basado en este mismo servidor, se ha desarrollado una extensión para Visual Studio Code, ahora disponible en
  Visual Studio Marketplace.
• En el analizador SPARK ha añadido soporte para la propiedad de punteros (similar a Rust), lo que permite demostrar la ausencia de errores en el manejo de memoria y la falta de fugas de memoria. El subconjunto soportado del lenguaje se ha ampliado con nuevas construcciones.

Fuente: opennet.ru