Выпуск GNAT Community 2018 — инструментария для языка Ада

Скачать можно тут.

Предыдущий выпуск назывался GNAT GPL 2017 и был издан 15 июня 2017 г.

В состав выпуска входит

• компилятор GNAT,
• среда разработки GNAT Programming Studio,
• статический анализатор SPARK,
• другие сопутствующие инструменты.

Выпуск доступен для ОС Linux, Windows и Mac. Библиотека времени исполнения поставляется в двух вариантах — полная и для встраиваемых (bareboard) приложений. В состав компилятора, кроме родного (native) 64‐битного компилятора, входят кросс компиляторы для встраиваемых платформ ARM и RISC-V.

Список некоторых улучшений в компиляторе

• реализованы некоторые возможности следующего стандарта языка Ада 2020.
• улучшения в скорости генерируемого кода
• ускорение линковки на Windows
• автоматическое сортировка полей записи для улучшения производительности
• улучшения в системе размерностей (метры, граммы, секунды и пр) ассоциированных с типами
• много новых правил программы проверки кода gnatcheck

Список некоторых улучшений в среде разработки GPS:

• Значительно переработано главное меню
• Добавлен Learn View для облегчения освоения IDE
• Новая реализация поддержки работы с системами контроля версий
• Подсветка инструкций, окно регистров, окно с переменными и др. улучшения в отладчике
• Кнопки Build & Run, Build & Debug
• Переделан диалог для поиска и замены текста
• Новый Python API для работы с Ада кодом на основе libadalang
• Добавлена поддержка устройства BBC micro:bit
• Новые методы рефакторинга (Separate Subprogram)

Приятной Вам работы.