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

[ bit-vectors, bsd3, library ] [ Propose Tags ] [ Report a vulnerability ]

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


[Skip to Readme]

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

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.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.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
Revised Revision 1 made by ryanglscott at 2024-01-17T18:24:23Z
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 2023-01-23T18:13:40Z
Distributions Arch:1.0.5, LTSHaskell:1.0.5, NixOS:1.0.5, Stackage:1.0.5
Reverse Dependencies 11 direct, 7 indirect [details]
Downloads 11822 total (97 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 2023-01-23 [all 1 reports]

Readme for bv-sized-1.0.5

[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