package coq-compcert

You can search for identifiers within the package.

in-package search v0.2.0

The CompCert C compiler (64 bit)

Install

Dune Dependency

compcert.inria.fr Edit opam file Versions (33)

Authors

Xavier Leroy

Maintainers

M

Michael Soegtrop

Sources

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 (5)

coq-menhirlib >= "20190626"
coq-flocq >= "4.1.0" & < "5~"
ocaml >= "4.05.0" & < "5~"
menhir >= "20190626" & <= "20250912"
coq >= "8.12.0" & < "8.18~"

Dev Dependencies

None

Used by (4)

coq-vcfloat < "2.2"
coq-vst = "2.12"
coq-vst-lib < "2.14"
coq-wasm < "2.0.2"

Conflicts

None

On This Page

Description
Dependencies (5)
Dev Dependencies
Used by (4)
Conflicts