Development Log    See All »

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

  • GNAT Pro
    May 21st, 2015

    Change of runtimes on powerpc-elf bareboard
    The runtimes provided for powerpc-elf bareboard now runs on mpc8641 platforms instead of PReP. The former platform is still available, high performance while the latter has been deprecated for more than 10 years. The GNATemulator product has been updated too.

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.