Name | Modified | Size | Downloads / 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 | |
adactl-exe_linux_ce2019.tgz | 2021-12-07 | ||
adactl-exe_linux_gnattools.tgz | 2021-12-07 | ||
adactl-exe_setup_ce2019.exe | 2021-12-07 | ||
adactl-exe_setup_gnattools.exe | 2021-12-07 | ||
adactl-exe_windows_ce2019.zip | 2021-12-07 | ||
adactl-exe_windows_gnattools.zip | 2021-12-07 | ||
adactl-src.tgz | 2021-12-07 | ||
adactl-src.zip | 2021-12-07 | ||
adactl-src_setup.exe | 2021-12-07 | ||
adactl-exe_mac.zip | 2020-08-13 | ||
Totals: 17 Items | 2.4 MB | 1 |
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.