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