-
Notifications
You must be signed in to change notification settings - Fork 3
/
bv-sized.cabal
54 lines (51 loc) · 2.05 KB
/
bv-sized.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
name: bv-sized
version: 1.0.4.99
category: Bit Vectors
synopsis: a bitvector datatype that is parameterized by the vector width
description:
This module defines a width-parameterized bitvector type and various associated operations.
extra-source-files: changelog.md
homepage: https://github.com/GaloisInc/bv-sized
license: BSD3
license-file: LICENSE
author: Ben Selfridge
maintainer: [email protected]
copyright: Galois Inc., Ben Selfridge March 2018
build-type: Simple
cabal-version: >=1.10
extra-source-files: README.md
source-repository head
type: git
location: https://github.com/GaloisInc/bv-sized
library
exposed-modules: Data.BitVector.Sized
Data.BitVector.Sized.Signed
Data.BitVector.Sized.Unsigned
Data.BitVector.Sized.Overflow
other-modules: Data.BitVector.Sized.Internal
Data.BitVector.Sized.Panic
build-depends: base >= 4.11 && <5,
bitwise >= 1.0.0 && < 1.1,
bytestring >= 0.10 && < 0.12,
deepseq >= 1.4.0 && < 1.5.0,
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
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall -Wcompat
test-suite bv-sized-tests
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Main.hs
build-depends: base,
bv-sized,
bytestring,
hedgehog,
MonadRandom >= 0.5.3 && < 0.6,
parameterized-utils,
tasty >= 1.2.3 && < 1.5,
tasty-hedgehog >= 1.0.0.2 && < 1.2
default-language: Haskell2010
ghc-options: -Wall -Wcompat