Status of AdaControl

["J-P. Rosen" <rosen@adalog.fr>]

It's been a long time since the latest public release of AdaControl. But 
let me reassure my fellow users: AdaControl development and improvement 
never ceased, and Adalog is very active about it.

The latest wavefront versions are available on SourceForge 
(https://sourceforge.net/projects/adacontrol/) and GitHub 
(https://github.adalog.fr).

There is an issue with the community edition though:
Last year, AdaCore separated the ASIS generator from the regular 
compiler - it is a new program called asis-gcc.

asis-gcc is part of a package called Asistools which is distributed only 
to Pro users. It is not part of the CE edition. This does not affect 
only AdaControl: gnatcheck has also been removed.

There is no problem for Pro users, and our own supported users receive 
updates regularly.

Debian and FSF-Gnat users, as well as users who stay with CE2019, will 
still be able to compile AdaControl, however it may crash sometimes due 
to not incorporating fixes for the latest issues that were discovered 
with the new features of AdaContol. These have been reported to AdaCore 
(and fixed).

However, we are not able to provide a compiled version for CE2020 users, 
which is what prevents us from making a complete release. We are 
investigating solutions for these CE users that we, at Adalog, want to 
continue to fully support without restrictions!

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr