SoOSiM-0.2.0.0: SoOSiM.cabal

Name:                SoOSiM
Version:             0.2.0.0
Synopsis:            Abstract full system simulator

Description:
  SoOSiM is a simulator developed for the purpose of exploring operating
  system concepts and operating system modules. The simulator provides a
  highly abstracted view of a computing system, consisting of computing
  nodes, and components that are concurrently executed on these nodes.
  OS modules are subsequently modelled as components that progress as a
  result of reacting to two types of events: messages from other components,
  or a system-wide tick event. Using this abstract view, a developer can
  quickly formalize assertions regarding the interaction between operating
  system modules and applications.

Homepage:            http://www.soos-project.eu/
License:             BSD3
License-file:        LICENSE
Author:              S(o)OS Consortium
Maintainer:          Christiaan Baaij <christiaan.baaij@gmail.com>
Copyright:           (c) 2012, S(o)OS Consortium
Category:            Simulation
Build-type:          Simple
Stability:           alpha

Cabal-version:       >=1.6

Extra-source-files: README.md
                    examples/MemoryManager.hs
                    examples/MemoryManager/Types.hs
                    examples/MemoryManager/Util.hs

Library
  HS-Source-Dirs:   src

  Exposed-modules:  SoOSiM,
                    SoOSiM.Types

  ghc-options:      -Wall

  Build-depends:    base              >= 4.3.1.0 && < 4.6,
                    concurrent-supply >= 0.1.1   && < 0.2,
                    containers        >= 0.4.0.0 && < 0.5,
                    monad-coroutine   >= 0.7.1   && < 0.8,
                    mtl               >= 2.0.1.0 && < 2.1,
                    stm               >= 2.3     && < 2.4,
                    transformers      >= 0.2.2.0 && < 2.3

  Other-modules:    SoOSiM.SimMonad,
                    SoOSiM.Simulator,
                    SoOSiM.Simulator.Util,
                    SoOSiM.Util

source-repository head
  type:     git
  location: git://github.com/christiaanb/SoOSiM.git