* [Ann] AdaRC: the Ada Rule Checker
@ 2005-04-13 14:26 Jean-Pierre Rosen
2005-04-13 16:02 ` Georg Bauhaus
0 siblings, 1 reply; 3+ messages in thread
From: Jean-Pierre Rosen @ 2005-04-13 14:26 UTC (permalink / raw)
Adalog is pleased to announce the availability of AdaRC, a tool that
checks style and programming rules in Ada programs.
But AdaRC is more than a set of rules: it is a complete framework,
intended to be easily extensible. If your favorite rule is not here, you
can add it yourself! And of course, we intend to extend the number of
rules in the future.
The development of AdaRC was funded by Eurocontrol. It is a mature tool
that has been used to check Eurocontrol's Ada software, over 1_100_000
SLOCs.
For a complete description of AdaRC, and download, please go to Adalog's
components page at http://www.adalog.fr/compo2.htm
AdaRC is distributed under the GMGPL: you are free to use it for any
purpose, or to reuse any part of it in any free or propriatory software.
Enjoy!
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2005-04-13 16:20 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-04-13 14:26 [Ann] AdaRC: the Ada Rule Checker Jean-Pierre Rosen
2005-04-13 16:02 ` Georg Bauhaus
2005-04-13 16:20 ` 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