Name:                CSPM-cspm
Version:             0.4.0.0

Synopsis:            cspm command line tool for analyzing CSPM specifications.
Description:
  cspm is a small command line tool for analyzing CSPM specifications.
  It supports four modes of operation ('eval', 'trace', 'dot' and 'fdr')
  and can be called 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 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 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:              2010 Marc Fontaine
Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Homepage:            http://www.stups.uni-duesseldorf.de/~fontaine/csp
cabal-Version:       >= 1.8
build-type:          Simple
Tested-With:         GHC == 6.12.3
Stability:           unstable

Executable cspm
  Build-Depends:
    CSPM-Frontend >= 0.4 && < 0.5
    ,CSPM-CoreLanguage >= 0.1 && < 0.2
    ,CSPM-FiringRules >= 0.1 && < 0.2
    ,CSPM-Interpreter >= 0.4 && < 0.5
    ,cmdargs >= 0.3 && < 0.4
    ,containers >= 0.3 && < 0.4
    ,parallel >=2.2 && < 2.3
    ,base >= 4.0 && < 5.0

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

  Other-modules:
    CSPM.LTS.LTS
    CSPM.LTS.MkLtsPar
    CSPM.LTS.ToCsp
    CSPM.LTS.ToDot