From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,86fbc9db05d7d5a2,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news2.google.com!proxad.net!freenix!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: [Ann] AdaRC: the Ada Rule Checker Date: Wed, 13 Apr 2005 16:26:31 +0200 Organization: Adalog Message-ID: NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: s1.news.oleane.net 1113403956 19844 195.25.228.57 (13 Apr 2005 14:52:36 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Wed, 13 Apr 2005 14:52:36 +0000 (UTC) User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206) X-Accept-Language: fr, en Xref: g2news1.google.com comp.lang.ada:10424 Date: 2005-04-13T16:26:31+02:00 List-Id: Adalog is pleased to announce the availability of AdaRC, a tool that checks style and programming rules in Ada programs. But AdaRC is more than a set of rules: it is a complete framework, intended to be easily extensible. If your favorite rule is not here, you can add it yourself! And of course, we intend to extend the number of rules in the future. The development of AdaRC was funded by Eurocontrol. It is a mature tool that has been used to check Eurocontrol's Ada software, over 1_100_000 SLOCs. For a complete description of AdaRC, and download, please go to Adalog's components page at http://www.adalog.fr/compo2.htm AdaRC is distributed under the GMGPL: you are free to use it for any purpose, or to reuse any part of it in any free or propriatory software. Enjoy! -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr