GNAT Community 2019

Par Stephane Carrez

La version 2019 du compilateur Ada d'AdaCore est disponible.

Vous pouvez le télécharger gratuitement en allant sur la page: https://www.adacore.com/download

Parmi les nouveautés, on notera:

  • Comme pour la version 2018, le compilateur SPARK est inclu et cette version supporte les pointeurs (si vous ne connaissez pas, jetez un oeil sur l'article de Claire Dross Using Pointers in SPARK),
  • Le compilateur Ada est maintenant basé sur gcc 8.3.1 et gdb 8.3,
  • La librairie libadalang est disponible. Cette librairie permet d'analyser des programmes Ada, n'étant pas évidente à construire, son intégration dans GNAT 2019 va faciliter énormément son utilisation.

Disponibles en natif pour Linux x86-64, Windows 64 bits, MacOS x86-64, le nouveau compilateur est aussi disponible en croisé pour ARM-ELF et RISC-V. Ce compilateur comporte de plus en plus d'outils, prévoyez 2.7 Go pour l'installation.

L'annonce officielle: GNAT Community 2019

AdaCore organise les Tech Days à Paris le 4 Octobre 2018

Par Stephane Carrez

Le jeudi 4 Octobre 2018, AdaCore présente les évolutions à venir sur ses différents produits: GNAT Pro, CodePeer, SPARK Pro, et QGen.

Sur l'agenda d'une journée bien remplie, on notera que l'on obtiendra des informations sur:

  • L'avancée dans l'utilisation des GPUs pour les programmes classiques,
  • Une découverte de l'offre C/C++ d'AdaCore,
  • Les évolutions de libadalang dans l'analyse sémantique des programmes Ada,
  • Des informations sur l'intégration de Python dans GPS,
  • Des présentations de clients.

Cet événnement est libre, plus d'informations sur: https://www.adacore.com/tech-days-eu

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

GNAT Community 2018

Par Stephane Carrez

Voila, le cru 2018 du compilateur Ada d'AdaCore est disponible.

Vous pouvez le télécharger gratuitement en allant sur la page: https://www.adacore.com/download

Parmi les nouveautés, on notera:

  • Le support des cartes BBC micro:bit (ARM Cortex-M0),
  • Le support du RISC-V,
  • Le compilateur SPARK est désormais inclu pas défaut,
  • Le compilateur Ada est maintenant basé sur gcc 7.3.1,
  • Longtemps attendue, une version Windows 64 bits est disponible,
  • Les utilisateurs de MacOS pourront aussi profiter du compilateur croisé Ada pour ARM.

Disponibles en natif pour Linux x86-64, Windows 64 bits, MacOS x86-64, le nouveau compilateur est aussi disponible en croisé pour ARM-ELF et RISC-V.

Il ne vous reste plus qu'à télécharger cette nouvelle version, et ensuite de vous excercer avant de vous inscrire à la prochaine compétition de développement Ada sur makewithada.org

L'annonce officielle: GNAT Community 2018