AdaCore a publié la version 19.1 de ses produits GNAT Pro, CodePeer, SPARK Pro et QGen destinés aux systèmes nécessitant une grande fiabilité en matière de sûreté de fonctionnement et de sécurité....

- L’environnement de développement Ada de GNAT Pro 19.1 gère toutes les versions du langage Ada disponibles sur 62 plates-formes (57 croisées et 5 natives)

- Prise en charge des architectures RISC-V 64 bits, ELF, Arm AArch 64 (ELF, Linux, QNX, et VxWorks 7), PowerPC Linux, et Intel x86 LynxOS-178 2.2.4

- Compatible avec les suites d’outils GCC 7, Binutils 2.30.52, GDB 8.2, MinGW 5.0 et le simulateur QEMU 2.12

- Extension du support des langages C et C++

- L’outil CCG (Common Code Generator) de GNAT Pro compile un sous-ensemble du code source Ada en un code C