GNAT Community 2020 har släppts

Har kommit ut GNAT Community 2020 — ett paket med utvecklingsverktyg för Ada. Paketet innehåller en kompilator, en integrerad utvecklingsmiljö GNAT Studio, en statisk analysator för en delmängd av språket SPARK, en GDB-debugger och ett bibliotekspaket. Paketet sprids finns under GPL-licens.

Huvudsakliga förändringar:

• Kompilatoren har fått stöd för många nyheter från utkastet till den kommande
  standarden för Ada 202x.
  Backend har uppdaterats till GCC 9 (för alla plattformar utom macOS). Stöd för plattformen RISC-V 64 har lagts till.
• Utvecklingsmiljön GNAT Studio använder nu
  sin LSP
  (Language Server Protocol) för Ada. Baserat på denna server har en extension för Visual Studio Code skapats, nu tillgängligt i
  Visual Studio Marketplace.
• I SPARK-analysatorn har fått stöd för ägande av pekare (som i Rust), vilket möjliggör bevis av avsaknad av minnesfel och läckor. Den stödja delmängden av språket har utökats med nya konstruktioner.

Källa: opennet.ru