CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/05/25 10:46:54
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-configure
Added files:
lang/compcert/patches: patch-backend_PrintAsmaux_ml
Log message:
update compcert to latest git commit needed for rocq 8.20.1 support
Also add support for IBT/BTI in the binaries CompCert produces.
