Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: fr.comp.lang.ada Subject: [Ann] Nouvelle version d'AdaControl Date: Wed, 22 Sep 2021 22:51:56 +0200 Organization: Adalog Lines: 33 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 22 Sep 2021 20:52:08 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="057ee52c28fbb797c7e5d28dc528bba6"; logging-data="28191"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+wpBWZEAsUl2ZI90Amat53" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 Cancel-Lock: sha1:LLglmt+Efhipv6z8PQU/1NrlFSM= Content-Language: fr X-Mozilla-News-Host: snews://reader80.eternal-september.org:563 Bytes: 2465 Adalog a le plaisir d'annoncer une nouvelle version d'AdaControl (1.22r15). Cette version comporte de nouvelles règles et des améliorations, atteignant 73 règles et 591 vérifications possibles. Parmi les améliorations notables, une règle pour détecter les exceptions connues; ceci inclue une fonction d'analyse en flot de données dont bénéficie d'autres règles également; une sous-règle pour détecter des affectations qui bénéficieraient de la nouvelle syntaxe "@" d'Ada 202X, ainsi que d'autres cas d'instructions simplifiables; une détection améliorée des instanciations de génériques redondantes, et beaucoup d'autres choses. On peut également définir son propre format de sortie, avec des exemples en formats Toml et Yaml. Comme d'habitude, la liste complète des améliorations et des nouvelles fonctionnalités se trouve dans le fichier HISTORY. La procédure d'installation a quelque peu changé, à cause de la décision d'AdaCore de ne pas fournir à la communauté les outils bien utiles qu'elle réserve à ses clients payant. Merci de lire les détails sur la page AdaControl, d'où vous pourrez télécharger cette version: https://www.adacontrol.fr Enjoy! -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52 https://www.adalog.fr