Development Log    See All »

  • GNAT Pro
    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.

  • SPARK Pro
    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.

  • SPARK Pro
    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.

Documentation    See All »

  • 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.

  • Using as

    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.

  • GNATdashboard

    This is the manual for administering and using GNATdashboard.