AdaControl V1.6 released

[Jean-Pierre Rosen <rosen@adalog.fr>]

Adalog is pleased to announce the release of version 1.6r8 of 
AdaControl, the free rule checker for Ada.

Thanks to the support of our new customer SAGEM-DS and contributions 
from R. Toy, AdaControl now offers 216 possible checks.

Of special interest are rules to check that header comments match a 
given pattern, indication of possible false positive and false negative 
due to non-statically analyzable constructs, fine definition of 
constructs allowed in entry barriers (including the one of the Ravenscar 
profile), even better integration into GPS, and much much more.

As usual, AdaControl is provided under the GMGPL license, and can be 
downloaded from http://www.adalog.fr/adacontrol2.htm.

AdaControl is a commercial product of Adalog; for information about 
support and assistance with AdaControl or more generally issues related 
to coding rules enforcement, please write to info@adalog.fr

Enjoy!
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr