Name:                CSPM-Frontend
Version:             0.2.8.0

Synopsis:            A CSP-M parser compatible with FDR-2.83

Description:
  CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by
  the formal methods tools FDR, Prob and ProB.
  This Package contains functions for lexing, parsing, renaming and pretty-printing
  CSP-M specifications.
  The parser is (almost) 100% compatible with the FDR-2.83 parser.
  This package is also used as the CSP-M frontend of the ProB animator and model checker.

  

License:             BSD3
category:            Language,Formal Methods,Concurrency
License-File:        LICENSE
Author:              Marc Fontaine
Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Stability:           unstable
Tested-With:         GHC ==6.10.3

cabal-Version:       >= 1.6
build-type: Simple
Extra-source-files:

flag testing {
  description : Testing mode
  default:     False
}


library
  if flag(testing) {
    buildable: False
  }

  Build-Depends:       base >=4.0 && < 5.0, containers,array,parsec >=2.1.0.0 && < 3.0 ,old-time,template-haskell, pretty,mtl,haskell98,syb

  GHC-Options: -funbox-strict-fields -O2 -fasm -optl-Wl,-s -Wall
  Extensions: DeriveDataTypeable, GeneralizedNewtypeDeriving
  Hs-Source-Dirs:       src,dist/build/autogen
  Exposed-modules:
    Language.CSPM.Frontend
    Language.CSPM.Utils
    Language.CSPM.AST
    Language.CSPM.Parser
    Language.CSPM.Rename
    Language.CSPM.Token
    Language.CSPM.SrcLoc
    Language.CSPM.AstUtils
    Language.CSPM.TokenClasses
    Language.CSPM.PrettyPrinter
    Language.CSPM.PatternCompiler
  Other-modules:
    Paths_CSPM_Frontend
    Language.CSPM.Version
    Language.CSPM.Lexer
    Language.CSPM.AlexWrapper
    Language.CSPM.LexHelper
    Text.ParserCombinators.Parsec.ExprM