Loading...
News2019-01-31T16:32:48+00:00

a³ Release 18.10

New targets and compilers ------------- ● aiT for ARM now supports Cortex-M0 (STM32F0DISCOVERY) ● All tools for ARM now support the Wind River Diab C/C++ ARM [...]

October 17th, 2018|AbsInt, News|

CompCert Release 18.10

New features ------------ ● New versions of the isel/usel builtin functions for signed and unsigned long long as well as _Bool. ● CompCert now defines the [...]

October 17th, 2018|AbsInt, News|