— pakiet narzędzi do tworzenia oprogramowania w języku Ada. W skład pakietu wchodzi kompilator oraz zintegrowane środowisko programistyczne. , statyczny analizator podzbioru języka SPARK, debugger GDB oraz zestaw bibliotek. Pakiet na warunkach licencji GPL.
Główne zmiany:
- Kompilator wzbogacono o wsparcie dla wielu nowości z roboczej wersji nadchodzącego
.
Backend został zaktualizowany do GCC 9 (dla wszystkich platform poza macOS). Dodano wsparcie dla platformy RISC-V 64. - Środowisko programistyczne GNAT Studio teraz korzysta z
(Language Server Protocol) dla języka Ada. Na podstawie tego samego serwera zrealizowano rozszerzenie do Visual Studio Code, teraz dostępne w
. - W uzyskał wsparcie dla posiadania wskaźników (jak w Rust), co pozwala na udowodnienie braku błędów związanych z pamięcią oraz wycieków pamięci. Wspierany podzbiór języka został wzbogacony o nowe konstrukcje.
Źródło: opennet.ru
