@hackage bv-sized0.2.1

a BitVector datatype that is parameterized by the vector width

Categories
License
BSD-3-Clause
Maintainer
benselfridge@galois.com
Links
- Homepage
- Documentation
- No source repository
- Security
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 (7)
- base >=4.7 && <5
- containers >=0.5.11 && <0.6
- random >=1.1 && <1.2
- QuickCheck >=2.11 && <2.12
- lens >=4 && <5
- parameterized-utils
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 that assume a 2's complement representation.