package coq-vellvm
Coq library implementing (executable) semantics for LLVM IR
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.20240416.tar.gz
sha256=75a7d3c42fa894e1a17ed095875adc7d642f09ad244f32d1ac31f238852d5bec
Description
Tags
date:2023-03-04 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: 17 Apr 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