package coq-vellvm
Coq library implementing (executable) semantics for LLVM IR
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.20240610.tar.gz
sha256=17d932d07dc7e3ad5a6b99e200159e301558cd4379beacb12a6a032b0d0390fe
Description
Tags
date:2024-06-10 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:semantics keyword:interpreter keyword:LLVM logpath:VellvmPublished: 12 Jun 2024
Dependencies (14)
-
coq-quickchick
>= "2.0.2" & < "2.0.3" -
coq-itree
>= "5.1.2" & < "5.2~" - coq-simple-io
- coq-mathcomp-ssreflect
-
coq-flocq
>= "4.1.1" - coq-ceres
- coq-paco
-
coq-ext-lib
< "0.12.1" -
coq
>= "8.19.0" & < "8.20~" - qcheck
- menhir
-
dune
>= "2.8" - cppo
-
ocaml
>= "4.14.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page