Name:                CSPM-cspm
Version:             0.4.4.0

Synopsis:            cspm command line tool for analyzing CSPM specifications.
Description:
  cspm is a small command line tool for analyzing CSPM specifications.
  It supports serveral modes of operation.
  For example as:
  .
  * 'cspm --help'      -> print a help message.
  .
  * 'cspm eval '3+4''  -> evaluate an expression.
  .
  * 'cspm trace spec.csp' -> interactively trace a process.
  .
  * 'cspm assert spec.csp' -> check the assertions of a specification.
  .
  * 'cspm dot spec.csp'   -> compute the labeled transition system of a process
    and dump it as dot-file.
  .
  * 'cspm fdr spec.csp'   -> compute the LTS
    and dump it a fdr script suitable for refinement checking.
  .
  * 'cspm toprolog spec.csp' -> generate prolog output for ProB
  .
  cspm is not a full featured FDR replacement.
  The main purpose of cspm is to show how the different CSPM-packages work together.
  LTS computation can demonstrate nice speed-ups on multi-core machines.
  Try for example 'cspm +RTS -N7 -RTS fdr spec.csp' to use 7 cores.


License:             BSD3
category:            Language,Formal Methods,Concurrency
License-File:        LICENSE
Author:              Marc Fontaine
Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Homepage:            http://www.stups.uni-duesseldorf.de/~fontaine/csp
cabal-Version:       >= 1.10
build-type:          Simple
Tested-With:         GHC == 7.0.2
Stability:           experimental

Executable cspm
  Build-Depends:
    CSPM-Frontend >= 0.6 && < 0.7
    ,CSPM-CoreLanguage >= 0.2 && < 0.3
    ,CSPM-FiringRules >= 0.3 && < 0.4
    ,CSPM-Interpreter >= 0.4 && < 0.5
    ,CSPM-ToProlog >= 0.3 && < 0.4
    ,cmdargs == 0.6.8
    ,containers >= 0.4 && < 0.5
    ,parallel >=3.1 && < 3.2
    ,base >= 4.0 && < 5.0
    ,pretty >=1.0 && <1.1
    ,transformers >=0.2 && <0.3

  GHC-Options:
    -threaded -funbox-strict-fields -O2 -Wall -fno-warn-orphans 
--    -funbox-strict-fields -O2 -Wall -fno-warn-orphans
    -rtsopts
  Default-Language: Haskell2010
  Other-Extensions:
    DeriveDataTypeable, StandaloneDeriving, TypeSynonymInstances, RecordWildCards
  Hs-Source-Dirs:      src
  Main-is:             Main.hs

  Other-modules:
    CSPM.Assert
    CSPM.LTS.LTS
    CSPM.LTS.MkLtsPar
    CSPM.LTS.ToCsp
    CSPM.LTS.ToDot
    CSPM.LTS.Utils
    CSPM.LTS.Deadlock