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.12.tar.gz
sha512=fec9badf0051928cc876d8d06a82372973d0e853f345b38ce3ddb16bc0d932b5be88f8d1c270208444163742e9adcac22915bc1e6d495ec861b17474deb5f306

Description

Tags

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

Published: 01 Mar 2023

Dependencies (4)

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

Dev Dependencies (1)

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

Used by (4)

  1. coq-vcfloat < "2.2"
  2. coq-vst = "2.12"
  3. coq-vst-lib < "2.14"
  4. coq-wasm

Conflicts

None