package coq-compcert

  1. Overview
  2. No Docs
The CompCert C compiler (64 bit)

Install

Dune Dependency

compcert.org Edit opam file Versions (29)

Authors

  1. Xavier Leroy

Maintainers

  1. Xavier Leroy

Sources

v3.14.tar.gz
sha512=5b3bdba47989f99340fc3e53e76c4994104cb884af123a09e867f5e66a3fc827e5290879a786dbdcda2fa5419210ffc151b5d6e9b4a459e29ca289fd5c12b19a

Description

Tags

category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2024-05-02

Published: 08 May 2024

Dependencies (4)

  1. coq-menhirlib >= "20190626"
  2. coq-flocq >= "4.1.0" & < "5~"
  3. ocaml >= "4.05.0" & < "5~"
  4. coq >= "8.12.0" & < "8.21~"

Dev Dependencies (1)

  1. menhir >= "20190626" & != "dev"

Conflicts

None