Re: [Ann] Nouvelle version d'AdaControl

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!