Draft: Completed jobs aren't served

Depends on !320 (merged).

FYI: It is not a complete fix.

changed title from Draft: Completed jobs arent served to Draft: Completed jobs aren't served

changed the description

changed the description

From the title, I'm not entirely sure what the goal of this MR is, and the diff is large. When you want me to review this, please add a short elaboration of the MR's purpose to the description.

added 12 commits

• 0eae78ce...ea46b21d - 8 commits from branch RT-PROOFS:master
• 45716e24 - prove that task intra-supply IBF is a valid bound
• 77220aa5 - prove restricted supply FP-FP RTA
• 9a1e0406 - interesting changes
• 27718c41 - awful

Compare with previous version

resolved all threads

added 5 commits

• 42652fce - prove that task intra-supply IBF is a valid bound
• 7c799bdd - prove restricted supply FP-FP RTA
• 0175920f - : relax [completed_jobs_dont_execute] assumption
• 02eb426e - interesting changes
• 60d6340d - a lot of changes

Compare with previous version

added 1 commit

• d9a17c5b - a lot of changes

Compare with previous version

added 4 commits

• 92242eac - (ignore this commit) prove that task intra-supply IBF is a valid bound
• 37c5390c - : relax [completed_jobs_dont_execute] assumption
• 904588db - interesting changes
• 8f735b31 - a lot of changes

Compare with previous version

mentioned in merge request !359 (closed)

Can this be closed now?

I think so

closed