— un ensemble d'outils de développement en langage Ada. Le package comprend un compilateur, un environnement de développement intégré , un analyseur statique du sous-ensemble du langage SPARK, un débogueur GDB et un ensemble de bibliothèques. Le package est sous licence GPL.
Principales modifications :
- Le compilateur a été mis à jour avec le support de nombreuses nouveautés issues du brouillon du futur
.
L'arrière-plan a été mis à jour vers GCC 9 (pour toutes les plateformes, sauf macOS). Le support de la plateforme RISC-V 64 a été ajouté. - L'environnement de développement GNAT Studio utilise maintenant
(Language Server Protocol) pour le langage Ada. Sur la base de ce même serveur, une extension pour Visual Studio Code a été réalisée, désormais disponible sur
. - Dans ajoute le support de la possession des pointeurs (comme en Rust), permettant de prouver l'absence d'erreurs de gestion de mémoire et l'absence de fuites de mémoire. Le sous-ensemble supporté du langage a été étendu avec de nouvelles constructions.
Source : opennet.ru
