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