Development Log in October 2006.

  • GNAT Pro | Ada Compiler
    Oct 31st, 2006

    AdaCore Quality Process
    The Nov 2006 online issue of CrossTalk sees an interesting article on AdaCore's quality assurance processes and tools:

    "A software product is rarely a static artifact resulting from a one-time effort; it needs to evolve via periodic updates, to correct defects or meet new requirements, and it may need to be ported to multiple machines and/or operating systems. The development team might be distributed geographically, requiring careful coordination. A software producer must have well-defined processes for dealing with these issues, to ensure that its products successfully meet users’ needs."

    The full article is available here.

  • GNAT Pro | Ada Compiler
    Oct 31st, 2006

    GNATstack - software analysis tool
    AdaCore today launched GNATstack, a software analysis tool that enables software development teams to accurately predict the maximum size of the memory stack required to host an embedded software application. GNATstack is an important component of AdaCore’s High-Integrity solution (GNAT Pro HIE), which is an enhanced Ada development environment used for building safety-critical, embedded software applications that require certification. The tool is targeted at system designers creating high integrity and high reliability embedded applications. For more information please click here or contact sales@adacore.com.

  • GNAT Pro
    Oct 26th, 2006

    Better error message for use of IN with ACCESS
    It is not permissible to use IN and ACCESS together. Previously this mistake resulted in an obscure error message. This error is now clearly diagnosed.

  • GNAT Pro
    Oct 26th, 2006

    Better error message for use of IN with ACCESS
    It is not permissible to use IN and ACCESS together. Previously this mistake resulted in an obscure error message. This error is now clearly diagnosed.

  • GNAT Pro
    Oct 18th, 2006

    Reduced verbosity when building libraries
    In default mode (not quiet, not verbose) the output when building libraries has been reduced: the lists of object files and ALI files are not displayed and only the first object files is displayed in the link command. Output has not been changed in verbose mode.

  • GNAT Pro
    Oct 18th, 2006

    Reduced verbosity when building libraries
    In default mode (not quiet, not verbose) the output when building libraries has been reduced: the lists of object files and ALI files are not displayed and only the first object files is displayed in the link command. Output has not been changed in verbose mode.

  • GNAT Pro
    Oct 17th, 2006

    More flexibility in record layout in -gnaty mode
    When TYPE and RECORD are on different lines in a record declaration, GNAT now allows the END RECORD to line up under either line in -gnaty or -gnatyr modes. This makes the compiler consistent with the format chosen by GPS by default in this case.

  • GNAT Pro
    Oct 17th, 2006

    More flexibility in record layout in -gnaty mode
    When TYPE and RECORD are on different lines in a record declaration, GNAT now allows the END RECORD to line up under either line in -gnaty or -gnatyr modes. This makes the compiler consistent with the format chosen by GPS by default in this case.

  • GNAT Pro | GPS
    Oct 11th, 2006

    Remote Programming update
    A new section of the corporate site has been created to highlight GPS's new Remote Programming facility. Remote Programming provides a secure, efficient, and flexible way for software development teams to reduce costs by taking full advantage of their desktop computers and networks. To learn more, click here »

  • GNAT Pro
    Oct 9th, 2006

    Warnings on unused assignment to OUT formals
    A new warning switch (-gnatw.o) causes modifications to variables via OUT parameters to be treated as assignments from the point of view of warning generation (warning when the assigned value is unreferenced or clobbered by another assignment). This warning is not included in -gnatwa because it seems common to have ignored out parameters, so if you want this warning activated, it must be done explicitly (e.g. using -gnatwa.o).

  • GNAT Pro
    Oct 4th, 2006

    New pragma Compile_Time_Error
    A new pragma Compile_Time_Error can be used to issue error messages based on compile time checks. This pragma is exactly like the previously existing pragma Compile_Time_Warning, except that an error message is issued instead of a warning message.

  • GNAT Pro
    Oct 4th, 2006

    New pragma Compile_Time_Error
    A new pragma Compile_Time_Error can be used to issue error messages based on compile time checks. This pragma is exactly like the previously existing pragma Compile_Time_Warning, except that an error message is issued instead of a warning message.