Welcome to IntrastiBETA

Your curated library of the internet's finest content.

1 result
CompCert - Main page compcert.inria.fr [08/2026] CompCert 3.18 is available. This release improves the formal modeling of alignment constraints and the free() function, fixes a number of minor bugs, and adds full compatibility with Rocq 9.2.[03/2026] Qualification: the CompCert compiler was successfully qualified for the Multi-Function Computer New Generation (MFC_NG) of ATR 42/72 aircraft. For the first time, certification credits for compliance with DO-178C, DO-333, and DO-330 could be claimed for critical avionics software from