Home
Name Modified Size InfoDownloads / Week
Older-Versions 2021-12-07
README 2021-12-07 1.5 kB
adacontrol_ug.html 2021-12-07 710.5 kB
adacontrol_pm.html 2021-12-07 75.8 kB
AdacontrolDashboard.zip 2021-09-11 1.6 MB
support.txt 2012-10-01 1.6 kB
download-from-git.txt 2012-08-29 4.8 kB
Totals: 17 Items   2.4 MB 11
Current stable version: 1.22r16c
--------------------------------

There are two executable distributions, depending on the tree
generator you want to use:

- "ce2019", to be used with Gnat Community Edition 2019 as the
  tree generator (this does not prevent using another version of Gnat
  as the regular compiler);

- "gnattools", to be used with asis-gcc which is part of AdaCore's
  GnatTools package.

To use AdaControl with any other version, please download the
source version and follow the installation instructions from the user
guide.

On Windows, both the source and executable versions are also provided
with a wizard that installs AdaControl automatically. The source
version wizard cares for all necessary compilations, however it
assumes that GNAT and ASIS have been installed on your computer.

See the user guide, including installation instructions, in
adacontrol_ug.html

Bleeding edge version
---------------------
A snapshot of work in progress is available under GIT. It is mainly
intended for those who want to participate in the development of
AdaControl (as opposed to casual users). See the programmer manual in
adacontrol_pm.html if you are interested.

Please refer to file download-from-git.txt for instructions on how to
get the current front-end version from GIT.

Commercial support
------------------
Commercial support is available for AdaControl. Please refer to file
support.txt for details.
Source: README, updated 2021-12-07