Cabal revisions of atom-1.0.13
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: atom-version: 1.0.13--category: Language, Embedded--synopsis: An EDSL for embedded hard realtime applications.--description:- Atom is a Haskell EDSL for designing hard realtime embedded software.- Based on guarded atomic actions (similar to STM), Atom enables- highly concurrent programming without the need for mutex locking.-- In addition, Atom performs compile-time task scheduling and generates code- with deterministic execution time and constant memory use, simplifying the- process of timing verification and memory consumption in hard realtime- applications.-- Without mutex locking and run-time task scheduling, Atom eliminates- the need and overhead of RTOSes for many embedded applications.--author: Tom Hawkins <tomahawkins@gmail.com>-maintainer: Tom Hawkins <tomahawkins@gmail.com>, Lee Pike <leepike@gmail.com>--license: BSD3-license-file: LICENSE--homepage: http://tomahawkins.org--build-type: Simple-cabal-version: >= 1.6--extra-source-files:- RELEASE-NOTES--library- build-depends:- base >= 4.0 && < 5,- mtl ,- process ,- syb ,- containers ,- bimap-- exposed-modules:- Language.Atom- Language.Atom.Analysis- Language.Atom.Code- Language.Atom.Common- Language.Atom.Common.Fader- Language.Atom.Common.Threshold- Language.Atom.Common.ValidData- Language.Atom.Compile- Language.Atom.Elaboration - Language.Atom.Example.External- Language.Atom.Example.Gcd- Language.Atom.Example.Probes- Language.Atom.Expressions- Language.Atom.Language- Language.Atom.Scheduling- Language.Atom.Unit- Language.Atom.UeMap-- extensions: GADTs, DeriveDataTypeable-- ghc-options: -Wall--source-repository head- type: git- location: git://github.com/tomahawkins/atom.git-+name: atom +version: 1.0.13 +x-revision: 1 + +category: Language, Embedded + +synopsis: An EDSL for embedded hard realtime applications. + +description: + Atom is a Haskell EDSL for designing hard realtime embedded software. + Based on guarded atomic actions (similar to STM), Atom enables + highly concurrent programming without the need for mutex locking. + + In addition, Atom performs compile-time task scheduling and generates code + with deterministic execution time and constant memory use, simplifying the + process of timing verification and memory consumption in hard realtime + applications. + + Without mutex locking and run-time task scheduling, Atom eliminates + the need and overhead of RTOSes for many embedded applications. + +author: Tom Hawkins <tomahawkins@gmail.com> +maintainer: Tom Hawkins <tomahawkins@gmail.com>, Lee Pike <leepike@gmail.com> + +license: BSD3 +license-file: LICENSE + +homepage: http://tomahawkins.org + +build-type: Simple +cabal-version: >= 1.6 + +extra-source-files: + RELEASE-NOTES + +library + build-depends: + base >= 4.0 && < 4.16, + mtl , + process , + syb , + containers , + bimap + + exposed-modules: + Language.Atom + Language.Atom.Analysis + Language.Atom.Code + Language.Atom.Common + Language.Atom.Common.Fader + Language.Atom.Common.Threshold + Language.Atom.Common.ValidData + Language.Atom.Compile + Language.Atom.Elaboration + Language.Atom.Example.External + Language.Atom.Example.Gcd + Language.Atom.Example.Probes + Language.Atom.Expressions + Language.Atom.Language + Language.Atom.Scheduling + Language.Atom.Unit + Language.Atom.UeMap + + extensions: GADTs, DeriveDataTypeable + + ghc-options: -Wall + +source-repository head + type: git + location: git://github.com/tomahawkins/atom.git +