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.13
• deepseq lib:deepseq >=1.4.0 && <1.6
• 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