AdaControl V1.4 released

AdaControl V1.4 released

[Jean-Pierre Rosen]

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