- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
GPS: remove Search in Project view
In the /Navigate/Find or Replace dialog, there is no longer a context to search in the project view. Instead, users should use the new filter in the Project view. Editors still have a "Locate in Project view" contextual menu.
GPS: not grouping by directories in Project view
A new setting in the Project view was added to show files directly underneath projects, and not grouped by directories.
GPS: support for auto-completion in Python
GPS now provides smart completion in Python files, providing completion for modules found in the standard Python search paths and all source directories for projects that list "Python" as their language. This is done through an integration of the Jedi library. <https://github.com/davidhalter/jedi>
GPS: show runtime files in Project view
The Project view now has a setting to show the runtime files.
GPS: filter in project view
The Project view now includes a filter in its local toolbar. A number of additional settings were also added to its local config menu: hiding object directories and sorting imported projects before directories.
Jun 20th, 2014
ASIS: better processing of configuration files
Now for each configuration file involved in a compilation a separate A_Configuration_Compilation unit is presented in the ASIS Context. Asis.Compilation_Units.Text_Name query now returns the full path to the configuration file when applied to A_Configuration_Compilation unit.
Jun 18th, 2014
New mathematics library on bareboard platforms
A new mathematics library written in Ada is now used instead of newlib for bareboard platforms. It is much easier to recompile it.
Jun 17th, 2014
Improved proof for discriminant checks
The SPARK toolset now handles values of discriminants of discriminant records better. As a consequence, proof of discriminant checks and other checks related to discriminant records is improved
GPS: filter empty directories in Project view
A new filter was added to the Project view to hide empty directories.
Better error message location for missing globals
The SPARK tools place messages about missing globals on the first instance where the missing global is read from or written to, instead of just informing the user that there is a missing global.
Better handling of dynamic types
The SPARK toolset now tracks bounds of dynamically constrained arrays and discrimiants of dynamically constrained records better. This results in more proved verification conditions.
Missing entity messages given even in -gnatc mode
In No_Run_Time mode or configurable run-time mode, messages for missing entities (corresponding to unsupported features) are now given even when compiling in -gnatc mode.
Better handling of info messages
The count of info messages is now listed separately from the warning message count in a full listing, and -gnatwe never causes info messages to be treated as errors.
Jun 13th, 2014
Syntax only check without a runtime
It is now possible to invoke the compiler with -gnats and to use gnatchop even when the runtime is not available.
Jun 12th, 2014
Clock and PLL declarations added to System.STM32F4
The package System.STM32F4 (available on arm-eabi in runtimes for stm32f4) has been augmented with declarations for the clocks and PLLs. The clock configuration is now defined in System.BB.Parameters.
Jun 11th, 2014
GNAT.Regpat: support for non-capturing parenthesis
It is now possible to use regular expression using the (?:...) syntax to indicate a non-capturing parenthesis.
Ada Web Server
Jun 7th, 2014
Add support for WSDL extension
WSDL extension are now recognized and wsdl2aws will generate proper Ada code.
Jun 4th, 2014
Improved tool output in case of errors
The message issued by the SPARK toolset in case of errors in the source code has been improved. A confusing message involving gprbuild has been suppressed and the formulation of another message has been improved.
Jun 4th, 2014
Better code for attributes Machine, Model, Rounding
The object code has been improved on selected architectures for the floating-point attributes Machine, Model, and Rounding.
Jun 1st, 2014
Better support for large files on 32bit systems
It is now possible to obtain the size of a file using Directories.Size and OS_Lib.File_Length for files larger than 2Gb on 32bit systems. In addition, the use of Os_Lib.Copy_File is now supported for such files.