Name:                CSPM-Interpreter
Version:             0.7.0.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.
  All type family instances that belong to this implementation
  are indexed with the phantom-type 'INT' ('INT' == interpreter).
  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 - 2014 Marc Fontaine
Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Stability:           experimental
Tested-With:         GHC == 7.8.2

cabal-Version:       >= 1.20
build-type: Simple
Extra-source-files:
Library
  Build-Depends:
    CSPM-Frontend >= 0.10 && < 0.11
    ,CSPM-CoreLanguage >= 0.3 && < 0.4
    ,prettyclass >= 1.0 && < 1.1
    ,base >= 4.0 && < 5.0
    ,containers >= 0.5 && < 0.6
    ,mtl
    ,array >= 0.5 && <0.6
    ,syb >= 0.4 && < 0.5


  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