peregrine.cabal 1.01 KB
Newer Older
1
name:                peregrine
2
version:             1.0.0.0
3
synopsis:            Efficient Verification of Population Protocol
Philipp Meyer's avatar
Philipp Meyer committed
4
description:
5 6
    Efficient verification of population protocols
    for the class WS3 of well-specified strongly-silent protocols
Philipp Meyer's avatar
Philipp Meyer committed
7
    using SMT solvers such as Z3, Yices or CVC4.
8
license:             GPL-3
9
license-file:        LICENSE.md
10
author:              Philipp Meyer
11
maintainer:          meyerphi@in.tum.de
12 13 14 15 16
category:            Formal Methods
build-type:          Simple
extra-source-files:  README.md
cabal-version:       >=1.10

Philipp Meyer's avatar
Philipp Meyer committed
17 18
source-repository head
  type: git
19
  location: git://gitlab.lrz.de:i7/peregrine.git
Philipp Meyer's avatar
Philipp Meyer committed
20

21
executable peregrine
22
  main-is: Main.hs
23
  other-modules:
24
  -- other-extensions:
Christoph Welzel's avatar
Christoph Welzel committed
25
  build-depends:       base >=4 && <5, sbv == 7.13, parsec >= 3.1, containers, transformers,
26
                       bytestring, mtl, stm, async, text, aeson
27 28
  hs-source-dirs:      src
  default-language:    Haskell2010
Christoph Welzel's avatar
Christoph Welzel committed
29
  ghc-options:         -fsimpl-tick-factor=1000 -threaded -rtsopts -with-rtsopts=-N