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,307ec2c6457f1dda,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!newshub.sdsu.edu!newsfeed.news2me.com!newsfeed.icl.net!newsfeed.fjserv.net!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: AdaControl V1.4 released Date: Thu, 22 Sep 2005 13:54:20 +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 1127390488 13288 195.25.228.57 (22 Sep 2005 12:01:28 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Thu, 22 Sep 2005 12:01:28 +0000 (UTC) User-Agent: Mozilla Thunderbird 1.0.6 (Windows/20050716) X-Accept-Language: fr, en Xref: g2news1.google.com comp.lang.ada:5025 Date: 2005-09-22T13:54:20+02:00 List-Id: Adalog is pleased to announce a new release of AdaControl, the free rules checker for Ada. Main new features: ------------------ Interactive mode, with new commands to check rules interactively and/or try command files. Better support of attributes New rule type: count, allowing AdaControl to be used as a measuring tool. Improvements to the framework Small improvements, bug fixes, etc. New rules: ---------- Declarations Exception_Propagation Naming_Convention Real_Operators Representation_Clauses Side_Effect_Parameters Simplifiable_Expressions Specification_Objects Statements When_Others_Null AdaControl is available from Adalog's component page at http://www.adalog.fr/compo2.htm (for detailed information, the user guide and programmer manual are directly accessible too). AdaControl is a professional product, extensively tested on Eurocontrol's software (thanks to P. Waroquiers). Adalog can provide support and maintenance for AdaControl. AdaControl is fully GMGPL, which means that you can use it for any purpose and even reuse any part of it in any software. ASIS users: there are some general-purpose utilities that can be very helpful! Enjoy, -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr