@hackage bv-sized1.0.7
a bitvector datatype that is parameterized by the vector width
Installation
Dependencies (8)
- base >=4.11 && <5
- bitwise >=1.0.0 && <1.1
- bytestring >=0.10 && <0.13
- deepseq >=1.4.0 && <1.6
- panic >=0.4.0 && <0.5
- parameterized-utils >=2.0.2 && <2.4 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
This library defines a bitvector datatype that is parameterized by the bit width.