make a few cosmetic tweaks in the EDF optimality proof (!56) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Björn Brandenburg requested to merge edf-cosmetic-tweaks into master 5 years ago

As discussed in #57 (closed).

Activity

Björn Brandenburg enabled an automatic merge when the pipeline for bbefcd16 succeeds 5 years ago

enabled an automatic merge when the pipeline for bbefcd16 succeeds
Björn Brandenburg merged 5 years ago

merged

Please register or sign in to reply