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.6.tar.gz
sha256=7a77839f6b990ab632ba14feccf4f17da189f0e3b95d6ce2ef0986e4caebc575

Description

Tags

category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2019-09-17

Published: 24 Oct 2019

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None