GNAT Community 2020 släppt

Kom ut GNAT Community 2020 - en utvecklingsverktygslåda på Ada-språket. Paketet innehåller en kompilator, en integrerad utvecklingsmiljö GNAT Studio, en statisk analysator för en delmängd av SPARK-språket, en GDB-debugger och en uppsättning bibliotek. Plastpåse levererad av under villkoren i GPL-licensen.

Huvudändringar:

• Kompilatorn har lagt till stöd för många innovationer från det kommande utkastet
  Ada språkstandard 202x.
  Backend har uppdaterats till GCC 9 (för alla plattformar utom macOS). Tillagt stöd för RISC-V 64-plattformen.

• Utvecklingsmiljön GNAT Studio använder nu
  din LSP
  (Language Server Protocol) för Ada-språket. Baserat på samma server har ett tillägg för Visual Studio Code implementerats, nu tillgängligt i
  Visual Studio Marketplace.

• В SPARK analysator Lade till stöd för pekarägande (som i Rust), vilket gör att du kan bevisa frånvaron av minnesfel och frånvaro av minnesläckor. Den understödda delmängden av språket har utökats med nya konstruktioner.

Källa: opennet.ru