Development Log

  • CodePeer
    Sep 28th, 2017

    Integration of GNAT warnings in CodePeer
    CodePeer can now collect GNAT warnings, add them into its database, and report them as any other warning messages. This is triggered by the new CodePeer switch "--gnat-warnings". More details are available in the user's guide.