SoOSiM.cabal

Name:                SoOSiM
Version:             0.2.7.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:             MIT
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

Library
  HS-Source-Dirs:   src

  Exposed-modules:  SoOSiM,
                    SoOSiM.Types

  ghc-options:      -Wall

  Build-depends:    base              >= 4.5.1.0,
                    concurrent-supply >= 0.1.3,
                    containers        >= 0.4.2.1,
                    monad-coroutine   >= 0.7.1,
                    mtl               >= 2.1.2,
                    stm               >= 2.4,
                    transformers      >= 0.3.0.0

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

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