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 [RSS] [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, 1.0.3
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
Revised Revision 3 made by benselfridge at 2020-05-11T14:51:32Z
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-05-08T23:07:49Z
Distributions Arch:1.0.3, NixOS:1.0.3
Downloads 8558 total (184 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-05-09 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Candidates


Readme for bv-sized-1.0.0

[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