@hackage bv-sized1.0.1

a bitvector datatype that is parameterized by the vector width

Categories
License
BSD-3-Clause
Maintainer
benselfridge@galois.com
Links
Versions
- 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
- 1.0.1 Thu, 14 May 2020

Installation
In your cabal file:
Dependencies (6)
- base >=4.10 && <5
- bytestring >=0.10 && <0.11
- bitwise >=1.0.0 && <1.1
- panic >=0.4.0 && <0.5
- parameterized-utils >=2.0.2 && <2.2
- th-lift >=0.8.1 && <0.9
Dependents (12)
@hackage/crucible-syntax, @hackage/bv-sized-lens, @hackage/cryptol, @hackage/copilot-verifier, @hackage/acme-everything, @hackage/crucible-llvm, Show all…

This module defines a width-parameterized bitvector type and various associated operations.