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