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.