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

wiki:/graphics/gnat-2018.png

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

Предыдущий выпуск назывался 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)

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