☰

CompCert release 25.04

New features

New command-line option -midiv that enables the generation of hardware integer division instructions for ARM targets that only optionally support them.
Added minimal syntactic support for type _Float16.

© AbsInt. CompCert is developed and distributed by AbsInt under license from INRIA.
Legal notices. Privacy policy.
URL: https://www.absint.com/releasenotes/compcert/25.04/index.htm