Workload minus job cost (!175) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Kimaya Bedarkar requested to merge RTS/internships-2021:workload_minus_job_cost into master 3 years ago

Add lemma workload_minus_job_cost in analysis/facts/model/workload

Activity

Sergey Bozhko approved this merge request 3 years ago

approved this merge request
Sergey Bozhko @sbozhko · 3 years ago

Maintainer

Looks good
Björn Brandenburg added 4 commits 3 years ago
added 4 commits

9227bdb4 - 1 commit from branch RT-PROOFS:master

5e99ba52 - added_new_lemma

da1fada2 - fixed formatting

69f544c9 - polish

Compare with previous version
Toggle commit list
Björn Brandenburg added 1 commit 3 years ago
added 1 commit

035b16cb - language tweaks

Compare with previous version
Björn Brandenburg enabled an automatic merge when the pipeline for 035b16cb succeeds 3 years ago

enabled an automatic merge when the pipeline for 035b16cb succeeds
Björn Brandenburg approved this merge request 3 years ago

approved this merge request
Björn Brandenburg merged 3 years ago

merged

Please register or sign in to reply