@hackage bv-sized1.0.2
a bitvector datatype that is parameterized by the vector width
Installation
Dependencies (6)
- base >=4.10 && <5
- bitwise >=1.0.0 && <1.1
- bytestring >=0.10 && <0.11
- panic >=0.4.0 && <0.5
- parameterized-utils >=2.0.2 && <2.2
- th-lift >=0.8.1 && <0.9 Show all…
Dependents (13)
@hackage/crucible-syntax, @hackage/bv-sized-lens, @hackage/cryptol, @hackage/copilot-verifier, @hackage/acme-everything, @hackage/crucible-llvm, Show all…
bv-sized - A Haskell library for manipulating width-parameterized bitvectors
copyright (c) Ben Selfridge, Galois Inc. 2018
This library defines a bitvector datatype that is parameterized by the vector width.
Other information
- contact: benselfridge@galois.com