Name:                CSPM-Frontend
Version:             0.12.1.0

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

Description:
  CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by
  the formal methods tools FDR, Probe 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.91 parser.

License:             BSD3
category:            Language,Formal Methods,Concurrency
License-File:        LICENSE
Author:              Marc Fontaine 2007 - 2017
Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>, me@dobrikov.biz
Stability:           maintained
Tested-With:         GHC == 8.2.1
cabal-Version:       >= 1.24
build-type: Simple
Extra-Source-Files:  README.md
                    
Source-Repository head
  type:     git
  location: git://github.com/MarcFontaine/cspm

library
  Build-Depends:
    base >=4.0 && < 5.0
    ,containers >= 0.5 && < 0.6
    ,array >= 0.5 && < 0.6
    ,parsec >= 3.1.11 && < 3.2
    ,prettyclass >= 1.0 && < 1.1
    ,mtl >= 2.2 && < 2.3
    ,either >= 4.3 && < 4.5
    ,transformers >= 0.5 && < 0.6
    ,dlist >=0.7 && < 0.9
    ,syb >= 0.7 && < 0.8

  Default-Language: Haskell2010
  Other-Extensions:
     DeriveDataTypeable
  GHC-Options: -funbox-strict-fields -O2 -Wall
  Hs-Source-Dirs:       src
  Exposed-modules:
    Language.CSPM.Frontend
    Language.CSPM.Parser
    Language.CSPM.AST
    Language.CSPM.PrettyPrinter
    Language.CSPM.SrcLoc
    Language.CSPM.Rename
    Language.CSPM.Utils
    Language.CSPM.Token
    Language.CSPM.AstUtils
    Language.CSPM.TokenClasses
    Language.CSPM.LexHelper
    Language.CSPM.UnicodeSymbols
    Language.CSPM.BuiltIn
  Other-modules:
    Text.ParserCombinators.Parsec.ExprM
    Language.CSPM.Lexer
    Language.CSPM.AlexWrapper
    Paths_CSPM_Frontend

  build-tools:
      alex