bv-sized: a bitvector datatype that is parameterized by the vector width

[ bit-vectors, bsd3, library ] [ Propose Tags ]

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


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

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
Change log changelog.md
Dependencies base (>=4.11 && <5), bitwise (>=1.0.0 && <1.1), bytestring (>=0.10 && <0.12), deepseq (>=1.4.0 && <1.5.0), panic (>=0.4.0 && <0.5), parameterized-utils (>=2.0.2 && <2.2), random (>=1.2.0 && <1.3), 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 benselfridge at 2022-04-08T23:38:18Z
Distributions Arch:1.0.5, NixOS:1.0.5
Reverse Dependencies 11 direct, 7 indirect [details]
Downloads 11057 total (78 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 2022-04-09 [all 1 reports]

Readme for bv-sized-1.0.4

[back to package description]

Build Status

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