Modified EDF blocking_bound

• Modified EDF blocking bound, so lower priority tasks are chosen depending on the arrival offset and deadline of the task.

resolved all threads

added 1 commit

• de6948a9 - updated comments, tabulation fix

Compare with previous version

resolved all threads

added 1 commit

• 9224e936 - spelling fix

Compare with previous version

resolved all threads

added 1 commit

• 62d154f0 - indentation fixes

Compare with previous version

added 1 commit

• 40918d1d - indentation fixes

Compare with previous version

added 2 commits

• cecbb384 - comment tweaks
• 62e6f6d3 - polishing tweaks

Compare with previous version

added 1 commit

• eccea932 - more polishing tweaks

Compare with previous version

added 1 commit

• b48f77d5 - comment change

Compare with previous version

added 1 commit

• bf276d84 - proof golf -- make "in search space" proof shorter

Compare with previous version

added 1 commit

• 9aaefae4 - priority_inversion_bound changed to variable

Compare with previous version

resolved all threads

added 1 commit

• 31b3b84a - comment tweak

Compare with previous version

added 1 commit

• c31c9c03 - clean up proof

Compare with previous version

added 35 commits

• c31c9c03...3f1590f7 - 2 commits from branch RT-PROOFS:master
• 733298f1 - offset based Blocking bound of job
• 65d45cab - added [priority_inversion_with_offset_is_bounded_by],...
• 650b7f8c - priority_inversion_is_bounded_by_blocking
• 990454a1 - minor update
• 1910928b - A is in concrete search space
• 4784c086 - lemma priority inversion changes with hep workload
• fdafaf51 - modified copied file after rebase
• 1f77abab - moved changes to original file
• 92501cc1 - modified proof
• e2ab9cd3 - remove assumption
• a961f638 - progress proof
• 17a2e2bf - finish proof; redefine search space
• 448cdccd - change defn. remove let statements, shorten proof
• ffb51f44 - remove unnecessary assumption from all files
• 20a5cf50 - remove comment;fix pipeline
• 95615b0b - use correct lemma; modify proof
• 4fea14ff - shorten proof
• a7dde8cf - shorter proof
• 3ea64b24 - edit comment
• af10757f - changed names
• 11e49541 - added comments
• be363a0c - updated comments, tabulation fix
• 45709c34 - spelling fix
• b8ecf1b7 - indentation fixes
• 74b56b8a - indentation fixes
• 2e24db72 - comment tweaks
• e15794d3 - polishing tweaks
• 82decf6f - more polishing tweaks
• 1360a0c4 - comment change
• e687beae - proof golf -- make "in search space" proof shorter
• 41484a6c - priority_inversion_bound changed to variable
• a8fcdd56 - comment tweak
• 420fb84e - clean up proof

Compare with previous version

added 1 commit

• 96d4e001 - comment tweaks

Compare with previous version

added 1 commit

• 62e82951 - coding style

Compare with previous version

enabled an automatic merge when the pipeline for 62e82951 succeeds

merged