schedmcore - Revision 1050: /branches/ROSACE_CaseStudy/prelude_implementations/prelude_c