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=unavailable autolearn_force=no version=3.4.4 Path: border1.nntp.ams3.giganews.com!border2.nntp.ams3.giganews.com!border2.nntp.ams2.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: [Ann] New version of AdaControl released Date: Thu, 11 Jul 2013 07:01:46 +0200 Organization: A noiseless patient Spider Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Injection-Date: Thu, 11 Jul 2013 04:56:00 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="2b3884a634d8f846e0712b4e3a92507a"; logging-data="4999"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18XXTb0VbVQKtSHT+tquRX+" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130620 Thunderbird/17.0.7 Cancel-Lock: sha1:HwHt87975Ci8eCrWPlu5SPZbby4= X-Enigmail-Version: 1.5.1 X-Original-Bytes: 1929 Xref: number.nntp.dca.giganews.com comp.lang.ada:182453 Date: 2013-07-11T07:01:46+02:00 List-Id: Adalog is pleased to announce the release of version 1.15r5 of AdaControl, featuring 452 possible checks, including a number of checks for Ada 2012 constructs like expression functions, quantifiers, if/case expressions... and of course "in out" parameters in functions! As usual, it is available on SourceForge (http://adacontrol.sourceforge.net) or from its home page (http://www.adalog.fr/adacontrol2.htm). AdaControl is free software (GMGPL) with commercial support available, see User's Guide. Don't hesitate to write to info@adalog.fr for more information on the great benefits of commercial support. Enjoy! -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr