Społeczność GNAT 2020 jest już dostępna

Wyszedł Społeczność GNAT 2020 - zestaw narzędzi programistycznych w języku Ada. Pakiet zawiera kompilator, zintegrowane środowisko programistyczne Studio GNAT, analizator statyczny dla podzbioru języka SPARK, debuger GDB i zestaw bibliotek. Plastikowa torba dystrybuowane przez na warunkach licencji GPL.

Główne zmiany:

• Kompilator dodał obsługę wielu innowacji z nadchodzącej wersji roboczej
  Standard językowy Ada 202x.
  Backend został zaktualizowany do GCC 9 (dla wszystkich platform z wyjątkiem macOS). Dodano obsługę platformy RISC-V 64.

• Obecnie korzysta ze środowiska programistycznego GNAT Studio
  Twój LSP
  (Language Server Protocol) dla języka Ada. W oparciu o ten sam serwer zaimplementowano rozszerzenie dla Visual Studio Code, dostępne już w
  Visual Studio Marketplace.

• В Analizator iskier Dodano obsługę własności wskaźników (jak w Rust), która pozwala udowodnić brak błędów pamięci i brak wycieków pamięci. Obsługiwany podzbiór języka został rozszerzony o nowe konstrukcje.

Źródło: opennet.ru