lib:bv

Modules

• Data.BitVector

Dependencies

• base lib:base >=4.6 && <5
• ghc-prim lib:ghc-prim >=0
• integer-gmp lib:integer-gmp >=0.5.1

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• funcons-tools exe:funcons-repl
• funcons-tools exe:runfct
• funcons-tools lib:funcons-tools
• funcons-values lib:funcons-values
• haquil lib:haquil
• haquil test:haquil-test
• libriscv exe:riscv-tiny
• libriscv lib:libriscv
• libriscv lib:libriscv-internal
• libriscv test:test
• resolve lib:resolve