La société AdaCore vient d'annoncer la disponibilité du compilateur GNAT Community 2021.

Vous pouvez le télécharger sur leur site: https://www.adacore.com/download

Cette nouvelle version est basée sur la version 10.3.1 de GCC, les GNU Binutils 2.33.50 et GDB 10.2.90.

Parmi les nombreuses améliorations et corrections, on notera:

• un support de plusieurs nouvelles fonctionnalités de Ada 2022 (Jorvik real-time tasking profile, filtres d'itérateurs, nombres à précision infinie, @ symbol...)
  
• un compilateur plus strict dans la détection et validation les règles de programmation Ada,
• GNAT Studio a une intégration avec clangd et permet une meilleure navigation en C/C++, la navigation en Ada est aussi meilleure grâce à une meilleure prise en compte des types dynamiques,
• La librairie Libadalang a beaucoup évoluée avec de nombreuses APIs,
• Le support des pointeurs SPARK prends en compte les dernières notions d'ownership dans la validation.
  

Le compilateur est disponible pour Linux-64 et Windows-64 en natif, ou pour des développements croisés en ARM ou RISC-V.

L'annonce complète: GNAT Community 2021 is here!