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

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