- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
GPS: Atomic “Replace All” in editors
After performing a "Replace All" action in an editor, a single "Undo" will undo the entire replace operation.
Jun 27th, 2012
Warn when pragma Pack overrides foreign convention
If a record or array has components with a foreign convention (for example, convention C), and a pragma Pack is applied to the record or array, the resulting packing operation may override the standard foreign-convention compatible representation for the component. The compiler now issues a warning for Pack pragmas that have this effect, pointing to the affected components.
GPS: Viewing assembly code with avr-gdb
The Assembly View is now supported on AVR targets.
GB: New preference to skip parsing Ada runtime
GNATbench now has a preference to inhibit Ada runtime parsing for code assist functionality. This greatly reduces the overall time spent on parsing when the IDE is launched.
GPS: Removal of ClearCase module preference
This preference provided access to an old version of ClearCase support, which has been replaced by ClearCase Native support several versions ago. The preference has been removed and all ClearCase users are invited to switch to using ClearCase Native.
Support for python 3.x
GNATCOLL is now compatible with both Python 2 and Python 3. You can chose between the two by using the new --with-python-exec configure switch.
GNATCOLL.Scripts.Python cleanup of output
When you use Execute_Command with the Hide_Output parameter set to True, it now only hides the result of the command (which otherwise python would display through sys.displayhook), and no longer the command's explicit output through print statements. Execute_Command will fail if you expect a result (string or boolean) when executing a command that defines a function or class.
Jun 15th, 2012
GNAAMP removes dead code after raise instructions
The GNAAMP compiler now removes instructions following EXCEPT1 and EXCEPT2 instructions (emitted for raises of Program_Error and Constraint_Error on the AAMP Small library) up to the next label when compiling with optimization enabled (as was already done for code following calls to procedures marked with No_Return).
GPS: drag’n'drop support on linux
Under Linux, you can drag and drop a file from the explorer or desktop to the GPS window to open it.
Obscure spurious elaboration warnings eliminated
The compiler was giving spurious elaboration warnings in certain obscure cases. The compiler no longer gives these warnings.
Add support for encoding in Create_Directory
The Ada.Directories.Create_Directory and Create_Path routines now support encoding=UTF8/8bits in the form parameter.
Dr José Ruiz gave this talk at yesterday's Embed with Linux conference in Lorient, France. The talk provides an overview of techniques to design and implement reliable embedded applications. The goal is to achieve safe and analyzable behavior by construction, including handling parallel multiprocessor systems in an efficient and predictable way. The means to attain this objective is to statically configure the application to run on embedded linux platforms, and then to use run-time support to enforce constraints imposed to the system.
ECL: Scenario variables are passed to makefiles
Now when building or compiling using makefiles, existing scenario variables (if any) are passed to the makefile invocation so that the makefile may be able to reference them.