GNAT Community 2020 je venku

Náhradní Komunita GNAT 2020 - vývojová sada nástrojů v jazyce Ada. Balíček obsahuje kompilátor, integrované vývojové prostředí Studio GNAT, statický analyzátor pro podmnožinu jazyka SPARK, debugger GDB a sadu knihoven. Igelitová taška distribuovány za podmínek licence GPL.

Hlavní změny:

  • Kompilátor přidal podporu pro mnoho inovací z připravovaného návrhu
    Jazyková norma Ada 202x.
    Backend byl aktualizován na GCC 9 (pro všechny platformy kromě macOS). Přidána podpora pro platformu RISC-V 64.

  • Nyní používá vývojové prostředí GNAT Studio
    vaše LSP
    (Language Server Protocol) pro jazyk Ada. Na stejném serveru bylo implementováno rozšíření pro Visual Studio Code, které je nyní dostupné v
    Visual Studio Marketplace.

  • В SPARK analyzátor Přidána podpora pro vlastnictví ukazatelů (jako v Rustu), která umožňuje prokázat nepřítomnost chyb paměti a absenci úniků paměti. Podporovaná podmnožina jazyka byla rozšířena o nové konstrukce.

Zdroj: opennet.ru

Přidat komentář