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.