Name:                CSPM-cspm
Version:             0.3.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:
  1) cspm eval  -> evaluate an expression.
  2) cspm trace -> interactively trace a process.
  3) cspm dot   -> compute the labeled transition system of a process and dump it as dot-file.
  4) cspm fdr   -> 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 (if the LTS
  contains enough branching).


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.6
build-type:          Simple

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.1 && < 0.2
    ,containers >= 0.3 && < 0.4
    ,parallel >=2.2 && < 2.3
    ,base >= 4.0 && < 5.0

 
  GHC-Options: -threaded -funbox-strict-fields -O2 -Wall
  Extensions:
    DeriveDataTypeable, StandaloneDeriving, FlexibleInstances, FlexibleContexts
    TypeSynonymInstances
  Hs-Source-Dirs:      src
  Main-is:             Main.hs

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