Delete duplications of search space (!89) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Sergey Bozhko requested to merge sbozhko/rt-proofs:del_dups into master 5 years ago

All threads resolved!

Activity

Björn Brandenburg @bbb · 5 years ago

Owner

Resolved 5 years ago by Björn Brandenburg

Thanks! One question: Why give these definitions the suffixes _edf and _fp? Isn't that clear from the location of the respective modules anyway?

Edited 5 years ago by Björn Brandenburg

Last reply by Björn Brandenburg 5 years ago
Sergey Bozhko added 1 commit 5 years ago
added 1 commit

fedef925 - Delete duplications of search space

Compare with previous version
Björn Brandenburg resolved all threads 5 years ago

resolved all threads
Björn Brandenburg enabled an automatic merge when the pipeline for fedef925 succeeds 5 years ago

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

merged

Please register or sign in to reply