atom-1.0.13: An EDSL for embedded hard realtime applications.
Language.Atom.Compile
Description
Atom compilation functions
Synopsis
compile :: Name -> Config -> Atom () -> IO (Schedule, RuleCoverage, [Name], [Name], [(Name, Type)]) Source
Compiles an atom description to C.
reportSchedule :: Schedule -> String Source
Generate a rule scheduling report for the given schedule.
type Schedule = (UeMap, [(Int, Int, [Rule])]) Source
Schedule expressed as a UeMap and a list of (period, phase, rules).
UeMap