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]
Versions [faq] 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
Change log changelog.md
Dependencies base (>=4.10 && <5), bitwise (>=1.0.0 && <1.1), bytestring (==0.10.*), panic (>=0.4.0 && <0.5), parameterized-utils (>=2.0.2 && <2.2), 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 2020-08-30T15:41:45Z
Distributions Arch:1.0.2, NixOS:1.0.2
Downloads 5421 total (175 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-08-30 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for bv-sized-1.0.2

[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

  • contact: benselfridge@galois.com