Development Log

  • GNAT Pro
    Apr 12th, 2008

    Better handling of compiler checks in gnatcheck
    A -R switch is implemented for the 'Restrictions' gnatcheck rule. This allows the check for a specified restriction to be turned off. In addition the list of warnings and style checks known to gnatcheck has been updated.