@hackage bv-sized1.0.7

a bitvector datatype that is parameterized by the vector width

Categories
License
BSD-3-Clause
Maintainer
benselfridge@galois.com
Links
Versions
- 1.0.7 Sat, 24 Jan 2026
- 1.0.6 Wed, 5 Mar 2025
- 1.0.5 Wed, 17 Jan 2024
- 1.0.4 Fri, 8 Apr 2022
- 1.0.3 Sat, 24 Apr 2021
- 1.0.2 Sun, 30 Aug 2020

Installation
In your cabal file:
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.3
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.