GNAT Community 2020 is uit

Kwam uit GNAT-gemeenschap 2020 - een ontwikkelingstoolkit in de Ada-taal. Het pakket bevat een compiler, een geïntegreerde ontwikkelomgeving GNAT-studio, een statische analysator voor een subset van de SPARK-taal, een GDB-foutopsporing en een reeks bibliotheken. Plastieken zak gedistribueerd door onder de voorwaarden van de GPL-licentie.

Grote veranderingen:

• De compiler heeft ondersteuning toegevoegd voor veel innovaties uit het komende concept
  Ada taalstandaard 202x.
  De backend is bijgewerkt naar GCC 9 (voor alle platforms behalve macOS). Ondersteuning toegevoegd voor het RISC-V 64-platform.

• De ontwikkelomgeving van GNAT Studio maakt nu gebruik van
  uw LSP
  (Language Server Protocol) voor de Ada-taal. Op basis van dezelfde server is een extensie voor Visual Studio Code geïmplementeerd, nu beschikbaar in
  Visual Studio Marketplace.

• В SPARK-analysator Ondersteuning toegevoegd voor pointer-eigendom (zoals in Rust), waarmee u de afwezigheid van geheugenfouten en de afwezigheid van geheugenlekken kunt bewijzen. De ondersteunde subset van de taal is uitgebreid met nieuwe constructies.

Bron: opennet.ru