Merge requests · RT-PROOFS

Prove a few auxiliary lemmas

rt-proofs!356 · created Jan 24, 2024 by Sergey Bozhko
- Merged
- 3
updated Jan 24, 2024
Prove that job's max lower-priority non-preemptive segment is bounded

rt-proofs!355 · created Jan 23, 2024 by Sergey Bozhko
- Merged
- 4
updated Jan 24, 2024
Refactor assumptions in a lemma about RBF

rt-proofs!354 · created Jan 23, 2024 by Sergey Bozhko
- Merged
- 1
updated Jan 23, 2024
small refactor of arrivals lemmas

rt-proofs!353 · created Jan 22, 2024 by Kimaya Bedarkar
- Merged
- 19
- Approved
updated Feb 06, 2024
Prove that abstract search space is a subset of RS-FP search space

rt-proofs!352 · created Jan 22, 2024 by Sergey Bozhko
- Merged
- 16
updated Jan 23, 2024
Draft: Completed jobs aren't served

rt-proofs!351 · created Jan 19, 2024 by Sergey Bozhko
- Closed
- 5
updated Apr 08, 2024
De-duplicate [blocking_bound]

rt-proofs!350 · created Jan 19, 2024 by Sergey Bozhko
- Merged
- 9
updated Jan 22, 2024
Prove lemmas about restricted supply proc. and change SBF def

rt-proofs!349 · created Jan 19, 2024 by Sergey Bozhko
- Merged
- 3
updated Jan 19, 2024
Add I/IW instantiation for restricted supply

rt-proofs!348 · created Jan 18, 2024 by Sergey Bozhko
- Merged
- 17
updated Jan 19, 2024
Prove existence of abstract busy interval

rt-proofs!347 · created Jan 16, 2024 by Sergey Bozhko
- Merged
- 25
- 1
updated Jan 18, 2024
generalize proof and improve structure

rt-proofs!346 · created Jan 15, 2024 by Sergey Bozhko
- Merged
- 5
updated Jan 16, 2024
restructure I/IW instantiation files

rt-proofs!345 · created Jan 15, 2024 by Sergey Bozhko
- Merged
- 26
updated Jan 15, 2024
Define some notions about workload and service + clean up

rt-proofs!344 · created Jan 12, 2024 by Sergey Bozhko
- Merged
- 12
updated Jan 15, 2024
Service inversion is bounded

rt-proofs!343 · created Jan 10, 2024 by Sergey Bozhko
- Merged
- 9
updated Jan 12, 2024
improve terminology about priority inversion

rt-proofs!342 · created Jan 10, 2024 by Sergey Bozhko
- Merged
- 1
updated Jan 10, 2024
release jitter propagation

rt-proofs!341 · created Jan 08, 2024 by Björn Brandenburg
- Merged
- 7
updated Jan 15, 2024
Improve SBF-definition structure

rt-proofs!340 · created Jan 05, 2024 by Sergey Bozhko
- Merged
- 9
updated Jan 06, 2024
Introduce notion of service inversion

rt-proofs!339 · created Jan 04, 2024 by Sergey Bozhko
- Merged
- 75
updated Jan 10, 2024
CI: use locally hosted Docker images

rt-proofs!338 · created Jan 03, 2024 by Björn Brandenburg
updated Jan 03, 2024
remove Makefile patching and fix links in spec

rt-proofs!337 · created Jan 03, 2024 by Björn Brandenburg
updated Jan 03, 2024