v0.5

• Scheduling for N levels
• Improved MC-DAG generator
• Benchmarks for multiple MC-DAG scheduling

v0.4

• Framework is capable of scheduling MC DAGs with n levels of criticality.
• Refactoring of some code.

v0.3-rc1

• Various bug fixes for the scheduling framework.
• DAG generator now supports multiple DAGs.
• Multi-threaded DAG generation.
• Generator can produce graphviz files.

v0.2-rc1

• Reads multiple DAGs from XML files.
• New heuristic to schedule multiple DAGs in a single architecture.
• Multi-threaded solving to schedule multiple XML files in parallel.

v0.1-rc0

• Reads a DAG model from an XML file.
• Writes scheduling tables to XML file.
• Writes PRISM module and PCTL property files.