GNAT Community 2020 veröffentlicht

Veröffentlicht GNAT Community 2020 — ein Entwicklungspaket für die Programmiersprache Ada. Das Paket enthält einen Compiler, eine integrierte Entwicklungsumgebung GNAT Studio, einen statischen Analysewerkzeug für ein Teilmenge der Sprache SPARK, den GDB-Debugger und eine Sammlung von Bibliotheken. Das Paket wird verbreitet steht unter einer GPL-Lizenz.

Hauptänderungen:

• Der Compiler wurde um viele Neuerungen aus dem Entwurf des kommenden
  Standards der Programmiersprache Ada 202x.
  aktualisiert. Der Backend wurde auf GCC 9 (für alle Plattformen außer macOS) aktualisiert. Unterstützung für die RISC-V 64-Plattform wurde hinzugefügt.
• Die Entwicklungsumgebung GNAT Studio verwendet jetzt
  ihren eigenen LSP
  (Language Server Protocol) für die Programmiersprache Ada. Auf der Basis desselben Servers wurde eine Erweiterung für Visual Studio Code umgesetzt, die jetzt im
  Visual Studio Marketplace.
• Im Die SPARK-Analysewerkzeuge unterstützen jetzt die Eigentümerschaft von Zeigern (wie in Rust), was die Nachweisbarkeit von Speicherfehlern und Speicherlecks ermöglicht. Das unterstützte Teilmenge der Sprache wurde durch neue Konstruktionen erweitert.

Quelle: opennet.ru