package coq-compcert
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
The CompCert C compiler (64 bit)
Install
Dune Dependency
Authors
Maintainers
Sources
v3.13.1.tar.gz
sha512=828a2f700e32400fc9d3ad2265b67194c48b10fef7f4b6bc1ed5a35d556088cc7defb697faf38c8b871b5b55e58e05f563e827255d2fc9bb964ac5f2cc1024d0
Description
Tags
category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2023-07-04Published: 17 Oct 2023
Dependencies (4)
-
coq-menhirlib
>= "20190626" -
coq-flocq
>= "4.1.0" & < "5~" -
ocaml
>= "4.05.0" & < "5~" -
coq
>= "8.12.0" & < "8.21~"
Dev Dependencies (1)
-
menhir
>= "20190626" & != "dev"
Used by (5)
-
coq-certicoq
>= "0.9+8.19" - coq-vcfloat
-
coq-vst
>= "2.13" - coq-vst-lib
- coq-wasm
Conflicts
None
On This Page