Small fixes (!160) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Mariam Vardishvili requested to merge RTS/internships-2021:master into master 3 years ago

All threads resolved!

Changed name of lemma instantiated_busy_interval_equivalent_edf_busy_interval.
Changed IBF to IBF_other.
Task type changed in fully_preemptive.v
Comment changes.

Edited 3 years ago by Sergey Bozhko

Activity

Sergey Bozhko changed the description 3 years ago

changed the description
Sergey Bozhko requested review from @mmaida 3 years ago

requested review from @mmaida
Sergey Bozhko assigned to @bbb 3 years ago

assigned to @bbb
Björn Brandenburg added 15 commits 3 years ago
added 15 commits

3d20fd64...40facd1d - 9 commits from branch RT-PROOFS:master

af427614 - fixed lemma instantiated_busy_interval_equivalent_edf_busy_interval name

2bf842d3 - Fixed comment for lemma reorder_summation

2bc6e27e - Changed IBF to IBF_other

ede8d64c - comment for IBF_other changed

83a919cf - comment change

a2081b0b - comment change

Compare with previous version
Toggle commit list
Ghost User @ghost started a thread on an old version of the diff 3 years ago

Automatically resolved 3 years ago by Mariam Vardishvili
Last reply by Ghost User 3 years ago

Ghost User @ghost · 3 years ago

Contributor

It's fine to me

Mariam Vardishvili resolved all threads 3 years ago

resolved all threads

Mariam Vardishvili added 1 commit 3 years ago

added 1 commit

7c83ee0e - Update bounded_pi.v, changed comment.

Compare with previous version

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

Automatically resolved 3 years ago by Mariam Vardishvili

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

Automatically resolved 3 years ago by Mariam Vardishvili

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

Automatically resolved 3 years ago by Mariam Vardishvili

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

Automatically resolved 3 years ago by Mariam Vardishvili

Mariam Vardishvili resolved all threads 3 years ago

resolved all threads

Mariam Vardishvili added 3 commits 3 years ago

added 3 commits

cea8ef85 - change comment
a60d769c - commit change
c6d1b578 - Merge branch 'master' of gitlab.mpi-sws.org:RTS/internships-2021

Compare with previous version

Björn Brandenburg added 5 commits 3 years ago

added 5 commits

0e20d8bc - fix misleading lemma name
56d36f0e - rename [IBF] to [IBF_other]
8c240914 - properly describe [IBF_other]
9aca7702 - fix misleading type
e1f5e262 - improve comments in bounded PI arguments

Compare with previous version

Toggle commit list

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

enabled an automatic merge when the pipeline for e1f5e262 succeeds

Björn Brandenburg merged 3 years ago

merged

Please register or sign in to reply