Development Log

  • GNAT Pro
    May 2nd, 2017

    New gnatcheck rule Representation_Specifications
    This rule flags aspect_clauses (formerly known as representation_clauses) and aspect_specifications that define representation aspects.