The expiration time for new job artifacts in CI/CD pipelines is now 30 days (GitLab default). Previously generated artifacts in already completed jobs will not be affected by the change. The latest artifacts for all jobs in the latest successful pipelines will be kept. More information: https://gitlab.lrz.de/help/user/admin_area/settings/continuous_integration.html#default-artifacts-expiration

slapnet.cabal 930 Bytes
Newer Older
1
2
3
name:                slapnet
version:             0.1.0.0
synopsis:            Safety and Liveness Analysis of Petri Nets with SMT solvers
Philipp Meyer's avatar
Philipp Meyer committed
4
5
6
description:
    SLAPnet is a tool to check safety and liveness properties of Petri nets
    using SMT solvers such as Z3, Yices or CVC4.
7
8
9
10
11
12
13
14
15
license:             GPL-3
license-file:        LICENSE
author:              Philipp Meyer
maintainer:          philipp.j.meyer@gmail.com
category:            Formal Methods
build-type:          Simple
extra-source-files:  README.md
cabal-version:       >=1.10

Philipp Meyer's avatar
Philipp Meyer committed
16
17
18
19
source-repository head
  type: git
  location: git://github.com/cryptica/slapnet.git

20
21
executable slapnet
  main-is: Main.hs
Philipp Meyer's avatar
Philipp Meyer committed
22
  other-modules:
23
  -- other-extensions:
24
  build-depends:       base >=4 && <5, sbv, parsec, containers, transformers,
25
                       bytestring, mtl
26
27
  hs-source-dirs:      src
  default-language:    Haskell2010
28
  ghc-options:         -fsimpl-tick-factor=1000