comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: [Ann] New version of AdaControl
Date: Wed, 8 Dec 2021 17:51:44 +0100	[thread overview]
Message-ID: <soqnqu$7e9$1@dont-email.me> (raw)

AdaControl 1.22r16c is mainly a bug fix release (no new rule), but 
improvements in the static evaluator provides better results and avoids 
false positives in several rules.

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

                 reply	other threads:[~2021-12-08 16:51 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox