package coq-compcert
The CompCert C compiler (64 bit)
Install
Dune Dependency
Authors
Maintainers
Sources
v3.13.tar.gz
sha512=a1d493ad9d85c54cd3b5f6cbf0a01b4568044a5df1357366bc18afc82ceefec8bb431d163ab4743e2962d5c77f9becdbffec79604f3cf738ee6b21b35a7fadf7
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: 11 Sep 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.19~"
Dev Dependencies
None
Used by (3)
-
coq-vcfloat
< "2.3" -
coq-vst-lib
< "2.15" -
coq-wasm
< "2.0.2"
Conflicts
None
On This Page