IABSD.fr/ports/lang/compcert

Branch : - branch - master - tag -

• Show log

  Commit

• Author : daniel
  Date : 2025-05-25 16:46:54
  Hash : d6ca13ba
  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.

• Files
• Makefile
• distinfo
• patches
• pkg