Description
C programs can be compiled with the development version of a compiler built around formal verification. It is useful for researchers and compiler users who want newer CompCert changes before a stable package catches up.
Development snapshots can change behavior more often than stable releases. Prefer the stable package for production builds unless the newer code is specifically needed.