May 25th, 2015
New gnatcheck rule - Maximum_Parameters
A new rule named Maximum_Parameters is added to gnatcheck. It checks if a subprogram has more formal parameters than are specified by the rule parameter.
May 22nd, 2015
Suppress no effect warning when user already knows
The SPARK toolset no longer emits a "subprogram Bla has no effect" warning when the user has added a Global/Depends aspect on Bla since this indicates that the effects of the subprogram are already known to her. The message is also suppressed when Bla is marked No_Return and is deemed to abnormaly terminate.
May 21st, 2015
Lift restriction on calls to No_Return procedures
This lifts the SPARK RM restriction forcing calls to procedures marked No_Return to appear either at the end of a subprogram or as the only statement inside an if-statement without else/elsif part. Indeed, this restriction is not needed anymore, similarly to what was done for raise-statements already.
The GNU binary utilities
This is the documentation for GNU Binary Utilities.
The GNU linker
This is the documentation for GNU ld, the GNU linker, part of GNU Binutils.
This is the user manual for GAS, the GNU Assembler, part of GNU Binutils.
Debugging with GDB
This is the main documentation for GDB, the GNU source-level debugger.
This is the manual for administering and using GNATdashboard.