package coq-compcert

  1. Overview
  2. No Docs
The CompCert C compiler

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-03-21

Published: 06 May 2020

Dependencies (3)

  1. ocaml >= "4.05.0"
  2. menhir >= "20190626" & < "20200123"
  3. coq >= "8.7.0" & < "8.12"

Dev Dependencies

None

Used by

None

Conflicts

None