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