Lors de la manifestation Design West 2013, le français Adacore a lancé la version 7.1 de son environnement de développement en open source GNAT Pro, ainsi que la version 2.2 de son outil d’analyse statique Code Peer. ...Désormais, GNAT Pro supporte la version 2012 du langage Ada et intègre un système d’aide au développement d’applications complexes multilangages. Ce dernier propose notamment l’outil GPRBuilt 2.0 qui automatise la mise en place de logiciels complexes avec plusieurs langages de programmation, l’outil de débogage GDB 7.5 et l’outil de vérification statique GNATcheck doté de nouvelles règles.

Coté interface graphique, GNAT Pro intègre l’outil gtkAda avec de nouveaux widgets, un framework basé sur le CSS (Cascading Style Sheets) et une nouvelle API. Permettant de détecter de manière statique les erreurs de runtime et les erreurs logiques d’un programme écrit en Ada, l'outil CodePeer version 2.2 , quant à lui, est désormais complètement intégré à GNAT Pro. Capable d’analyser très tôt dans le cycle de développement d’une application, et de manière systématique, toutes les entrées et les chemins d’un programme, cet outil est également intégré, dans le cadre de cette nouvelle version, au sein de GNATbench, le plug-in Eclipse de GNAT Pro, offrant aux utilisateurs la flexibilité liée à Eclipse et l’accès au HTML.