Generalize one lemma

marked this merge request as draft

changed title from Draft: Removeseq1 to Draft: Add non sequential RTA for fixed priority

added 1 commit

• 733b47ff - some progress

Compare with previous version

added 1 commit

• 1845c6f6 - refactor

Compare with previous version

resolved all threads

added 1 commit

• 29ae9b6b - polish

Compare with previous version

added 1 commit

• ffec796a - some comments

Compare with previous version