Name:                CSPM-Interpreter
Version:             0.7.1.0

Synopsis:            An interpreter for CSPM
Description:
  This package contains an interpreter for CSPM
  and instance declarations that implement the interface defined in
  the package CSPM-CoreLanguage.
  The operational semantics of core-CSP is defined in the CSPM-FiringRules package.

License:             BSD3
category:            Language,Formal Methods,Concurrency
License-File:        LICENSE
Author:              2010 - 2017 Marc Fontaine <Marc.Fontaine@gmx.de>
Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
Stability:           experimental
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:
    CSPM-Frontend >= 0.12 && < 0.13
    ,CSPM-CoreLanguage >= 0.3 && < 0.4
    ,prettyclass >= 1.0 && < 1.1
    ,base >= 4.0 && < 5.0
    ,containers >= 0.5 && < 0.6
    ,mtl >= 2.2 && < 2.3
    ,array >= 0.5 && <0.6
    ,syb >= 0.4 && < 0.8


  Default-Language: Haskell2010
  GHC-Options: -funbox-strict-fields -O2 -Wall  -fsimpl-tick-factor=400
  Other-Extensions: DeriveDataTypeable, GeneralizedNewtypeDeriving
  Hs-Source-Dirs:       src
  Exposed-modules:
    CSPM.Interpreter
    CSPM.Interpreter.Types
    CSPM.Interpreter.Eval
    CSPM.Interpreter.CoreInstances
    CSPM.Interpreter.Hash
    CSPM.Interpreter.ClosureSet
    CSPM.Interpreter.Test.CLI
    CSPM.Interpreter.Pretty
  Other-modules:
    CSPM.Interpreter.Renaming
    CSPM.Interpreter.PrepareAST
    CSPM.Interpreter.Bindings
    CSPM.Interpreter.PatternCompiler
    CSPM.Interpreter.PatternMatcher
    CSPM.Interpreter.Prefix
    CSPM.Interpreter.GenericBufferPrefix
    CSPM.Interpreter.SSet
    Data.Digest.Pure.MD5
    Data.Digest.Pure.HashMD5
    Paths_CSPM_Interpreter