Development Log    See All »

  • CodePeer
    Apr 24th, 2017

    -csv and -show-header
    Mixing -csv and -show-header with -output-msg was disallowed in CodePeer 17.1 because it generates a invalid CSV file. Since this option was found useful by some users, it's available again. It's up to the user to postprocess (e.g. split) the output if needed.

  • CodePeer
    Apr 24th, 2017

    -csv and -show-header
    Mixing -csv and -show-header with -output-msg was disallowed in CodePeer 17.1 because it generates a invalid CSV file. Since this option was found useful by some users, it's available again. It's up to the user to postprocess (e.g. split) the output if needed.

  • CodePeer
    Apr 20th, 2017

    Show-header displays current and base “run” numbers
    If the "-show-header" flag is passed to codepeer after the "-output-msg[-only]" flag, two additional header lines are now displayed, with the form "current run number 7" and "base run number 2". The run numbers identify which execution of CodePeer produced the output, and which execution was used as the "baseline" for comparison for the purpose of identifying "added" or "removed" messages. In addition the date displayed in the header now corresponds to when the results were produced, rather than when they are being displayed.

Documentation    See All »

  • AUnit Cookbook

    This is a short guide for using the AUnit test framework. AUnit is an adaptation of the Java JUnit (Kent Beck, Erich Gamma) and C++ CppUnit (M. Feathers, J. Lacoste, E. Sommerlade, B. Lepilleur, B. Bakker, S. Robbins) unit test frameworks for Ada code.

  • GNATbench for WRS Workbench User’s Guide

    This User’s Guide describes how to use the GNATbench Ada plug-in for Windriver Workbench . Specific help is provided for configuring projects, building systems, and debugging.

  • QGen User Guide

    This is the user documentation for QGen, a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink® and Stateflow® models.

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