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. M
    Michael Soegtrop

Sources

v3.11.tar.gz
sha512=02240113c7ad9155b76a99ea73c454a70cffa9efbaf92bbb70bc6d4901a2b1f36082713ea64b315b15384bca6a11459e6d2313701156bd16bdf2ad1ec10d67aa

Description

Tags

category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2022-06-27

Published: 01 Jul 2022

Dependencies (4)

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

Dev Dependencies (1)

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

Used by (6)

  1. coq-certicoq < "0.9+8.19"
  2. coq-freesim
  3. coq-vcfloat < "2.1.1"
  4. coq-vst >= "2.10" & < "2.12"
  5. coq-vst-lib < "2.14"
  6. coq-wasm

Conflicts

None