package coq-compcert

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

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.8.tar.gz
sha512=ba669eb2098eb80ba393404f45b814113cf9e1d9497b074f7158c8e3857fdfdf72a95c7b177b1342689cf802efd7e0004356a89bb010cbbf496fca8a4f9fbda7

Description

Tags

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

Published: 05 Dec 2020

Dependencies (5)

  1. coq-menhirlib >= "20190626" & <= "20210310"
  2. coq-flocq >= "3.1.0" & < "4~"
  3. ocaml >= "4.05.0"
  4. menhir >= "20190626" & <= "20210310"
  5. coq >= "8.8.0" & < "8.14"

Dev Dependencies

None

Used by (1)

  1. coq-vst >= "2.7" & < "2.8"

Conflicts

None