Skip to content

2920 scheduling reworked

Marco Volpe requested to merge 2920-scheduling_reworked into master

exploration.smt reorganized in order to use the new SolverRun class and proper backends also in the case of a scheduling synthesis. ScheduleRun is not deprecated anymore. The 'rework' subpackage has been removed and integrated in the main package. Some outdated classes have been removed.

Issue-Ref: 2920

Merge request reports