The latest version of bv-sized is 1.0.5-1.
lib:bv-sized
Modules
- Data.BitVector.Sized
- Data.BitVector.Sized.Overflow
- Data.BitVector.Sized.Signed
- Data.BitVector.Sized.Unsigned
Dependencies
- base lib:base >=4.11 && <5
- bitwise lib:bitwise >=1.0.0 && <1.1
- bytestring lib:bytestring >=0.10 && <0.12
- deepseq lib:deepseq >=1.4.0 && <1.5.0
- panic lib:panic >=0.4.0 && <0.5
- parameterized-utils lib:parameterized-utils >=2.0.2 && <2.2
- random lib:random >=1.2.0 && <1.3
- th-lift lib:th-lift >=0.8.1 && <0.9
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- bv-sized test:bv-sized-tests
- bv-sized test:bv-tests
- bv-sized-lens lib:bv-sized-lens
- copilot-theorem lib:copilot-theorem
- cryptol lib:cryptol
- what4 lib:what4
- what4 test:adapter-test
- what4 test:expr-builder-smtlib2
- what4 test:exprs_tests
- what4 test:iteexprs_tests
- what4 test:online-solver-test
- what4 test:template_tests