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,e0008f8b55ddf67a,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!news4.google.com!news.glorb.com!news.ecp.fr!ciril.fr!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: AdaControl V1.6 released Date: Wed, 06 Dec 2006 16:44:39 +0100 Organization: Adalog Message-ID: <9ho6le.kbn.ln@hunter.axlog.fr> 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 1165421154 3195 195.25.228.57 (6 Dec 2006 16:05:54 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Wed, 6 Dec 2006 16:05:54 +0000 (UTC) User-Agent: Thunderbird 1.5.0.8 (Windows/20061025) Xref: g2news2.google.com comp.lang.ada:7822 Date: 2006-12-06T16:44:39+01:00 List-Id: Adalog is pleased to announce the release of version 1.6r8 of AdaControl, the free rule checker for Ada. Thanks to the support of our new customer SAGEM-DS and contributions from R. Toy, AdaControl now offers 216 possible checks. Of special interest are rules to check that header comments match a given pattern, indication of possible false positive and false negative due to non-statically analyzable constructs, fine definition of constructs allowed in entry barriers (including the one of the Ravenscar profile), even better integration into GPS, and much much more. As usual, AdaControl is provided under the GMGPL license, and can be downloaded from http://www.adalog.fr/adacontrol2.htm. AdaControl is a commercial product of Adalog; for information about support and assistance with AdaControl or more generally issues related to coding rules enforcement, please write to info@adalog.fr Enjoy! -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr