* AdaControl V1.6 released
@ 2006-12-06 15:44 Jean-Pierre Rosen
0 siblings, 0 replies; only message in thread
From: Jean-Pierre Rosen @ 2006-12-06 15:44 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-12-06 15:44 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-12-06 15:44 AdaControl V1.6 released Jean-Pierre Rosen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox