change the name to to aid readability (!209) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

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

All threads resolved!

As described in #92 (closed) , the name np_uni_schedule is problematic. This name has been changed to the more appropriate pmc_uni_schedule.

Edited 3 years ago by Kimaya Bedarkar

Activity

Kimaya Bedarkar added 1 commit 3 years ago
added 1 commit

0cff189b - make name better

Compare with previous version
Kimaya Bedarkar changed the description 3 years ago

changed the description
Björn Brandenburg @bbb started a thread on an old version of the diff 3 years ago

Automatically resolved 3 years ago by Kimaya Bedarkar
Last reply by Björn Brandenburg 3 years ago

Björn Brandenburg @bbb · 3 years ago

Owner

Thank you! Please squash the commits and add "Closes: #92 (closed)" to the commit message.

Kimaya Bedarkar resolved all threads 3 years ago

resolved all threads

Kimaya Bedarkar added 1 commit 3 years ago

added 1 commit

365ac679 - fix comment

Compare with previous version

Kimaya Bedarkar resolved all threads 3 years ago

resolved all threads

Kimaya Bedarkar added 1 commit 3 years ago

added 1 commit

763b41ac - change the name to to aid readability

Compare with previous version

Kimaya Bedarkar added 1 commit 3 years ago

added 1 commit

219eb617 - change the name to to aid readability

Compare with previous version

Kimaya Bedarkar added 3 commits 3 years ago

added 3 commits

219eb617...fa41e214 - 2 commits from branch RT-PROOFS:master
f8b98229 - change the name to to aid readability

Compare with previous version

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

enabled an automatic merge when the pipeline for f8b98229 succeeds

Björn Brandenburg merged 3 years ago

merged

Please register or sign in to reply