From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: AdaControl V1.4 released
Date: Thu, 22 Sep 2005 13:54:20 +0200
Date: 2005-09-22T13:54:20+02:00 [thread overview]
Message-ID: <d16ugd.l89.ln@hunter.axlog.fr> (raw)
Adalog is pleased to announce a new release of AdaControl, the free
rules checker for Ada.
Main new features:
------------------
Interactive mode, with new commands to check rules interactively and/or
try command files.
Better support of attributes
New rule type: count, allowing AdaControl to be used as a measuring tool.
Improvements to the framework
Small improvements, bug fixes, etc.
New rules:
----------
Declarations
Exception_Propagation
Naming_Convention
Real_Operators
Representation_Clauses
Side_Effect_Parameters
Simplifiable_Expressions
Specification_Objects
Statements
When_Others_Null
AdaControl is available from Adalog's component page at
http://www.adalog.fr/compo2.htm (for detailed information, the user
guide and programmer manual are directly accessible too).
AdaControl is a professional product, extensively tested on
Eurocontrol's software (thanks to P. Waroquiers). Adalog can provide
support and maintenance for AdaControl.
AdaControl is fully GMGPL, which means that you can use it for any
purpose and even reuse any part of it in any software. ASIS users: there
are some general-purpose utilities that can be very helpful!
Enjoy,
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
reply other threads:[~2005-09-22 11:54 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