dcreager / hst forked from hst/hst

An open-source refinement checker for the CSP process algebra

This URL has Read+Write access

hst / cspm / HST.cabal
100644 23 lines (20 sloc) 0.61 kb
raw blame history 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

Name:            HST
Version:         1.0-a1
Cabal-Version:   >= 1.2
Build-Type:      Simple
License:         LGPL
License-File:    LICENSE
Author:          Douglas Creager
 
Library
  HS-Source-Dirs:  src, tests
  Build-Depends:    base, haskell98, containers,
                    QuickCheck >= 1.1
  Exposed-Modules:  HST.CSPM
  Other-Modules:    HST.CSPM.Environments,
                    HST.CSPM.Evaluate,
                    HST.CSPM.Expressions,
                    HST.CSPM.Utils,
                    HST.CSPM.Values
 
Executable tests
  HS-Source-Dirs:  src, tests
  Main-Is:          HST/CSPM/Tests.hs