The latest version of bv-sized is 1.0.5-1.
bv-sized
Version 1.0.0 revision 1 uploaded by benselfridge.
Package meta
- Synopsis
- a BitVector datatype that is parameterized by the vector width
- Description
This module defines a width-parameterized BitVector type and various associated operations that assume a 2's complement representation.
- Author
- Ben Selfridge
- Bug reports
- n/a
- Category
- Bit Vectors
- Copyright
- Galois Inc., Ben Selfridge March 2018
- Homepage
- https://github.com/GaloisInc/bv-sized
- Maintainer
- benselfridge@galois.com
- Package URL
- n/a
- Stability
- n/a