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.9.tar.gz
sha512=485cbed95284c93124ecdea536e6fb9ea6a05a72477584204c8c3930759d27b0949041ae567044eda9b716a33bba4315665a8d3860deebf851e10c9a4ef88684

Description

Tags

category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2021-05-10

Published: 18 May 2021

Dependencies (5)

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

Dev Dependencies

None

Used by (1)

  1. coq-vst = "2.8"

Conflicts

None