Skip to content

Commit 2e2da2c

Browse files
qaristoteqaristote
authored
Merge pull request #10 from tweag/qa/metadata
Prepare metadata for Hackage release
2 parents 19ef8b9 + 0257410 commit 2e2da2c

File tree

4 files changed

+145
-86
lines changed

4 files changed

+145
-86
lines changed

‎Z3/smtlib-backends-z3.cabal

Lines changed: 55 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -1,42 +1,63 @@
1-
name: smtlib-backends-z3
2-
version: 0.1
3-
synopsis: An SMT-LIB backend implemented using Z3's C API.
4-
description: This library implements an SMT-LIB backend (in the sense of the smtlib-backends package) using inlined calls to Z3's C API. It is thus in particular much faster than the standard backends relying on running solvers as external processes.
5-
license: MIT
6-
license-file: LICENSE
7-
author: Quentin Aristote
8-
maintainer: quentin.aristote@tweag.io
9-
build-type: Simple
10-
cabal-version: >=1.10
1+
name: smtlib-backends-z3
2+
version: 0.1
3+
synopsis: An SMT-LIB backend implemented using Z3's C API.
4+
description:
5+
This library implements an SMT-LIB backend (in the sense of the smtlib-backends package) using inlined calls to Z3's C API. It is thus in particular much faster than the standard backends relying on running solvers as external processes.
6+
7+
license: MIT
8+
license-file: LICENSE
9+
author: Quentin Aristote
10+
maintainer: quentin.aristote@tweag.io
11+
build-type: Simple
12+
category: SMT
13+
cabal-version: >=1.10
14+
15+
source-repository head
16+
type: git
17+
location: https://github.com/tweag/smtlib-backends
18+
subdir: Z3
19+
20+
source-repository this
21+
type: git
22+
location: https://github.com/tweag/smtlib-backends
23+
tag: 0.1
24+
subdir: Z3
1125

1226
library
13-
hs-source-dirs: src
14-
ghc-options: -Wall -Wunused-packages
15-
exposed-modules: SMTLIB.Backends.Z3
16-
build-depends: base >= 4.15,
17-
smtlib-backends,
18-
containers >= 0.6,
19-
bytestring >= 0.10,
20-
inline-c
27+
hs-source-dirs: src
28+
ghc-options: -Wall -Wunused-packages
29+
exposed-modules: SMTLIB.Backends.Z3
30+
build-depends:
31+
base >=4.15 && <4.17.0
32+
, bytestring >=0.10
33+
, containers >=0.6
34+
, inline-c
35+
, smtlib-backends
36+
2137
-- inspired from haskell-z3
22-
if os(darwin) || os(windows)
23-
extra-libraries:
24-
z3
38+
if (os(osx) || os(windows))
39+
extra-libraries: z3
40+
2541
else
2642
extra-libraries:
27-
gomp z3 gomp
43+
gomp
44+
z3
45+
gomp
46+
2847
default-language: Haskell2010
2948

3049
test-suite test
31-
type: exitcode-stdio-1.0
32-
hs-source-dirs: tests
33-
main-is: Main.hs
34-
ghc-options: -threaded -Wall -Wunused-packages
35-
build-depends: base >= 4.15,
36-
bytestring >= 0.10,
37-
smtlib-backends,
38-
smtlib-backends-z3,
39-
smtlib-backends-tests,
40-
tasty,
41-
tasty-hunit >= 0.10
42-
default-language: Haskell2010
50+
type: exitcode-stdio-1.0
51+
hs-source-dirs: tests
52+
main-is: Main.hs
53+
ghc-options: -threaded -Wall -Wunused-packages
54+
build-depends:
55+
base >=4.15
56+
, bytestring >=0.10
57+
, smtlib-backends
58+
, smtlib-backends-tests
59+
, smtlib-backends-z3
60+
, tasty
61+
, tasty-hunit >=0.10
62+
63+
default-language: Haskell2010

‎flake.nix

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,7 @@
3838
cabal-install
3939
hlint
4040
haskell-language-server
41+
cabal-fmt
4142
])
4243
++ [pkgs.z3];
4344

‎smtlib-backends.cabal

Lines changed: 54 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -1,36 +1,58 @@
1-
name: smtlib-backends
2-
version: 0.1
3-
synopsis: A library providing low-level functions for SMT-LIB-based interaction with SMT solvers.
4-
description: This library provides an extensible interface for interacting with SMT solvers using SMT-LIB. It has built-in support for running solvers as external processes, and the smtlib-backends-z3 package provides a backend that uses inlined call to Z3's C API.
5-
license: MIT
6-
license-file: LICENSE
7-
author: Quentin Aristote
8-
maintainer: quentin.aristote@tweag.io
9-
build-type: Simple
10-
cabal-version: >=1.10
1+
name: smtlib-backends
2+
version: 0.1
3+
synopsis:
4+
Low-level functions for SMT-LIB-based interaction with SMT solvers.
5+
6+
description:
7+
This library provides an extensible interface for interacting with SMT solvers using SMT-LIB. It has built-in support for running solvers as external processes, and the smtlib-backends-z3 package provides a backend that uses inlined calls to Z3's C API.
8+
9+
license: MIT
10+
license-file: LICENSE
11+
author: Quentin Aristote
12+
maintainer: quentin.aristote@tweag.io
13+
build-type: Simple
14+
category: SMT
15+
cabal-version: >=1.10
16+
17+
source-repository head
18+
type: git
19+
location: https://github.com/tweag/smtlib-backends
20+
21+
source-repository this
22+
type: git
23+
location: https://github.com/tweag/smtlib-backends
24+
tag: 0.1
1125

1226
library
13-
hs-source-dirs: src
14-
ghc-options: -Wall -Wunused-packages
15-
exposed-modules: SMTLIB.Backends
16-
SMTLIB.Backends.Process
17-
other-extensions: Safe
18-
build-depends: base >=4.8 && <10,
19-
async,
20-
bytestring >= 0.10,
21-
typed-process
22-
default-language: Haskell2010
27+
hs-source-dirs: src
28+
ghc-options: -Wall -Wunused-packages
29+
exposed-modules:
30+
SMTLIB.Backends
31+
SMTLIB.Backends.Process
32+
33+
other-extensions: Safe
34+
build-depends:
35+
async
36+
, base >=4.15 && <4.17.0
37+
, bytestring >=0.10
38+
, typed-process
39+
40+
default-language: Haskell2010
2341

2442
test-suite test
25-
type: exitcode-stdio-1.0
26-
hs-source-dirs: tests/src
27-
main-is: Main.hs
28-
other-modules: SMTLIB.Backends.Tests
29-
SMTLIB.Backends.Tests.Sources
30-
ghc-options: -threaded -Wall -Wunused-packages
31-
build-depends: base >= 4.15,
32-
bytestring >= 0.10,
33-
smtlib-backends,
34-
tasty,
35-
tasty-hunit
36-
default-language: Haskell2010
43+
type: exitcode-stdio-1.0
44+
hs-source-dirs: tests/src
45+
main-is: Main.hs
46+
other-modules:
47+
SMTLIB.Backends.Tests
48+
SMTLIB.Backends.Tests.Sources
49+
50+
ghc-options: -threaded -Wall -Wunused-packages
51+
build-depends:
52+
base >=4.15 && <4.17.0
53+
, bytestring >=0.10
54+
, smtlib-backends
55+
, tasty
56+
, tasty-hunit
57+
58+
default-language: Haskell2010

‎tests/smtlib-backends-tests.cabal

Lines changed: 35 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,38 @@
1-
name: smtlib-backends-tests
2-
version: 0.1
3-
synopsis: Testing SMT-LIB backends.
4-
description: This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library.
5-
license: MIT
6-
license-file: LICENSE
7-
author: Quentin Aristote
8-
maintainer: quentin.aristote@tweag.io
9-
build-type: Simple
10-
cabal-version: >=1.10
1+
name: smtlib-backends-tests
2+
version: 0.1
3+
synopsis: Testing SMT-LIB backends.
4+
description:
5+
This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library.
6+
7+
license: MIT
8+
license-file: LICENSE
9+
author: Quentin Aristote
10+
maintainer: quentin.aristote@tweag.io
11+
build-type: Simple
12+
category: SMT, Testing
13+
cabal-version: >=1.10
14+
15+
source-repository head
16+
type: git
17+
location: https://github.com/tweag/smtlib-backends
18+
subdir: tests
19+
20+
source-repository this
21+
type: git
22+
location: https://github.com/tweag/smtlib-backends
23+
tag: 0.1
24+
subdir: tests
1125

1226
library
13-
ghc-options: -Wall -Wunused-packages
14-
hs-source-dirs: src
15-
main-is: Main.hs
16-
exposed-modules: SMTLIB.Backends.Tests
17-
other-modules: SMTLIB.Backends.Tests.Sources
18-
build-depends: base >= 4.15,
19-
bytestring >= 0.10,
20-
smtlib-backends,
21-
tasty,
22-
tasty-hunit
27+
ghc-options: -Wall -Wunused-packages
28+
hs-source-dirs: src
29+
exposed-modules: SMTLIB.Backends.Tests
30+
other-modules: SMTLIB.Backends.Tests.Sources
31+
build-depends:
32+
base >=4.15 && <4.17.0
33+
, bytestring >=0.10
34+
, smtlib-backends
35+
, tasty
36+
, tasty-hunit
37+
2338
default-language: Haskell2010

0 commit comments

Comments
 (0)