The GNAT Pro 17.1 release, based on GCC 6 and GDB 7.10, is said to include improved debugger support under GPS; a better algorithm for Ada elaboration order; enhancements to the GPRbuild multi-language build tool; better integration of GNATtest and GNATcoverage; an implementation of the extended Ravenscar profile on bare metal targets; and support for SMP on leon3. The supplemental GNATcoverage dynamic analysis tool has been upgraded with incremental coverage analysis, improved object code coverage, and support for ARM bare metal and native Windows platforms.
QGen 17.1 includes a model-level debugger, allowing synchronised views and execution control between the model and the generated code. QGen 17.1 also includes support for processor-in-the-loop testing, an enhanced user interface, improved code generation, and the implementation of additional blocks.
CodePeer 17.1 provides improvements in the handling of false alarms, more precise diagnostic messages, and a variety of user interface enhancements. SPARK Pro 17.1 brings improved proof automation and enhanced proof interaction.
