package coq-vellvm
Coq library implementing (executable) semantics for LLVM IR
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.20250110.tar.gz
sha256=28ed7b9e441507d679f9cea5efce7bc02cd2e5568c37b52ea2d52dd57baef022
Description
Tags
date:2025-01-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: 11 Jan 2025
Dependencies (14)
-
coq-quickchick
>= "2.0.4" & < "2.0.5" -
coq-itree
>= "5.2.0" & < "5.3~" - coq-simple-io
- coq-mathcomp-ssreflect
-
coq-flocq
>= "4.2.0" - coq-ceres
- coq-paco
-
coq-ext-lib
>= "0.12.1" & < "0.13~" -
coq
>= "8.20.0" & < "8.21~" - qcheck
- menhir
-
dune
>= "3.14.0" - cppo
-
ocaml
>= "4.14.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page