name:                CSPM-FiringRules
version:             0.4.1.2
synopsis:            Firing rules semantic of CSPM
description:
  This package contains functions for computing the transitions of a CSP process
  based on the standard CSP firing rule semantic
  (see The Theory and Practice of Concurrency A.W. Roscoe 1999.)
  It also contains a rudimentary tracer for executing transitions,
  some QuickCheck tests, and a data type for proof trees.
  To use this package one has to provide instances for the classes and type families,
  defined in the CSPM-CoreLanguage package.
  The package contains two mock-implementations that provide these instances.
  The CSPM-Interpreter package contains an other implementation.

category:            Language,Formal Methods,Concurrency
build-type:          Simple
license:             BSD3
license-file:        LICENSE
author:              2010 - 2012 Marc Fontaine
maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
stability:           experimental
tested-With:         GHC == 7.4.1

cabal-Version:       >= 1.10

flag QuickCheck
  description: enable QuickCheck tests
  default: True

library
  build-Depends:
     CSPM-CoreLanguage >= 0.3 && < 0.4
    ,tree-monad >=0.3 && < 0.4
    ,parallel-tree-search >=0.4 && < 0.5
    ,base >= 4.0 && < 5.0
    ,containers >= 0.4 && < 0.5
    ,mtl >= 2.1 && < 2.2
  
  Default-Language: Haskell2010
  ghc-options: -funbox-strict-fields -O2 -Wall
  hs-source-dirs:         src

  exposed-modules:
    CSPM.FiringRules.Rules
    CSPM.FiringRules.Verifier
    CSPM.FiringRules.EnumerateEvents
    CSPM.FiringRules.EnumerateEventsList
    CSPM.FiringRules.FieldConstraints
    CSPM.FiringRules.FieldConstraintsSearch
    CSPM.FiringRules.Search
    CSPM.FiringRules.Trace
    CSPM.FiringRules.HelperClasses
    CSPM.FiringRules.Version
  Other-modules:
    Paths_CSPM_FiringRules

  if flag(QuickCheck)
    build-depends:
      QuickCheck >= 2.4 && < 2.5
      ,random >= 1.0 && < 1.1
    exposed-modules:
      CSPM.FiringRules.Test.Test
    other-modules:
      CSPM.FiringRules.Test.Mock1
      CSPM.FiringRules.Test.Mock2
      CSPM.FiringRules.Test.Gen