package coq-compcert

  1. Overview
  2. No Docs
The CompCert C compiler (only open source files + using coq-platform)

Install

Dune Dependency

compcert.inria.fr Edit opam file Versions (30)

Authors

  1. Xavier Leroy

Maintainers

  1. J
    Jacques-Henri Jourdan <jacques-Henri.jourdan@normalesup.org>

Sources

v3.7.tar.gz
sha256=ceee1b2ed6c2576cb66eb7a0f2669dcf85e65c0fc68385f0781b0ca4edb87eb0

Description

Tags

category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2020-04-29

Published: 06 May 2020

Dependencies (5)

  1. ocaml >= "4.05.0"
  2. menhir >= "20190626" & < "20200123"
  3. coq-menhirlib >= "20190626" & < "20200123"
  4. coq-flocq >= "3.2.1"
  5. coq >= "8.7.0" & < "8.12"

Dev Dependencies

None

Used by (1)

  1. coq-vst = "2.6"

Conflicts

None