Path: ...!news.misty.com!2.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!cleanfeed2-b.proxad.net!nnrp1-1.free.fr!not-for-mail
Subject: Re: [Ann] Nouvelle version d'AdaControl
Newsgroups: fr.comp.lang.ada
References: <sig51o$rgv$1@dont-email.me>
From: DrPi <314@drpi.fr>
Date: Thu, 23 Sep 2021 19:07:53 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Thunderbird/78.14.0
MIME-Version: 1.0
In-Reply-To: <sig51o$rgv$1@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Lines: 42
Message-ID: <614cb469$0$20279$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 23 Sep 2021 19:07:53 CEST
NNTP-Posting-Host: 82.65.30.55
X-Trace: 1632416873 news-1.free.fr 20279 82.65.30.55:61400
X-Complaints-To: abuse@proxad.net
Bytes: 2650

Bonjour Jean-Pierre,


Le 22/09/2021 à 22:51, J-P. Rosen a écrit :
> 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
> 
C'est une bonne nouvelle.

J'ai suivi le problème de ASIS de loin. J'ai du mal à comprendre le 
problème. Si j'ai bien compris, ASIS est un projet open source, non ?
Si c'est le cas, qu'est-ce qui empêche de l'utiliser en dehors des 
conditions fixées par AdaCore ?

Cordialement,
Nicolas

> Enjoy!
>