@hackage bv-sized1.0.5

a bitvector datatype that is parameterized by the vector width

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

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

Installation
In your cabal file:
Dependencies (8)
- base >=4.11 && <5
- bytestring >=0.10 && <0.12
- deepseq >=1.4.0 && <1.5.0
- random >=1.2.0 && <1.3
- bitwise >=1.0.0 && <1.1
- panic >=0.4.0 && <0.5
Dependents (11)
@hackage/bv-sized-lens, @hackage/cryptol, @hackage/copilot-verifier, @hackage/acme-everything, @hackage/crucible-llvm, @hackage/copilot-theorem, Show all…