Development Log in 2009.

  • Ada Web Server
    Dec 24th, 2009

    Port AWS to VxWorks
    AWS can now be used on VxWorks. The build procedure has been modified to be able to build the tools on the native platform and the libraries on the cross platform.

  • PolyORB
    Dec 23rd, 2009

    Disable style checks in po_gnatdist generated files
    Style checks are now turned off for source files generated by po_gnatdist to avoid spurious messages if user enables such checks from the command line using -gnaty.

  • GNAT Pro | GPS | GNATbench
    Dec 21st, 2009

    New auto-fixes for warnings
    GPS is now able to auto-fix the following warnings:

       redundant attribute, "A_Type" is its own base type
       pragma Pack has no effect, no unplaced components
       renaming function result object is suspicious
       implicit dereference
       useless assignment
       abs applied to known non-negative value has no effect
       comparison with True is redundant
    

  • GNAT Pro | GPS | GNATbench
    Dec 21st, 2009

    New auto-fixes for warnings
    GPS is now able to auto-fix the following warnings:

       redundant attribute, "A_Type" is its own base type
       pragma Pack has no effect, no unplaced components
       renaming function result object is suspicious
       implicit dereference
       useless assignment
       abs applied to known non-negative value has no effect
       comparison with True is redundant
    

  • GNAT Pro | GPS | GNATbench
    Dec 17th, 2009

    New auto-fixes for style checks
    GPS is now able to auto-fix the following style errors:

       index number not allowed for one dimensional array
       index number required for multi-dimensional array
       "and then" required
       "or else" required
       subprogram body "something" not in alphabetical order
       redundant parentheses
       no statements may follow "then" on same line
       "in" should be omitted
    

  • GNAT Pro | GPS | GNATbench
    Dec 17th, 2009

    New auto-fixes for style checks
    GPS is now able to auto-fix the following style errors:

       index number not allowed for one dimensional array
       index number required for multi-dimensional array
       "and then" required
       "or else" required
       subprogram body "something" not in alphabetical order
       redundant parentheses
       no statements may follow "then" on same line
       "in" should be omitted
    

  • PolyORB
    Dec 17th, 2009

    Renamed PolyORB project files
    The project files distributed with PolyORB have been renamed to include a "polyorb_" prefix, to avoid clashes with user project files.

  • Ada
    Dec 16th, 2009

    Open-DO conference 2010

    Combining Formality with Agility for Critical Software Development
    Event Date and Location: March 11, 2010 - Paris, France

    Agile methods promote a disciplined project management process that encourages frequent inspection and adaptation, a leadership philosophy that encourages teamwork, self-organization and accountability, a set of engineering best practices that allow for rapid delivery of high-quality software, and a business approach that aligns development with customer needs and company goals. Formal Methods Formal methods and tools promise to find tough corner-case bugs and provide exhaustive proofs of software properties, based on mathematical techniques that are used both for the specification of properties and their verification. Although formal methods and tools don't necessarily require PhDs in formal verification, they definitely require some expertise: someone has to know the tool well, understand how to write good formal properties, and know what to do when proofs don't complete.

    This conference brings together experts from the two fields and asks the question "Can Formality and Agility be combined?" to develop software that has to reach the highest levels of safety and security. Talks will examine the theoretical consolidation between these software development principles and industrial case studies will show how they are used in practice.

    Speakers include Paul Boca, Jim Woodcock, Herve Delseny, Peter Gardner, Rod Chapman, Cyrille Comar.

  • GNAT Pro | GPS | GNATbench
    Dec 16th, 2009

    New CodePeer menus
    The CodePeer integration now provides additional menus: Analyze Root Project, Analyze File, Remove SCIL and Remove SCIL & DB.

  • GNAT Pro | GPS | GNATbench
    Dec 16th, 2009

    New CodePeer menus
    The CodePeer integration now provides additional menus: Analyze Root Project, Analyze File, Remove SCIL and Remove SCIL & DB.

  • GNAT Pro | GPS | GNATbench
    Dec 16th, 2009

    Support for CodePeer
    GPS now includes support for the CodePeer static analysis tool, allowing to easily launch an automated code review on your project and display an interactive report of the review.

  • GNAT Pro
    Dec 15th, 2009

    Linker map now sort symbols in map file by address
    In the linker generated map file, the symbols are now sorted by address.

  • GNAT Pro
    Dec 14th, 2009

    GNATstack accepts Ada names as entry points
    Entry points for GNATstack can be specified using the Ada dot notation, in a case-insensitive manner.

  • GNAT Pro | GPS | GNATbench
    Dec 14th, 2009

    Changing background of views
    It is now possible to chose a background color of than white for views, by changing the Default Style preference. This was already doable for editors.

  • GNAT Pro | GPS | GNATbench
    Dec 14th, 2009

    Changing background of views
    It is now possible to chose a background color of than white for views, by changing the Default Style preference. This was already doable for editors.

  • GNAT Pro
    Dec 10th, 2009

    Elimination of dispatching operations by gnatelim
    Eliminate pragmas are now generated by gnatelim for dispatching operations that can never be called as a result of a dispatching call.

  • GNAT Pro
    Dec 10th, 2009

    New switch -p for addr2line
    The new switch -p makes addr2line pretty print the result. We advise to use this switch with -a -f.

  • GNAT Pro
    Dec 10th, 2009

    New message for gnatmake -m -v
    When gnatmake is invoked with -m and -v, each time there is a timestamp mismatch for a source, but the checksums are the same, a short message is issued saying so.

  • GNAT Pro | GPS | GNATbench
    Dec 10th, 2009

    All call-trees are now grouped into the same window
    The call trees are now sharing the same window. This avoids cluttering the GUI with multiple windows. It is also consistent with the location view for example.

  • GNAT Pro | GPS | GNATbench
    Dec 10th, 2009

    Better emulation of Emacs’s split features
    If you loaded the emacs.xml plugin, the control-x 2 and control-x 3 key shortcuts will now better emulate Emacs, and create new views of the editors, and properly reuse existing notebooks rather than create new ones

  • GNAT Pro | GPS | GNATbench
    Dec 10th, 2009

    Auto-fix “blank line not allowed at end of file”
    An auto fix is now provided for messages like "blank line not allowed at end of file".

  • GNAT Pro | GPS | GNATbench
    Dec 10th, 2009

    All call-trees are now grouped into the same window
    The call trees are now sharing the same window. This avoids cluttering the GUI with multiple windows. It is also consistent with the location view for example.

  • GNAT Pro | GPS | GNATbench
    Dec 10th, 2009

    Better emulation of Emacs’s split features
    If you loaded the emacs.xml plugin, the control-x 2 and control-x 3 key shortcuts will now better emulate Emacs, and create new views of the editors, and properly reuse existing notebooks rather than create new ones

  • GNAT Pro | GPS | GNATbench
    Dec 10th, 2009

    Auto-fix “blank line not allowed at end of file”
    An auto fix is now provided for messages like "blank line not allowed at end of file".

  • GNAT Pro
    Dec 9th, 2009

    Relax directory checks for externally built project
    When a library project is externally built, the different directories (library directory, library ALI directory, library copy source directory) may be any directory, including a source directory or the object directory.

  • GNAT Pro | GPS | GNATbench
    Dec 9th, 2009

    Auto-fix for “warning, var is unreferenced”
    When the compiler detects that a variable with a pragma unreferenced is used, and issue a warning, an auto-fix is now automatically offered.

  • GNAT Pro | GPS | GNATbench
    Dec 9th, 2009

    Auto-fix for “warning, var is unreferenced”
    When the compiler detects that a variable with a pragma unreferenced is used, and issue a warning, an auto-fix is now automatically offered.

  • GNAT Pro
    Dec 7th, 2009

    More efficient code for ‘Pos on AAMP target
    The GNAAMP compiler generates shorter code sequences when the Pos attribute is applied to a value of a type whose size is different than the type of the attribute's context (formerly involved an intermediate conversion to a 64-bit integer).

  • GNAT Pro
    Dec 7th, 2009

    Improved performance with many source directories
    When gnatmake is called with a project file, the project source directories are no longer searched for runtime sources, which results in a significant improvement in performance if there are many source directories.

  • GNAT Pro | GPRbuild
    Dec 7th, 2009

    New switch -x
    gprbuild no longer create an include path file to the compiler, except when the new switch -x is used. This is to improve performances.

  • PolyORB
    Dec 4th, 2009

    Embedded name server for DSA applications
    A small embedded name server can be optionally integrated in the main partition of a DSA application, to remove the requirement for a separate name server. This is achieved using pragma Name_Server (Embedded). Note that this currently also requires pragma Starter (Ada).

  • GNAT Pro | Ada Compiler
    Dec 2nd, 2009

    Qualifying Machine project launched on Open-DO

    A Qualifying Machine (QM) is an agile and lean infrastructure to ease DO-178 tool qualification. The main goal of a QM is to ease the manipulation of all artifacts within the whole application life cycle and to track the activities performed by the development team.

    Within Open-DO, we released an instantiation of the QM concept for GNATcheck, a coding standard checking tool qualifiable for DO-178. The infrastructure and qualification material (including the Tool Qualification Plan and the testing framework) are freely available as open source in the Open-DO forge. With this initiative, we intend to promote open collaborations in the high-assurance domain and to show how to deploy a lean and agile qualification process.

    You can get more information on the Open-DO Qualifying Machine and download its instantiation for GNATcheck here.

  • GNAT Pro | GPS | GNATbench
    Dec 2nd, 2009

    Auto-fix for unexpected tilde or percent in SPARK
    Semantic errors 317, 318, 319, 320 and 321 raised by SPARK Examiner complain about an unexpected or misplaced tilde or percent. An auto-fix for such errors is offered, which consists either in removing the offending tilde or percent, or in replacing it correctly.

  • GNAT Pro | GPS | GNATbench
    Dec 2nd, 2009

    Auto-fix for unexpected tilde or percent in SPARK
    Semantic errors 317, 318, 319, 320 and 321 raised by SPARK Examiner complain about an unexpected or misplaced tilde or percent. An auto-fix for such errors is offered, which consists either in removing the offending tilde or percent, or in replacing it correctly.

  • Ada
    Dec 1st, 2009

    GNAT Pro Insider Fall/Winter Edition available

    The fall/winter GNAT Pro Insider newsletter is now available for download. In this edition you will find stories on the following topics:

    • GNAT Pro High-Integrity Edition for MILS
    • Model-Based Design Projects Underway
    • Current Releases
    • In the Pipeline
    • Academia Corner: The Australian National University
    • Interview with Pat Rogers
    • Webinar Schedule
    • Contracts
    • Conferences/Events
    To download the newsletter please visit:
    http://www.adacore.com/home/company/press-center/

  • GNAT Pro | Ada Compiler
    Dec 1st, 2009

    GPRbuild 1.4 now available

    AdaCore is pleased to announce the immediate availability of GPRbuild 1.4.0 containing many improvements:

  • Enforcement of the use of a Standalone Library through its interface;
  • Ability to detect when the spec & body of the same unit are in different projects;
  • Completion of the recent work on option --no-indirect-imports that provides better encapsulation and organization of large multi-subsystem applications;
  • Support for recent configurations (e.g. Apple Snow leopard, LynxOS 5, ELinOS);
  • Major reduction of the # of necessary system calls significantly improving performances for big projects, especially when remote disks are used.
  • GNAT Pro
    Dec 1st, 2009

    Check for possible EXIT WHEN infinite loop
    The check for a possible infinite loop caused by a loop exit condition that does not appear to be modified by the loop body is now extended to cover the case of a loop exited with an EXIT WHEN statement.

  • GNAT Pro
    Dec 1st, 2009

    New switch -gnat-p to cancel previous -gnatp
    A new switch -gnat-p (/CHECKS=UNSUPPRESS_ALL in VMS) suppresses the effect of a previous -gnatp switch (/CHECKS=SUPPRESS_ALL in VMS).

  • GNAT Pro
    Dec 1st, 2009

    Enable large address awareness on 32-bit Windows
    Executables are now linked in a way that allows them to take advantage of memory beyond the 2GB limit on systems that support it.

  • GNAT Pro
    Dec 1st, 2009

    Optimize 2**K in more contexts
    The optimization of 2**K into a shift now occurs in more contexts. Before it happened only as the operand of multiplication or division. Now most stand alone references (e.g. X := 2**K) generate the optimized shift.

  • GNAT Pro
    Dec 1st, 2009

    ERC32/LEON, division by zero trap into exception
    The Extended Ravenscar run time for ERC32 and LEON now translates the division by zero software trap into a Constraint_Error exception.

  • GNAT Pro
    Nov 30th, 2009

    gnatpp option for Ada Standard style spacing
    A new '--RM-style-spacing' switch is added to gnatpp to specify the layout typical for Ada code examples given in the Ada Standard.

  • GNAT Pro | GPS | GNATbench
    Nov 30th, 2009

    Support for perspectives
    GPS's Multiple Document Interface now supports perspectives. These are activity-specific desktops (for instance one dedicated to debugging sessions, one to VCS operations,...) with their own set of windows. But editors are always visible in all of these, so switching to another perspective does not lose your current work.

  • GNAT Pro | GPS | GNATbench
    Nov 30th, 2009

    Support for perspectives
    GPS's Multiple Document Interface now supports perspectives. These are activity-specific desktops (for instance one dedicated to debugging sessions, one to VCS operations,...) with their own set of windows. But editors are always visible in all of these, so switching to another perspective does not lose your current work.

  • GNAT Pro
    Nov 26th, 2009

    New “notes” lines in ALI file
    Every occurrence of an Annotate, Comment, Ident, Subtitle or Title pragma in the source program causes a notes line (N in column one) to be output to the ALI file. These can be used by tools sensitive to these pragmas. One use is to control exemptions for the Couverture tool using pragma Annotate.

  • GNAT Pro | GPRbuild
    Nov 26th, 2009

    New switch -R
    gprbuid now recognizes the gnatmake switch -R. When this switch is specified, no run path option is used when linking executables and shared libraries.

  • GNAT Pro
    Nov 25th, 2009

    Check for recursion on calls to derived subprograms
    Compile-time checks for recursive calls now catch cases where a primitive subprogram makes a direct call to an inherited version of that subprogram.

  • GNAT Pro
    Nov 25th, 2009

    New switch -a for addr2line
    The new switch -a makes addr2line display the address before function name and file name.

  • GNAT Pro | GPS | GNATbench
    Nov 23rd, 2009

    Apply multiple code fixes at once
    A new menu "Auto-fix" is now available when right clicking on an error message associated with a fix, allowing the user to apply fixes to multiple messages at once.

  • GNAT Pro | GPS | GNATbench
    Nov 23rd, 2009

    Apply multiple code fixes at once
    A new menu "Auto-fix" is now available when right clicking on an error message associated with a fix, allowing the user to apply fixes to multiple messages at once.

  •    1  2  3     Next »