diff --git a/analysis/apa/bertogna_edf_comp.v b/classic/analysis/apa/bertogna_edf_comp.v
similarity index 100%
rename from analysis/apa/bertogna_edf_comp.v
rename to classic/analysis/apa/bertogna_edf_comp.v
diff --git a/analysis/apa/bertogna_edf_theory.v b/classic/analysis/apa/bertogna_edf_theory.v
similarity index 100%
rename from analysis/apa/bertogna_edf_theory.v
rename to classic/analysis/apa/bertogna_edf_theory.v
diff --git a/analysis/apa/bertogna_fp_comp.v b/classic/analysis/apa/bertogna_fp_comp.v
similarity index 100%
rename from analysis/apa/bertogna_fp_comp.v
rename to classic/analysis/apa/bertogna_fp_comp.v
diff --git a/analysis/apa/bertogna_fp_theory.v b/classic/analysis/apa/bertogna_fp_theory.v
similarity index 100%
rename from analysis/apa/bertogna_fp_theory.v
rename to classic/analysis/apa/bertogna_fp_theory.v
diff --git a/analysis/apa/interference_bound.v b/classic/analysis/apa/interference_bound.v
similarity index 100%
rename from analysis/apa/interference_bound.v
rename to classic/analysis/apa/interference_bound.v
diff --git a/analysis/apa/interference_bound_edf.v b/classic/analysis/apa/interference_bound_edf.v
similarity index 100%
rename from analysis/apa/interference_bound_edf.v
rename to classic/analysis/apa/interference_bound_edf.v
diff --git a/analysis/apa/interference_bound_fp.v b/classic/analysis/apa/interference_bound_fp.v
similarity index 100%
rename from analysis/apa/interference_bound_fp.v
rename to classic/analysis/apa/interference_bound_fp.v
diff --git a/analysis/apa/workload_bound.v b/classic/analysis/apa/workload_bound.v
similarity index 100%
rename from analysis/apa/workload_bound.v
rename to classic/analysis/apa/workload_bound.v
diff --git a/analysis/global/basic/bertogna_edf_comp.v b/classic/analysis/global/basic/bertogna_edf_comp.v
similarity index 100%
rename from analysis/global/basic/bertogna_edf_comp.v
rename to classic/analysis/global/basic/bertogna_edf_comp.v
diff --git a/analysis/global/basic/bertogna_edf_theory.v b/classic/analysis/global/basic/bertogna_edf_theory.v
similarity index 100%
rename from analysis/global/basic/bertogna_edf_theory.v
rename to classic/analysis/global/basic/bertogna_edf_theory.v
diff --git a/analysis/global/basic/bertogna_fp_comp.v b/classic/analysis/global/basic/bertogna_fp_comp.v
similarity index 100%
rename from analysis/global/basic/bertogna_fp_comp.v
rename to classic/analysis/global/basic/bertogna_fp_comp.v
diff --git a/analysis/global/basic/bertogna_fp_theory.v b/classic/analysis/global/basic/bertogna_fp_theory.v
similarity index 100%
rename from analysis/global/basic/bertogna_fp_theory.v
rename to classic/analysis/global/basic/bertogna_fp_theory.v
diff --git a/analysis/global/basic/interference_bound.v b/classic/analysis/global/basic/interference_bound.v
similarity index 100%
rename from analysis/global/basic/interference_bound.v
rename to classic/analysis/global/basic/interference_bound.v
diff --git a/analysis/global/basic/interference_bound_edf.v b/classic/analysis/global/basic/interference_bound_edf.v
similarity index 100%
rename from analysis/global/basic/interference_bound_edf.v
rename to classic/analysis/global/basic/interference_bound_edf.v
diff --git a/analysis/global/basic/interference_bound_fp.v b/classic/analysis/global/basic/interference_bound_fp.v
similarity index 100%
rename from analysis/global/basic/interference_bound_fp.v
rename to classic/analysis/global/basic/interference_bound_fp.v
diff --git a/analysis/global/basic/workload_bound.v b/classic/analysis/global/basic/workload_bound.v
similarity index 100%
rename from analysis/global/basic/workload_bound.v
rename to classic/analysis/global/basic/workload_bound.v
diff --git a/analysis/global/jitter/bertogna_edf_comp.v b/classic/analysis/global/jitter/bertogna_edf_comp.v
similarity index 100%
rename from analysis/global/jitter/bertogna_edf_comp.v
rename to classic/analysis/global/jitter/bertogna_edf_comp.v
diff --git a/analysis/global/jitter/bertogna_edf_theory.v b/classic/analysis/global/jitter/bertogna_edf_theory.v
similarity index 100%
rename from analysis/global/jitter/bertogna_edf_theory.v
rename to classic/analysis/global/jitter/bertogna_edf_theory.v
diff --git a/analysis/global/jitter/bertogna_fp_comp.v b/classic/analysis/global/jitter/bertogna_fp_comp.v
similarity index 100%
rename from analysis/global/jitter/bertogna_fp_comp.v
rename to classic/analysis/global/jitter/bertogna_fp_comp.v
diff --git a/analysis/global/jitter/bertogna_fp_theory.v b/classic/analysis/global/jitter/bertogna_fp_theory.v
similarity index 100%
rename from analysis/global/jitter/bertogna_fp_theory.v
rename to classic/analysis/global/jitter/bertogna_fp_theory.v
diff --git a/analysis/global/jitter/interference_bound.v b/classic/analysis/global/jitter/interference_bound.v
similarity index 100%
rename from analysis/global/jitter/interference_bound.v
rename to classic/analysis/global/jitter/interference_bound.v
diff --git a/analysis/global/jitter/interference_bound_edf.v b/classic/analysis/global/jitter/interference_bound_edf.v
similarity index 100%
rename from analysis/global/jitter/interference_bound_edf.v
rename to classic/analysis/global/jitter/interference_bound_edf.v
diff --git a/analysis/global/jitter/interference_bound_fp.v b/classic/analysis/global/jitter/interference_bound_fp.v
similarity index 100%
rename from analysis/global/jitter/interference_bound_fp.v
rename to classic/analysis/global/jitter/interference_bound_fp.v
diff --git a/analysis/global/jitter/workload_bound.v b/classic/analysis/global/jitter/workload_bound.v
similarity index 100%
rename from analysis/global/jitter/workload_bound.v
rename to classic/analysis/global/jitter/workload_bound.v
diff --git a/analysis/global/parallel/bertogna_edf_comp.v b/classic/analysis/global/parallel/bertogna_edf_comp.v
similarity index 100%
rename from analysis/global/parallel/bertogna_edf_comp.v
rename to classic/analysis/global/parallel/bertogna_edf_comp.v
diff --git a/analysis/global/parallel/bertogna_edf_theory.v b/classic/analysis/global/parallel/bertogna_edf_theory.v
similarity index 100%
rename from analysis/global/parallel/bertogna_edf_theory.v
rename to classic/analysis/global/parallel/bertogna_edf_theory.v
diff --git a/analysis/global/parallel/bertogna_fp_comp.v b/classic/analysis/global/parallel/bertogna_fp_comp.v
similarity index 100%
rename from analysis/global/parallel/bertogna_fp_comp.v
rename to classic/analysis/global/parallel/bertogna_fp_comp.v
diff --git a/analysis/global/parallel/bertogna_fp_theory.v b/classic/analysis/global/parallel/bertogna_fp_theory.v
similarity index 100%
rename from analysis/global/parallel/bertogna_fp_theory.v
rename to classic/analysis/global/parallel/bertogna_fp_theory.v
diff --git a/analysis/global/parallel/interference_bound.v b/classic/analysis/global/parallel/interference_bound.v
similarity index 100%
rename from analysis/global/parallel/interference_bound.v
rename to classic/analysis/global/parallel/interference_bound.v
diff --git a/analysis/global/parallel/interference_bound_edf.v b/classic/analysis/global/parallel/interference_bound_edf.v
similarity index 100%
rename from analysis/global/parallel/interference_bound_edf.v
rename to classic/analysis/global/parallel/interference_bound_edf.v
diff --git a/analysis/global/parallel/interference_bound_fp.v b/classic/analysis/global/parallel/interference_bound_fp.v
similarity index 100%
rename from analysis/global/parallel/interference_bound_fp.v
rename to classic/analysis/global/parallel/interference_bound_fp.v
diff --git a/analysis/global/parallel/workload_bound.v b/classic/analysis/global/parallel/workload_bound.v
similarity index 100%
rename from analysis/global/parallel/workload_bound.v
rename to classic/analysis/global/parallel/workload_bound.v
diff --git a/analysis/uni/arrival_curves/workload_bound.v b/classic/analysis/uni/arrival_curves/workload_bound.v
similarity index 100%
rename from analysis/uni/arrival_curves/workload_bound.v
rename to classic/analysis/uni/arrival_curves/workload_bound.v
diff --git a/analysis/uni/basic/fp_rta_comp.v b/classic/analysis/uni/basic/fp_rta_comp.v
similarity index 100%
rename from analysis/uni/basic/fp_rta_comp.v
rename to classic/analysis/uni/basic/fp_rta_comp.v
diff --git a/analysis/uni/basic/fp_rta_theory.v b/classic/analysis/uni/basic/fp_rta_theory.v
similarity index 100%
rename from analysis/uni/basic/fp_rta_theory.v
rename to classic/analysis/uni/basic/fp_rta_theory.v
diff --git a/analysis/uni/basic/tdma_rta_theory.v b/classic/analysis/uni/basic/tdma_rta_theory.v
similarity index 100%
rename from analysis/uni/basic/tdma_rta_theory.v
rename to classic/analysis/uni/basic/tdma_rta_theory.v
diff --git a/analysis/uni/basic/tdma_wcrt_analysis.v b/classic/analysis/uni/basic/tdma_wcrt_analysis.v
similarity index 100%
rename from analysis/uni/basic/tdma_wcrt_analysis.v
rename to classic/analysis/uni/basic/tdma_wcrt_analysis.v
diff --git a/analysis/uni/basic/workload_bound_fp.v b/classic/analysis/uni/basic/workload_bound_fp.v
similarity index 100%
rename from analysis/uni/basic/workload_bound_fp.v
rename to classic/analysis/uni/basic/workload_bound_fp.v
diff --git a/analysis/uni/jitter/fp_rta_comp.v b/classic/analysis/uni/jitter/fp_rta_comp.v
similarity index 100%
rename from analysis/uni/jitter/fp_rta_comp.v
rename to classic/analysis/uni/jitter/fp_rta_comp.v
diff --git a/analysis/uni/jitter/fp_rta_theory.v b/classic/analysis/uni/jitter/fp_rta_theory.v
similarity index 100%
rename from analysis/uni/jitter/fp_rta_theory.v
rename to classic/analysis/uni/jitter/fp_rta_theory.v
diff --git a/analysis/uni/jitter/workload_bound_fp.v b/classic/analysis/uni/jitter/workload_bound_fp.v
similarity index 100%
rename from analysis/uni/jitter/workload_bound_fp.v
rename to classic/analysis/uni/jitter/workload_bound_fp.v
diff --git a/analysis/uni/susp/dynamic/jitter/jitter_schedule.v b/classic/analysis/uni/susp/dynamic/jitter/jitter_schedule.v
similarity index 100%
rename from analysis/uni/susp/dynamic/jitter/jitter_schedule.v
rename to classic/analysis/uni/susp/dynamic/jitter/jitter_schedule.v
diff --git a/analysis/uni/susp/dynamic/jitter/jitter_schedule_properties.v b/classic/analysis/uni/susp/dynamic/jitter/jitter_schedule_properties.v
similarity index 100%
rename from analysis/uni/susp/dynamic/jitter/jitter_schedule_properties.v
rename to classic/analysis/uni/susp/dynamic/jitter/jitter_schedule_properties.v
diff --git a/analysis/uni/susp/dynamic/jitter/jitter_schedule_service.v b/classic/analysis/uni/susp/dynamic/jitter/jitter_schedule_service.v
similarity index 100%
rename from analysis/uni/susp/dynamic/jitter/jitter_schedule_service.v
rename to classic/analysis/uni/susp/dynamic/jitter/jitter_schedule_service.v
diff --git a/analysis/uni/susp/dynamic/jitter/jitter_taskset_generation.v b/classic/analysis/uni/susp/dynamic/jitter/jitter_taskset_generation.v
similarity index 100%
rename from analysis/uni/susp/dynamic/jitter/jitter_taskset_generation.v
rename to classic/analysis/uni/susp/dynamic/jitter/jitter_taskset_generation.v
diff --git a/analysis/uni/susp/dynamic/jitter/rta_by_reduction.v b/classic/analysis/uni/susp/dynamic/jitter/rta_by_reduction.v
similarity index 100%
rename from analysis/uni/susp/dynamic/jitter/rta_by_reduction.v
rename to classic/analysis/uni/susp/dynamic/jitter/rta_by_reduction.v
diff --git a/analysis/uni/susp/dynamic/jitter/taskset_membership.v b/classic/analysis/uni/susp/dynamic/jitter/taskset_membership.v
similarity index 100%
rename from analysis/uni/susp/dynamic/jitter/taskset_membership.v
rename to classic/analysis/uni/susp/dynamic/jitter/taskset_membership.v
diff --git a/analysis/uni/susp/dynamic/jitter/taskset_rta.v b/classic/analysis/uni/susp/dynamic/jitter/taskset_rta.v
similarity index 100%
rename from analysis/uni/susp/dynamic/jitter/taskset_rta.v
rename to classic/analysis/uni/susp/dynamic/jitter/taskset_rta.v
diff --git a/analysis/uni/susp/dynamic/oblivious/fp_rta.v b/classic/analysis/uni/susp/dynamic/oblivious/fp_rta.v
similarity index 100%
rename from analysis/uni/susp/dynamic/oblivious/fp_rta.v
rename to classic/analysis/uni/susp/dynamic/oblivious/fp_rta.v
diff --git a/analysis/uni/susp/dynamic/oblivious/reduction.v b/classic/analysis/uni/susp/dynamic/oblivious/reduction.v
similarity index 100%
rename from analysis/uni/susp/dynamic/oblivious/reduction.v
rename to classic/analysis/uni/susp/dynamic/oblivious/reduction.v
diff --git a/analysis/uni/susp/sustainability/allcosts/main_claim.v b/classic/analysis/uni/susp/sustainability/allcosts/main_claim.v
similarity index 100%
rename from analysis/uni/susp/sustainability/allcosts/main_claim.v
rename to classic/analysis/uni/susp/sustainability/allcosts/main_claim.v
diff --git a/analysis/uni/susp/sustainability/allcosts/reduction.v b/classic/analysis/uni/susp/sustainability/allcosts/reduction.v
similarity index 100%
rename from analysis/uni/susp/sustainability/allcosts/reduction.v
rename to classic/analysis/uni/susp/sustainability/allcosts/reduction.v
diff --git a/analysis/uni/susp/sustainability/allcosts/reduction_properties.v b/classic/analysis/uni/susp/sustainability/allcosts/reduction_properties.v
similarity index 100%
rename from analysis/uni/susp/sustainability/allcosts/reduction_properties.v
rename to classic/analysis/uni/susp/sustainability/allcosts/reduction_properties.v
diff --git a/analysis/uni/susp/sustainability/singlecost/reduction.v b/classic/analysis/uni/susp/sustainability/singlecost/reduction.v
similarity index 100%
rename from analysis/uni/susp/sustainability/singlecost/reduction.v
rename to classic/analysis/uni/susp/sustainability/singlecost/reduction.v
diff --git a/analysis/uni/susp/sustainability/singlecost/reduction_properties.v b/classic/analysis/uni/susp/sustainability/singlecost/reduction_properties.v
similarity index 100%
rename from analysis/uni/susp/sustainability/singlecost/reduction_properties.v
rename to classic/analysis/uni/susp/sustainability/singlecost/reduction_properties.v
diff --git a/implementation/apa/arrival_sequence.v b/classic/implementation/apa/arrival_sequence.v
similarity index 100%
rename from implementation/apa/arrival_sequence.v
rename to classic/implementation/apa/arrival_sequence.v
diff --git a/implementation/apa/bertogna_edf_example.v b/classic/implementation/apa/bertogna_edf_example.v
similarity index 100%
rename from implementation/apa/bertogna_edf_example.v
rename to classic/implementation/apa/bertogna_edf_example.v
diff --git a/implementation/apa/bertogna_fp_example.v b/classic/implementation/apa/bertogna_fp_example.v
similarity index 100%
rename from implementation/apa/bertogna_fp_example.v
rename to classic/implementation/apa/bertogna_fp_example.v
diff --git a/implementation/apa/job.v b/classic/implementation/apa/job.v
similarity index 100%
rename from implementation/apa/job.v
rename to classic/implementation/apa/job.v
diff --git a/implementation/apa/schedule.v b/classic/implementation/apa/schedule.v
similarity index 100%
rename from implementation/apa/schedule.v
rename to classic/implementation/apa/schedule.v
diff --git a/implementation/apa/task.v b/classic/implementation/apa/task.v
similarity index 100%
rename from implementation/apa/task.v
rename to classic/implementation/apa/task.v
diff --git a/implementation/arrival_sequence.v b/classic/implementation/arrival_sequence.v
similarity index 100%
rename from implementation/arrival_sequence.v
rename to classic/implementation/arrival_sequence.v
diff --git a/implementation/global/basic/bertogna_edf_example.v b/classic/implementation/global/basic/bertogna_edf_example.v
similarity index 100%
rename from implementation/global/basic/bertogna_edf_example.v
rename to classic/implementation/global/basic/bertogna_edf_example.v
diff --git a/implementation/global/basic/bertogna_fp_example.v b/classic/implementation/global/basic/bertogna_fp_example.v
similarity index 100%
rename from implementation/global/basic/bertogna_fp_example.v
rename to classic/implementation/global/basic/bertogna_fp_example.v
diff --git a/implementation/global/basic/schedule.v b/classic/implementation/global/basic/schedule.v
similarity index 100%
rename from implementation/global/basic/schedule.v
rename to classic/implementation/global/basic/schedule.v
diff --git a/implementation/global/jitter/arrival_sequence.v b/classic/implementation/global/jitter/arrival_sequence.v
similarity index 100%
rename from implementation/global/jitter/arrival_sequence.v
rename to classic/implementation/global/jitter/arrival_sequence.v
diff --git a/implementation/global/jitter/bertogna_edf_example.v b/classic/implementation/global/jitter/bertogna_edf_example.v
similarity index 100%
rename from implementation/global/jitter/bertogna_edf_example.v
rename to classic/implementation/global/jitter/bertogna_edf_example.v
diff --git a/implementation/global/jitter/bertogna_fp_example.v b/classic/implementation/global/jitter/bertogna_fp_example.v
similarity index 100%
rename from implementation/global/jitter/bertogna_fp_example.v
rename to classic/implementation/global/jitter/bertogna_fp_example.v
diff --git a/implementation/global/jitter/job.v b/classic/implementation/global/jitter/job.v
similarity index 100%
rename from implementation/global/jitter/job.v
rename to classic/implementation/global/jitter/job.v
diff --git a/implementation/global/jitter/schedule.v b/classic/implementation/global/jitter/schedule.v
similarity index 100%
rename from implementation/global/jitter/schedule.v
rename to classic/implementation/global/jitter/schedule.v
diff --git a/implementation/global/jitter/task.v b/classic/implementation/global/jitter/task.v
similarity index 100%
rename from implementation/global/jitter/task.v
rename to classic/implementation/global/jitter/task.v
diff --git a/implementation/global/parallel/bertogna_edf_example.v b/classic/implementation/global/parallel/bertogna_edf_example.v
similarity index 100%
rename from implementation/global/parallel/bertogna_edf_example.v
rename to classic/implementation/global/parallel/bertogna_edf_example.v
diff --git a/implementation/global/parallel/bertogna_fp_example.v b/classic/implementation/global/parallel/bertogna_fp_example.v
similarity index 100%
rename from implementation/global/parallel/bertogna_fp_example.v
rename to classic/implementation/global/parallel/bertogna_fp_example.v
diff --git a/implementation/job.v b/classic/implementation/job.v
similarity index 100%
rename from implementation/job.v
rename to classic/implementation/job.v
diff --git a/implementation/task.v b/classic/implementation/task.v
similarity index 100%
rename from implementation/task.v
rename to classic/implementation/task.v
diff --git a/implementation/uni/basic/extraction_tdma.v b/classic/implementation/uni/basic/extraction_tdma.v
similarity index 100%
rename from implementation/uni/basic/extraction_tdma.v
rename to classic/implementation/uni/basic/extraction_tdma.v
diff --git a/implementation/uni/basic/fp_rta_example.v b/classic/implementation/uni/basic/fp_rta_example.v
similarity index 100%
rename from implementation/uni/basic/fp_rta_example.v
rename to classic/implementation/uni/basic/fp_rta_example.v
diff --git a/implementation/uni/basic/schedule.v b/classic/implementation/uni/basic/schedule.v
similarity index 100%
rename from implementation/uni/basic/schedule.v
rename to classic/implementation/uni/basic/schedule.v
diff --git a/implementation/uni/basic/schedule_tdma.v b/classic/implementation/uni/basic/schedule_tdma.v
similarity index 100%
rename from implementation/uni/basic/schedule_tdma.v
rename to classic/implementation/uni/basic/schedule_tdma.v
diff --git a/implementation/uni/basic/tdma_rta_example.v b/classic/implementation/uni/basic/tdma_rta_example.v
similarity index 100%
rename from implementation/uni/basic/tdma_rta_example.v
rename to classic/implementation/uni/basic/tdma_rta_example.v
diff --git a/implementation/uni/jitter/arrival_sequence.v b/classic/implementation/uni/jitter/arrival_sequence.v
similarity index 100%
rename from implementation/uni/jitter/arrival_sequence.v
rename to classic/implementation/uni/jitter/arrival_sequence.v
diff --git a/implementation/uni/jitter/fp_rta_example.v b/classic/implementation/uni/jitter/fp_rta_example.v
similarity index 100%
rename from implementation/uni/jitter/fp_rta_example.v
rename to classic/implementation/uni/jitter/fp_rta_example.v
diff --git a/implementation/uni/jitter/job.v b/classic/implementation/uni/jitter/job.v
similarity index 100%
rename from implementation/uni/jitter/job.v
rename to classic/implementation/uni/jitter/job.v
diff --git a/implementation/uni/jitter/schedule.v b/classic/implementation/uni/jitter/schedule.v
similarity index 100%
rename from implementation/uni/jitter/schedule.v
rename to classic/implementation/uni/jitter/schedule.v
diff --git a/implementation/uni/jitter/task.v b/classic/implementation/uni/jitter/task.v
similarity index 100%
rename from implementation/uni/jitter/task.v
rename to classic/implementation/uni/jitter/task.v
diff --git a/implementation/uni/susp/dynamic/arrival_sequence.v b/classic/implementation/uni/susp/dynamic/arrival_sequence.v
similarity index 100%
rename from implementation/uni/susp/dynamic/arrival_sequence.v
rename to classic/implementation/uni/susp/dynamic/arrival_sequence.v
diff --git a/implementation/uni/susp/dynamic/job.v b/classic/implementation/uni/susp/dynamic/job.v
similarity index 100%
rename from implementation/uni/susp/dynamic/job.v
rename to classic/implementation/uni/susp/dynamic/job.v
diff --git a/implementation/uni/susp/dynamic/oblivious/fp_rta_example.v b/classic/implementation/uni/susp/dynamic/oblivious/fp_rta_example.v
similarity index 100%
rename from implementation/uni/susp/dynamic/oblivious/fp_rta_example.v
rename to classic/implementation/uni/susp/dynamic/oblivious/fp_rta_example.v
diff --git a/implementation/uni/susp/dynamic/task.v b/classic/implementation/uni/susp/dynamic/task.v
similarity index 100%
rename from implementation/uni/susp/dynamic/task.v
rename to classic/implementation/uni/susp/dynamic/task.v
diff --git a/implementation/uni/susp/schedule.v b/classic/implementation/uni/susp/schedule.v
similarity index 100%
rename from implementation/uni/susp/schedule.v
rename to classic/implementation/uni/susp/schedule.v
diff --git a/model/arrival/basic/arrival_bounds.v b/classic/model/arrival/basic/arrival_bounds.v
similarity index 100%
rename from model/arrival/basic/arrival_bounds.v
rename to classic/model/arrival/basic/arrival_bounds.v
diff --git a/model/arrival/basic/arrival_sequence.v b/classic/model/arrival/basic/arrival_sequence.v
similarity index 100%
rename from model/arrival/basic/arrival_sequence.v
rename to classic/model/arrival/basic/arrival_sequence.v
diff --git a/model/arrival/basic/job.v b/classic/model/arrival/basic/job.v
similarity index 100%
rename from model/arrival/basic/job.v
rename to classic/model/arrival/basic/job.v
diff --git a/model/arrival/basic/task.v b/classic/model/arrival/basic/task.v
similarity index 100%
rename from model/arrival/basic/task.v
rename to classic/model/arrival/basic/task.v
diff --git a/model/arrival/basic/task_arrival.v b/classic/model/arrival/basic/task_arrival.v
similarity index 100%
rename from model/arrival/basic/task_arrival.v
rename to classic/model/arrival/basic/task_arrival.v
diff --git a/model/arrival/curves/bounds.v b/classic/model/arrival/curves/bounds.v
similarity index 100%
rename from model/arrival/curves/bounds.v
rename to classic/model/arrival/curves/bounds.v
diff --git a/model/arrival/jitter/arrival_bounds.v b/classic/model/arrival/jitter/arrival_bounds.v
similarity index 100%
rename from model/arrival/jitter/arrival_bounds.v
rename to classic/model/arrival/jitter/arrival_bounds.v
diff --git a/model/arrival/jitter/arrival_sequence.v b/classic/model/arrival/jitter/arrival_sequence.v
similarity index 100%
rename from model/arrival/jitter/arrival_sequence.v
rename to classic/model/arrival/jitter/arrival_sequence.v
diff --git a/model/arrival/jitter/job.v b/classic/model/arrival/jitter/job.v
similarity index 100%
rename from model/arrival/jitter/job.v
rename to classic/model/arrival/jitter/job.v
diff --git a/model/arrival/jitter/task_arrival.v b/classic/model/arrival/jitter/task_arrival.v
similarity index 100%
rename from model/arrival/jitter/task_arrival.v
rename to classic/model/arrival/jitter/task_arrival.v
diff --git a/model/policy_tdma.v b/classic/model/policy_tdma.v
similarity index 100%
rename from model/policy_tdma.v
rename to classic/model/policy_tdma.v
diff --git a/model/priority.v b/classic/model/priority.v
similarity index 100%
rename from model/priority.v
rename to classic/model/priority.v
diff --git a/model/schedule/apa/affinity.v b/classic/model/schedule/apa/affinity.v
similarity index 100%
rename from model/schedule/apa/affinity.v
rename to classic/model/schedule/apa/affinity.v
diff --git a/model/schedule/apa/constrained_deadlines.v b/classic/model/schedule/apa/constrained_deadlines.v
similarity index 100%
rename from model/schedule/apa/constrained_deadlines.v
rename to classic/model/schedule/apa/constrained_deadlines.v
diff --git a/model/schedule/apa/interference.v b/classic/model/schedule/apa/interference.v
similarity index 100%
rename from model/schedule/apa/interference.v
rename to classic/model/schedule/apa/interference.v
diff --git a/model/schedule/apa/interference_edf.v b/classic/model/schedule/apa/interference_edf.v
similarity index 100%
rename from model/schedule/apa/interference_edf.v
rename to classic/model/schedule/apa/interference_edf.v
diff --git a/model/schedule/apa/platform.v b/classic/model/schedule/apa/platform.v
similarity index 100%
rename from model/schedule/apa/platform.v
rename to classic/model/schedule/apa/platform.v
diff --git a/model/schedule/global/basic/constrained_deadlines.v b/classic/model/schedule/global/basic/constrained_deadlines.v
similarity index 100%
rename from model/schedule/global/basic/constrained_deadlines.v
rename to classic/model/schedule/global/basic/constrained_deadlines.v
diff --git a/model/schedule/global/basic/interference.v b/classic/model/schedule/global/basic/interference.v
similarity index 100%
rename from model/schedule/global/basic/interference.v
rename to classic/model/schedule/global/basic/interference.v
diff --git a/model/schedule/global/basic/interference_edf.v b/classic/model/schedule/global/basic/interference_edf.v
similarity index 100%
rename from model/schedule/global/basic/interference_edf.v
rename to classic/model/schedule/global/basic/interference_edf.v
diff --git a/model/schedule/global/basic/platform.v b/classic/model/schedule/global/basic/platform.v
similarity index 100%
rename from model/schedule/global/basic/platform.v
rename to classic/model/schedule/global/basic/platform.v
diff --git a/model/schedule/global/basic/schedule.v b/classic/model/schedule/global/basic/schedule.v
similarity index 100%
rename from model/schedule/global/basic/schedule.v
rename to classic/model/schedule/global/basic/schedule.v
diff --git a/model/schedule/global/jitter/constrained_deadlines.v b/classic/model/schedule/global/jitter/constrained_deadlines.v
similarity index 100%
rename from model/schedule/global/jitter/constrained_deadlines.v
rename to classic/model/schedule/global/jitter/constrained_deadlines.v
diff --git a/model/schedule/global/jitter/interference.v b/classic/model/schedule/global/jitter/interference.v
similarity index 100%
rename from model/schedule/global/jitter/interference.v
rename to classic/model/schedule/global/jitter/interference.v
diff --git a/model/schedule/global/jitter/interference_edf.v b/classic/model/schedule/global/jitter/interference_edf.v
similarity index 100%
rename from model/schedule/global/jitter/interference_edf.v
rename to classic/model/schedule/global/jitter/interference_edf.v
diff --git a/model/schedule/global/jitter/job.v b/classic/model/schedule/global/jitter/job.v
similarity index 100%
rename from model/schedule/global/jitter/job.v
rename to classic/model/schedule/global/jitter/job.v
diff --git a/model/schedule/global/jitter/platform.v b/classic/model/schedule/global/jitter/platform.v
similarity index 100%
rename from model/schedule/global/jitter/platform.v
rename to classic/model/schedule/global/jitter/platform.v
diff --git a/model/schedule/global/jitter/schedule.v b/classic/model/schedule/global/jitter/schedule.v
similarity index 100%
rename from model/schedule/global/jitter/schedule.v
rename to classic/model/schedule/global/jitter/schedule.v
diff --git a/model/schedule/global/response_time.v b/classic/model/schedule/global/response_time.v
similarity index 100%
rename from model/schedule/global/response_time.v
rename to classic/model/schedule/global/response_time.v
diff --git a/model/schedule/global/schedulability.v b/classic/model/schedule/global/schedulability.v
similarity index 100%
rename from model/schedule/global/schedulability.v
rename to classic/model/schedule/global/schedulability.v
diff --git a/model/schedule/global/transformation/construction.v b/classic/model/schedule/global/transformation/construction.v
similarity index 100%
rename from model/schedule/global/transformation/construction.v
rename to classic/model/schedule/global/transformation/construction.v
diff --git a/model/schedule/global/workload.v b/classic/model/schedule/global/workload.v
similarity index 100%
rename from model/schedule/global/workload.v
rename to classic/model/schedule/global/workload.v
diff --git a/model/schedule/partitioned/schedulability.v b/classic/model/schedule/partitioned/schedulability.v
similarity index 100%
rename from model/schedule/partitioned/schedulability.v
rename to classic/model/schedule/partitioned/schedulability.v
diff --git a/model/schedule/partitioned/schedule.v b/classic/model/schedule/partitioned/schedule.v
similarity index 100%
rename from model/schedule/partitioned/schedule.v
rename to classic/model/schedule/partitioned/schedule.v
diff --git a/model/schedule/uni/basic/platform.v b/classic/model/schedule/uni/basic/platform.v
similarity index 100%
rename from model/schedule/uni/basic/platform.v
rename to classic/model/schedule/uni/basic/platform.v
diff --git a/model/schedule/uni/basic/platform_tdma.v b/classic/model/schedule/uni/basic/platform_tdma.v
similarity index 100%
rename from model/schedule/uni/basic/platform_tdma.v
rename to classic/model/schedule/uni/basic/platform_tdma.v
diff --git a/model/schedule/uni/end_time.v b/classic/model/schedule/uni/end_time.v
similarity index 100%
rename from model/schedule/uni/end_time.v
rename to classic/model/schedule/uni/end_time.v
diff --git a/model/schedule/uni/jitter/busy_interval.v b/classic/model/schedule/uni/jitter/busy_interval.v
similarity index 100%
rename from model/schedule/uni/jitter/busy_interval.v
rename to classic/model/schedule/uni/jitter/busy_interval.v
diff --git a/model/schedule/uni/jitter/platform.v b/classic/model/schedule/uni/jitter/platform.v
similarity index 100%
rename from model/schedule/uni/jitter/platform.v
rename to classic/model/schedule/uni/jitter/platform.v
diff --git a/model/schedule/uni/jitter/schedule.v b/classic/model/schedule/uni/jitter/schedule.v
similarity index 100%
rename from model/schedule/uni/jitter/schedule.v
rename to classic/model/schedule/uni/jitter/schedule.v
diff --git a/model/schedule/uni/jitter/valid_schedule.v b/classic/model/schedule/uni/jitter/valid_schedule.v
similarity index 100%
rename from model/schedule/uni/jitter/valid_schedule.v
rename to classic/model/schedule/uni/jitter/valid_schedule.v
diff --git a/model/schedule/uni/limited/abstract_RTA/abstract_rta.v b/classic/model/schedule/uni/limited/abstract_RTA/abstract_rta.v
similarity index 100%
rename from model/schedule/uni/limited/abstract_RTA/abstract_rta.v
rename to classic/model/schedule/uni/limited/abstract_RTA/abstract_rta.v
diff --git a/model/schedule/uni/limited/abstract_RTA/abstract_seq_rta.v b/classic/model/schedule/uni/limited/abstract_RTA/abstract_seq_rta.v
similarity index 100%
rename from model/schedule/uni/limited/abstract_RTA/abstract_seq_rta.v
rename to classic/model/schedule/uni/limited/abstract_RTA/abstract_seq_rta.v
diff --git a/model/schedule/uni/limited/abstract_RTA/definitions.v b/classic/model/schedule/uni/limited/abstract_RTA/definitions.v
similarity index 100%
rename from model/schedule/uni/limited/abstract_RTA/definitions.v
rename to classic/model/schedule/uni/limited/abstract_RTA/definitions.v
diff --git a/model/schedule/uni/limited/abstract_RTA/reduction_of_search_space.v b/classic/model/schedule/uni/limited/abstract_RTA/reduction_of_search_space.v
similarity index 100%
rename from model/schedule/uni/limited/abstract_RTA/reduction_of_search_space.v
rename to classic/model/schedule/uni/limited/abstract_RTA/reduction_of_search_space.v
diff --git a/model/schedule/uni/limited/abstract_RTA/sufficient_condition_for_lock_in_service.v b/classic/model/schedule/uni/limited/abstract_RTA/sufficient_condition_for_lock_in_service.v
similarity index 100%
rename from model/schedule/uni/limited/abstract_RTA/sufficient_condition_for_lock_in_service.v
rename to classic/model/schedule/uni/limited/abstract_RTA/sufficient_condition_for_lock_in_service.v
diff --git a/model/schedule/uni/limited/busy_interval.v b/classic/model/schedule/uni/limited/busy_interval.v
similarity index 100%
rename from model/schedule/uni/limited/busy_interval.v
rename to classic/model/schedule/uni/limited/busy_interval.v
diff --git a/model/schedule/uni/limited/edf/nonpr_reg/concrete_models/response_time_bound.v b/classic/model/schedule/uni/limited/edf/nonpr_reg/concrete_models/response_time_bound.v
similarity index 100%
rename from model/schedule/uni/limited/edf/nonpr_reg/concrete_models/response_time_bound.v
rename to classic/model/schedule/uni/limited/edf/nonpr_reg/concrete_models/response_time_bound.v
diff --git a/model/schedule/uni/limited/edf/nonpr_reg/response_time_bound.v b/classic/model/schedule/uni/limited/edf/nonpr_reg/response_time_bound.v
similarity index 100%
rename from model/schedule/uni/limited/edf/nonpr_reg/response_time_bound.v
rename to classic/model/schedule/uni/limited/edf/nonpr_reg/response_time_bound.v
diff --git a/model/schedule/uni/limited/edf/response_time_bound.v b/classic/model/schedule/uni/limited/edf/response_time_bound.v
similarity index 100%
rename from model/schedule/uni/limited/edf/response_time_bound.v
rename to classic/model/schedule/uni/limited/edf/response_time_bound.v
diff --git a/model/schedule/uni/limited/fixed_priority/nonpr_reg/concrete_models/response_time_bound.v b/classic/model/schedule/uni/limited/fixed_priority/nonpr_reg/concrete_models/response_time_bound.v
similarity index 100%
rename from model/schedule/uni/limited/fixed_priority/nonpr_reg/concrete_models/response_time_bound.v
rename to classic/model/schedule/uni/limited/fixed_priority/nonpr_reg/concrete_models/response_time_bound.v
diff --git a/model/schedule/uni/limited/fixed_priority/nonpr_reg/response_time_bound.v b/classic/model/schedule/uni/limited/fixed_priority/nonpr_reg/response_time_bound.v
similarity index 100%
rename from model/schedule/uni/limited/fixed_priority/nonpr_reg/response_time_bound.v
rename to classic/model/schedule/uni/limited/fixed_priority/nonpr_reg/response_time_bound.v
diff --git a/model/schedule/uni/limited/fixed_priority/response_time_bound.v b/classic/model/schedule/uni/limited/fixed_priority/response_time_bound.v
similarity index 100%
rename from model/schedule/uni/limited/fixed_priority/response_time_bound.v
rename to classic/model/schedule/uni/limited/fixed_priority/response_time_bound.v
diff --git a/model/schedule/uni/limited/jlfp_instantiation.v b/classic/model/schedule/uni/limited/jlfp_instantiation.v
similarity index 100%
rename from model/schedule/uni/limited/jlfp_instantiation.v
rename to classic/model/schedule/uni/limited/jlfp_instantiation.v
diff --git a/model/schedule/uni/limited/platform/definitions.v b/classic/model/schedule/uni/limited/platform/definitions.v
similarity index 100%
rename from model/schedule/uni/limited/platform/definitions.v
rename to classic/model/schedule/uni/limited/platform/definitions.v
diff --git a/model/schedule/uni/limited/platform/limited.v b/classic/model/schedule/uni/limited/platform/limited.v
similarity index 100%
rename from model/schedule/uni/limited/platform/limited.v
rename to classic/model/schedule/uni/limited/platform/limited.v
diff --git a/model/schedule/uni/limited/platform/nonpreemptive.v b/classic/model/schedule/uni/limited/platform/nonpreemptive.v
similarity index 100%
rename from model/schedule/uni/limited/platform/nonpreemptive.v
rename to classic/model/schedule/uni/limited/platform/nonpreemptive.v
diff --git a/model/schedule/uni/limited/platform/preemptive.v b/classic/model/schedule/uni/limited/platform/preemptive.v
similarity index 100%
rename from model/schedule/uni/limited/platform/preemptive.v
rename to classic/model/schedule/uni/limited/platform/preemptive.v
diff --git a/model/schedule/uni/limited/platform/priority_inversion_is_bounded.v b/classic/model/schedule/uni/limited/platform/priority_inversion_is_bounded.v
similarity index 100%
rename from model/schedule/uni/limited/platform/priority_inversion_is_bounded.v
rename to classic/model/schedule/uni/limited/platform/priority_inversion_is_bounded.v
diff --git a/model/schedule/uni/limited/platform/util.v b/classic/model/schedule/uni/limited/platform/util.v
similarity index 100%
rename from model/schedule/uni/limited/platform/util.v
rename to classic/model/schedule/uni/limited/platform/util.v
diff --git a/model/schedule/uni/limited/rbf.v b/classic/model/schedule/uni/limited/rbf.v
similarity index 100%
rename from model/schedule/uni/limited/rbf.v
rename to classic/model/schedule/uni/limited/rbf.v
diff --git a/model/schedule/uni/limited/schedule.v b/classic/model/schedule/uni/limited/schedule.v
similarity index 100%
rename from model/schedule/uni/limited/schedule.v
rename to classic/model/schedule/uni/limited/schedule.v
diff --git a/model/schedule/uni/nonpreemptive/platform.v b/classic/model/schedule/uni/nonpreemptive/platform.v
similarity index 100%
rename from model/schedule/uni/nonpreemptive/platform.v
rename to classic/model/schedule/uni/nonpreemptive/platform.v
diff --git a/model/schedule/uni/nonpreemptive/schedule.v b/classic/model/schedule/uni/nonpreemptive/schedule.v
similarity index 100%
rename from model/schedule/uni/nonpreemptive/schedule.v
rename to classic/model/schedule/uni/nonpreemptive/schedule.v
diff --git a/model/schedule/uni/response_time.v b/classic/model/schedule/uni/response_time.v
similarity index 100%
rename from model/schedule/uni/response_time.v
rename to classic/model/schedule/uni/response_time.v
diff --git a/model/schedule/uni/schedulability.v b/classic/model/schedule/uni/schedulability.v
similarity index 100%
rename from model/schedule/uni/schedulability.v
rename to classic/model/schedule/uni/schedulability.v
diff --git a/model/schedule/uni/schedule.v b/classic/model/schedule/uni/schedule.v
similarity index 100%
rename from model/schedule/uni/schedule.v
rename to classic/model/schedule/uni/schedule.v
diff --git a/model/schedule/uni/schedule_of_task.v b/classic/model/schedule/uni/schedule_of_task.v
similarity index 100%
rename from model/schedule/uni/schedule_of_task.v
rename to classic/model/schedule/uni/schedule_of_task.v
diff --git a/model/schedule/uni/service.v b/classic/model/schedule/uni/service.v
similarity index 100%
rename from model/schedule/uni/service.v
rename to classic/model/schedule/uni/service.v
diff --git a/model/schedule/uni/susp/build_suspension_table.v b/classic/model/schedule/uni/susp/build_suspension_table.v
similarity index 100%
rename from model/schedule/uni/susp/build_suspension_table.v
rename to classic/model/schedule/uni/susp/build_suspension_table.v
diff --git a/model/schedule/uni/susp/last_execution.v b/classic/model/schedule/uni/susp/last_execution.v
similarity index 100%
rename from model/schedule/uni/susp/last_execution.v
rename to classic/model/schedule/uni/susp/last_execution.v
diff --git a/model/schedule/uni/susp/platform.v b/classic/model/schedule/uni/susp/platform.v
similarity index 100%
rename from model/schedule/uni/susp/platform.v
rename to classic/model/schedule/uni/susp/platform.v
diff --git a/model/schedule/uni/susp/schedule.v b/classic/model/schedule/uni/susp/schedule.v
similarity index 100%
rename from model/schedule/uni/susp/schedule.v
rename to classic/model/schedule/uni/susp/schedule.v
diff --git a/model/schedule/uni/susp/suspension_intervals.v b/classic/model/schedule/uni/susp/suspension_intervals.v
similarity index 100%
rename from model/schedule/uni/susp/suspension_intervals.v
rename to classic/model/schedule/uni/susp/suspension_intervals.v
diff --git a/model/schedule/uni/susp/valid_schedule.v b/classic/model/schedule/uni/susp/valid_schedule.v
similarity index 100%
rename from model/schedule/uni/susp/valid_schedule.v
rename to classic/model/schedule/uni/susp/valid_schedule.v
diff --git a/model/schedule/uni/sustainability.v b/classic/model/schedule/uni/sustainability.v
similarity index 100%
rename from model/schedule/uni/sustainability.v
rename to classic/model/schedule/uni/sustainability.v
diff --git a/model/schedule/uni/transformation/construction.v b/classic/model/schedule/uni/transformation/construction.v
similarity index 100%
rename from model/schedule/uni/transformation/construction.v
rename to classic/model/schedule/uni/transformation/construction.v
diff --git a/model/schedule/uni/workload.v b/classic/model/schedule/uni/workload.v
similarity index 100%
rename from model/schedule/uni/workload.v
rename to classic/model/schedule/uni/workload.v
diff --git a/model/suspension.v b/classic/model/suspension.v
similarity index 100%
rename from model/suspension.v
rename to classic/model/suspension.v
diff --git a/model/time.v b/classic/model/time.v
similarity index 100%
rename from model/time.v
rename to classic/model/time.v