a³ release 9.08

New targets


New and extended AIS specifications

The user may use expressions within the following AIS annotations:

For more information, refer to the a³ manual, section “Expressions and their evaluation”.

Changes that affect the toolchain

Reconstruction of calls and control-flow (exec2crl)

Loop-bound and value analysis

Pipeline Analysis


Each a³ comes with a user documentation in PDF format. The documentation is up-to-date and the version number corresponds to the release version number.

Most important changes:

For updates of the documentation, please refer to its appendix “Document History”.