GNAT Community 2021

Par Stephane Carrez

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!

Laissez un commentaire

Pour ajouter un commentaire, vous devez être connecté. Se connecter

Associations

Abonnez-vous

Tags