package coq-compcert
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 (5)
-
coq-menhirlib
>= "20190626" -
coq-flocq
>= "4.1.0" & < "5~" -
ocaml
>= "4.05.0" & < "5~" -
menhir
>= "20190626" & <= "20250912" -
coq
>= "8.12.0" & < "8.21~"
Dev Dependencies
None
Used by (5)
-
coq-certicoq
>= "0.9+8.19" -
coq-vcfloat
< "2.3" -
coq-vst
>= "2.13" & < "2.15" | = "3.0beta2" -
coq-vst-lib
< "2.15" -
coq-wasm
< "2.0.2"
Conflicts
None
On This Page