Development Log    See All »

  • GNAT Pro|GPRbuild
    Apr 21st, 2015

    —create-map-file for cross targets
    This is now supported on cross platforms that use GNU ld to link.

  • GNAT Pro|GNATbench | GNAT Pro|GPS
    Apr 20th, 2015

    GPS: Ability to provide fonts under UNIX
    GPS comes with a mechanism for adding custom fonts. (This does not work on Windows, where the fonts need to be installed at the system level). GPS 6.2 also comes with better default fonts out-of-the-box.

  • GNAT Pro
    Apr 20th, 2015

    Improve consistency of floating-point **
    This enhancement ensures on all targets that A**B = A**C when B is a small static constant in the range 0 .. 4 and C is a variable with the same value. Previously for Float and Long_Float on some targets, this was not the case. The results given were both within the error bounds that are allowed by the Ada standard, but it is desirable not to have this discrepancy. This also aids formal verification of such operatioons.

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.