Home
Linux temps réel embarqué et outils de développements Technique





adacontrol

adacontrol An Ada rules controller
Priority
Sectiondevel
Installed size 3640
Maintainer Ludovic Brenta <lbrenta@debian.org>
Architecture i386
Version 1.6r8-1
Depends gnat-4.1, libasis2005, libc6 (>= 2.3.6-6), libgcc1 (>= 1
Suggests gnat, gnat-3.2
File name pool/main/a/adacontrol/adacontrol_1.6r8-1_i386.deb
Description AdaControl verifies 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.


©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S