Излезе GNAT Community 2020

Излязоха GNAT Community 2020 — пакет за разработка на езика Ада. В пакета влизат компилатор, интегрирана среда за разработка GNAT Studio, статичен анализатор на подмножество на езика SPARK, дебъгер GDB и комплект от библиотеки. Пакетът разпространява е на условията на лицензия GPL.

Основни промени:

• Към компилатора е добавена поддръжка на много нововъведения от черновата на предстоящия
  стандарт на езика Ада 202х.
  Бекендът е обновен до GCC 9 (за всички платформи, освен macOS). Добавена е поддръжка на платформата RISC-V 64.
• Средата за разработка GNAT Studio сега използва
  собствения си LSP
  (Language Server Protocol) за езика Ада. На базата на същия сървър е реализирано разширение за Visual Studio Code, вече налично в
  Visual Studio Marketplace.
• В анализатор SPARK е добавила поддръжка на собственост върху указатели (както в Rust), което позволява доказване на отсъствие на грешки при работа с паметта и липса на паметни течове. Поддържаното подмножество на езика е разширено с нови конструкции.

Източник: opennet.ru