generated from tweag/project
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #10 from tweag/qa/metadata
Prepare metadata for Hackage release
- Loading branch information
Showing
4 changed files
with
145 additions
and
86 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,42 +1,63 @@ | ||
| name: smtlib-backends-z3 | ||
| version: 0.1 | ||
| synopsis: An SMT-LIB backend implemented using Z3's C API. | ||
| 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. | ||
| license: MIT | ||
| license-file: LICENSE | ||
| author: Quentin Aristote | ||
| maintainer: quentin.aristote@tweag.io | ||
| build-type: Simple | ||
| cabal-version: >=1.10 | ||
| name: smtlib-backends-z3 | ||
| version: 0.1 | ||
| synopsis: An SMT-LIB backend implemented using Z3's C API. | ||
| 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. | ||
|
|
||
| license: MIT | ||
| license-file: LICENSE | ||
| author: Quentin Aristote | ||
| maintainer: quentin.aristote@tweag.io | ||
| build-type: Simple | ||
| category: SMT | ||
| cabal-version: >=1.10 | ||
|
|
||
| source-repository head | ||
| type: git | ||
| location: https://github.com/tweag/smtlib-backends | ||
| subdir: Z3 | ||
|
|
||
| source-repository this | ||
| type: git | ||
| location: https://github.com/tweag/smtlib-backends | ||
| tag: 0.1 | ||
| subdir: Z3 | ||
|
|
||
| library | ||
| hs-source-dirs: src | ||
| ghc-options: -Wall -Wunused-packages | ||
| exposed-modules: SMTLIB.Backends.Z3 | ||
| build-depends: base >= 4.15, | ||
| smtlib-backends, | ||
| containers >= 0.6, | ||
| bytestring >= 0.10, | ||
| inline-c | ||
| hs-source-dirs: src | ||
| ghc-options: -Wall -Wunused-packages | ||
| exposed-modules: SMTLIB.Backends.Z3 | ||
| build-depends: | ||
| base >=4.15 && <4.17.0 | ||
| , bytestring >=0.10 | ||
| , containers >=0.6 | ||
| , inline-c | ||
| , smtlib-backends | ||
|
|
||
| -- inspired from haskell-z3 | ||
| if os(darwin) || os(windows) | ||
| extra-libraries: | ||
| z3 | ||
| if (os(osx) || os(windows)) | ||
| extra-libraries: z3 | ||
|
|
||
| else | ||
| extra-libraries: | ||
| gomp z3 gomp | ||
| gomp | ||
| z3 | ||
| gomp | ||
|
|
||
| default-language: Haskell2010 | ||
|
|
||
| test-suite test | ||
| type: exitcode-stdio-1.0 | ||
| hs-source-dirs: tests | ||
| main-is: Main.hs | ||
| ghc-options: -threaded -Wall -Wunused-packages | ||
| build-depends: base >= 4.15, | ||
| bytestring >= 0.10, | ||
| smtlib-backends, | ||
| smtlib-backends-z3, | ||
| smtlib-backends-tests, | ||
| tasty, | ||
| tasty-hunit >= 0.10 | ||
| default-language: Haskell2010 | ||
| type: exitcode-stdio-1.0 | ||
| hs-source-dirs: tests | ||
| main-is: Main.hs | ||
| ghc-options: -threaded -Wall -Wunused-packages | ||
| build-depends: | ||
| base >=4.15 | ||
| , bytestring >=0.10 | ||
| , smtlib-backends | ||
| , smtlib-backends-tests | ||
| , smtlib-backends-z3 | ||
| , tasty | ||
| , tasty-hunit >=0.10 | ||
|
|
||
| default-language: Haskell2010 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -38,6 +38,7 @@ | |
| cabal-install | ||
| hlint | ||
| haskell-language-server | ||
| cabal-fmt | ||
| ]) | ||
| ++ [pkgs.z3]; | ||
|
|
||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,36 +1,58 @@ | ||
| name: smtlib-backends | ||
| version: 0.1 | ||
| synopsis: A library providing low-level functions for SMT-LIB-based interaction with SMT solvers. | ||
| 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. | ||
| license: MIT | ||
| license-file: LICENSE | ||
| author: Quentin Aristote | ||
| maintainer: quentin.aristote@tweag.io | ||
| build-type: Simple | ||
| cabal-version: >=1.10 | ||
| name: smtlib-backends | ||
| version: 0.1 | ||
| synopsis: | ||
| Low-level functions for SMT-LIB-based interaction with SMT solvers. | ||
|
|
||
| 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 calls to Z3's C API. | ||
|
|
||
| license: MIT | ||
| license-file: LICENSE | ||
| author: Quentin Aristote | ||
| maintainer: quentin.aristote@tweag.io | ||
| build-type: Simple | ||
| category: SMT | ||
| cabal-version: >=1.10 | ||
|
|
||
| source-repository head | ||
| type: git | ||
| location: https://github.com/tweag/smtlib-backends | ||
|
|
||
| source-repository this | ||
| type: git | ||
| location: https://github.com/tweag/smtlib-backends | ||
| tag: 0.1 | ||
|
|
||
| library | ||
| hs-source-dirs: src | ||
| ghc-options: -Wall -Wunused-packages | ||
| exposed-modules: SMTLIB.Backends | ||
| SMTLIB.Backends.Process | ||
| other-extensions: Safe | ||
| build-depends: base >=4.8 && <10, | ||
| async, | ||
| bytestring >= 0.10, | ||
| typed-process | ||
| default-language: Haskell2010 | ||
| hs-source-dirs: src | ||
| ghc-options: -Wall -Wunused-packages | ||
| exposed-modules: | ||
| SMTLIB.Backends | ||
| SMTLIB.Backends.Process | ||
|
|
||
| other-extensions: Safe | ||
| build-depends: | ||
| async | ||
| , base >=4.15 && <4.17.0 | ||
| , bytestring >=0.10 | ||
| , typed-process | ||
|
|
||
| default-language: Haskell2010 | ||
|
|
||
| test-suite test | ||
| type: exitcode-stdio-1.0 | ||
| hs-source-dirs: tests/src | ||
| main-is: Main.hs | ||
| other-modules: SMTLIB.Backends.Tests | ||
| SMTLIB.Backends.Tests.Sources | ||
| ghc-options: -threaded -Wall -Wunused-packages | ||
| build-depends: base >= 4.15, | ||
| bytestring >= 0.10, | ||
| smtlib-backends, | ||
| tasty, | ||
| tasty-hunit | ||
| default-language: Haskell2010 | ||
| type: exitcode-stdio-1.0 | ||
| hs-source-dirs: tests/src | ||
| main-is: Main.hs | ||
| other-modules: | ||
| SMTLIB.Backends.Tests | ||
| SMTLIB.Backends.Tests.Sources | ||
|
|
||
| ghc-options: -threaded -Wall -Wunused-packages | ||
| build-depends: | ||
| base >=4.15 && <4.17.0 | ||
| , bytestring >=0.10 | ||
| , smtlib-backends | ||
| , tasty | ||
| , tasty-hunit | ||
|
|
||
| default-language: Haskell2010 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,23 +1,38 @@ | ||
| name: smtlib-backends-tests | ||
| version: 0.1 | ||
| synopsis: Testing SMT-LIB backends. | ||
| description: This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library. | ||
| license: MIT | ||
| license-file: LICENSE | ||
| author: Quentin Aristote | ||
| maintainer: quentin.aristote@tweag.io | ||
| build-type: Simple | ||
| cabal-version: >=1.10 | ||
| name: smtlib-backends-tests | ||
| version: 0.1 | ||
| synopsis: Testing SMT-LIB backends. | ||
| description: | ||
| This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library. | ||
|
|
||
| license: MIT | ||
| license-file: LICENSE | ||
| author: Quentin Aristote | ||
| maintainer: quentin.aristote@tweag.io | ||
| build-type: Simple | ||
| category: SMT, Testing | ||
| cabal-version: >=1.10 | ||
|
|
||
| source-repository head | ||
| type: git | ||
| location: https://github.com/tweag/smtlib-backends | ||
| subdir: tests | ||
|
|
||
| source-repository this | ||
| type: git | ||
| location: https://github.com/tweag/smtlib-backends | ||
| tag: 0.1 | ||
| subdir: tests | ||
|
|
||
| library | ||
| ghc-options: -Wall -Wunused-packages | ||
| hs-source-dirs: src | ||
| main-is: Main.hs | ||
| exposed-modules: SMTLIB.Backends.Tests | ||
| other-modules: SMTLIB.Backends.Tests.Sources | ||
| build-depends: base >= 4.15, | ||
| bytestring >= 0.10, | ||
| smtlib-backends, | ||
| tasty, | ||
| tasty-hunit | ||
| ghc-options: -Wall -Wunused-packages | ||
| hs-source-dirs: src | ||
| exposed-modules: SMTLIB.Backends.Tests | ||
| other-modules: SMTLIB.Backends.Tests.Sources | ||
| build-depends: | ||
| base >=4.15 && <4.17.0 | ||
| , bytestring >=0.10 | ||
| , smtlib-backends | ||
| , tasty | ||
| , tasty-hunit | ||
|
|
||
| default-language: Haskell2010 |