Name:                CSPM-Interpreter
Version:             0.4.0.2

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 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
Extra-source-files:
Library
  Build-Depends:
    CSPM-Frontend >= 0.4 && < 0.5
    ,CSPM-CoreLanguage >= 0.1 && < 0.2
    ,base >= 4.0 && < 5.0
    ,containers >= 0.3 && < 0.4
    ,mtl >= 1.1 && < 1.2
    ,array >= 0.3 && <0.4
    ,syb >= 0.1 && < 0.2
 
  GHC-Options: -funbox-strict-fields -O2 -Wall
  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
  Other-modules:
    CSPM.Interpreter.Renaming
    CSPM.Interpreter.PrepareAST
    CSPM.Interpreter.Bindings
    CSPM.Interpreter.PatternMatcher
    CSPM.Interpreter.Prefix
    CSPM.Interpreter.GenericBufferPrefix
    CSPM.Interpreter.SSet
    Data.Digest.Pure.MD5
    Data.Digest.Pure.HashMD5