bv-sized: a bitvector datatype that is parameterized by the vector width
This module defines a width-parameterized bitvector type and various associated operations.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- bv-sized-1.0.6.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.1.0.0, 0.1.1.0, 0.1.1.1, 0.2.0, 0.2.1, 0.3.0, 0.4.0, 0.5.0, 0.6.0, 0.7.0, 1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.0.5, 1.0.6 |
|---|---|
| Change log | changelog.md |
| Dependencies | 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.2), random (>=1.2.0 && <1.4), th-lift (>=0.8.1 && <0.9) [details] |
| License | BSD-3-Clause |
| Copyright | Galois Inc., Ben Selfridge March 2018 |
| Author | Ben Selfridge |
| Maintainer | benselfridge@galois.com |
| Category | Bit Vectors |
| Home page | https://github.com/GaloisInc/bv-sized |
| Source repo | head: git clone https://github.com/GaloisInc/bv-sized |
| Uploaded | by ryanglscott at 2025-03-05T20:32:17Z |
| Distributions | Arch:1.0.6, Fedora:1.0.6, LTSHaskell:1.0.6, NixOS:1.0.6, Stackage:1.0.6 |
| Reverse Dependencies | 13 direct, 9 indirect [details] |
| Downloads | 12291 total (68 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2025-03-05 [all 1 reports] |
Readme for bv-sized-1.0.6
[back to package description]
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