Tree [8f466e] master /
History



File Date Author Commit
AdaGide 2011-08-08 JP Rosen JP Rosen [aab622] New release 1.7r9
GPS 2013-06-16 JP Rosen JP Rosen [4ccfcc] Merge branch 'master-old_gnat' and adjustments
doc 2014-05-26 JP Rosen JP Rosen [4f9ae9] Set version to 1.16r11
emacs 2013-04-24 JP Rosen JP Rosen [b76620] Merge branch 'master-old_gnat'
rules 2013-06-16 JP Rosen JP Rosen [4ccfcc] Merge branch 'master-old_gnat' and adjustments
src 2014-06-05 unknown unknown [8f466e] Mantis 0000038, bug with reduceable_scope and i...
test 2014-06-05 unknown unknown [8f466e] Mantis 0000038, bug with reduceable_scope and i...
.gitignore 2014-04-09 JP Rosen JP Rosen [ce9138] Added mention of support for docs in .txt forma...
COPYING 2011-08-08 JP Rosen JP Rosen [9c4dc5] Initial commit
HISTORY 2014-06-05 unknown unknown [8f466e] Mantis 0000038, bug with reduceable_scope and i...
adactl.gpr 2013-04-24 JP Rosen JP Rosen [b76620] Merge branch 'master-old_gnat'
readme.txt 2011-08-08 JP Rosen JP Rosen [08a0e0] New release 1.10r8

Read Me

AdaControl is an Ada rules controller. It is used to control that Ada
software meets the requirements of a number of parameterizable
rules. It is not intended to supplement checks made by the compiler,
but rather to search for particular violations of good-practice rules,
or to check that some rules are obeyed project-wide.

Please refer to the User's guide for information about how to install
and run AdaControl. If you used the automatic setup under Windows,
everything is installed and the guide is accessible from the
"Help/Adacontrol/User guide" menu from GPS.

Otherwise you'll find the guides in a variety of formats
(adacontrol_ug.html, adacontrol_ug.pdf or adacontrol_ug.info) in the
"doc" directory of the installation.

Commercial support is available for AdaControl; please refer to
doc/support.txt for details.