EDF instantiation of abstract RTA

added 5 commits

• 4afa318f - Add new property of JLFP policy
• 2f82d4d9 - Add a corollary about sequential jobs
• 16238d3e - Generalize instantiation of Interference and Interfering Workload for FP and EDF
• a5186fe7 - Restructure FP folder
• 2d756c7b - Restructure EDF folder

Compare with previous version

added 3 commits

• 796eac96 - Generalize instantiation of Interference and Interfering Workload for FP and EDF
• 31bc40cc - Restructure FP folder
• 7d129d2b - Restructure EDF folder

Compare with previous version

added 11 commits

• 7d129d2b...d52138bf - 5 commits from branch RT-PROOFS:master
• d83c9904 - Finish EDF instantiation of abstract RTA
• 8ec67d13 - Add new property of JLFP policy
• dfb9079e - Add a corollary about sequential jobs
• 52ae15f5 - Generalize instantiation of Interference and Interfering Workload for FP and EDF
• 49870e5f - Restructure FP folder
• 184f7219 - Restructure EDF folder

Compare with previous version

assigned to @sbozhko

assigned to @bbb

assigned to @sbozhko

assigned to @bbb

Looks good, I'll merge it now. Thanks!

added 8 commits

• 184f7219...4f4f2e3e - 2 commits from branch RT-PROOFS:master
• 5aef040a - Finish EDF instantiation of abstract RTA
• 7313c486 - Add new property of JLFP policy
• e5889331 - Add a corollary about sequential jobs
• 5ddb3c4c - Generalize instantiation of Interference and Interfering Workload for FP and EDF
• fe1f550b - Restructure FP folder
• ea37ed6f - Restructure EDF folder

Compare with previous version

merged