- une boîte à outils de développement en langage Ada. Le package comprend un compilateur, un environnement de développement intégré , un analyseur statique pour un sous-ensemble du langage SPARK, un débogueur GDB et un ensemble de bibliothèques. Sac plastique selon les termes de la licence GPL.
Les principaux changements:
- Le compilateur a ajouté la prise en charge de nombreuses innovations de la prochaine version
.
Le backend a été mis à jour vers GCC 9 (pour toutes les plateformes sauf macOS). Ajout de la prise en charge de la plateforme RISC-V 64. - L'environnement de développement GNAT Studio utilise désormais
(Language Server Protocol) pour le langage Ada. Basée sur le même serveur, une extension pour Visual Studio Code a été implémentée, désormais disponible dans
. - В Ajout de la prise en charge de la propriété du pointeur (comme dans Rust), qui permet de prouver l'absence d'erreurs de mémoire et l'absence de fuites de mémoire. Le sous-ensemble pris en charge du langage a été étendu avec de nouvelles constructions.
Source: opennet.ru