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