retire classic Prosa

Remove the classic module from the source tree, to speed up CI and to avoid having to maintain it going forward as we adopt newer Coq and mathcomp versions. Issue: #98

retire classic Prosa
1faa0f2d · Björn Brandenburg · f7a3ae37 · f7a3ae37 · f7a3ae37 · f7a3ae37
Commit 1faa0f2d authored 2 years ago by Björn Brandenburg
--- a/classic/analysis/uni/basic/workload_bound_fp.v
+++ b/classic/analysis/uni/basic/workload_bound_fp.v
--- a/classic/analysis/uni/jitter/fp_rta_comp.v
+++ b/classic/analysis/uni/jitter/fp_rta_comp.v
--- a/classic/analysis/uni/jitter/fp_rta_theory.v
+++ b/classic/analysis/uni/jitter/fp_rta_theory.v
--- a/classic/analysis/uni/jitter/workload_bound_fp.v
+++ b/classic/analysis/uni/jitter/workload_bound_fp.v
--- a/classic/analysis/uni/susp/dynamic/jitter/jitter_schedule.v
+++ b/classic/analysis/uni/susp/dynamic/jitter/jitter_schedule.v
--- a/classic/analysis/uni/susp/dynamic/jitter/jitter_schedule_properties.v
+++ b/classic/analysis/uni/susp/dynamic/jitter/jitter_schedule_properties.v
--- a/classic/analysis/uni/susp/dynamic/jitter/jitter_schedule_service.v
+++ b/classic/analysis/uni/susp/dynamic/jitter/jitter_schedule_service.v
--- a/classic/analysis/uni/susp/dynamic/jitter/jitter_taskset_generation.v
+++ b/classic/analysis/uni/susp/dynamic/jitter/jitter_taskset_generation.v
--- a/classic/analysis/uni/susp/dynamic/jitter/rta_by_reduction.v
+++ b/classic/analysis/uni/susp/dynamic/jitter/rta_by_reduction.v
--- a/classic/analysis/uni/susp/dynamic/jitter/taskset_membership.v
+++ b/classic/analysis/uni/susp/dynamic/jitter/taskset_membership.v
--- a/classic/analysis/uni/susp/dynamic/jitter/taskset_rta.v
+++ b/classic/analysis/uni/susp/dynamic/jitter/taskset_rta.v
--- a/classic/analysis/uni/susp/dynamic/oblivious/fp_rta.v
+++ b/classic/analysis/uni/susp/dynamic/oblivious/fp_rta.v
--- a/classic/analysis/uni/susp/dynamic/oblivious/reduction.v
+++ b/classic/analysis/uni/susp/dynamic/oblivious/reduction.v
--- a/classic/analysis/uni/susp/sustainability/allcosts/main_claim.v
+++ b/classic/analysis/uni/susp/sustainability/allcosts/main_claim.v
--- a/classic/analysis/uni/susp/sustainability/allcosts/reduction.v
+++ b/classic/analysis/uni/susp/sustainability/allcosts/reduction.v
--- a/classic/analysis/uni/susp/sustainability/allcosts/reduction_properties.v
+++ b/classic/analysis/uni/susp/sustainability/allcosts/reduction_properties.v
--- a/classic/analysis/uni/susp/sustainability/singlecost/reduction.v
+++ b/classic/analysis/uni/susp/sustainability/singlecost/reduction.v
--- a/classic/analysis/uni/susp/sustainability/singlecost/reduction_properties.v
+++ b/classic/analysis/uni/susp/sustainability/singlecost/reduction_properties.v
--- a/classic/implementation/apa/arrival_sequence.v
+++ b/classic/implementation/apa/arrival_sequence.v
--- a/classic/implementation/apa/bertogna_edf_example.v
+++ b/classic/implementation/apa/bertogna_edf_example.v