Merge requests · RT-PROOFS

Draft: Add the RTA for ELF

rt-proofs!296 · created Apr 10, 2023 by Kimaya Bedarkar
- Closed
- 8
updated Apr 13, 2023
weaken one assumption

rt-proofs!295 · created Apr 10, 2023 by Kimaya Bedarkar
updated Apr 10, 2023
change POET's task notation

rt-proofs!294 · created Apr 06, 2023 by Björn Brandenburg
- Merged
- 4
updated Apr 11, 2023
CI: switch to custom mathcomp image

rt-proofs!293 · created Apr 06, 2023 by Björn Brandenburg
updated Apr 06, 2023
[CI] Temporary workaround

rt-proofs!292 · created Apr 06, 2023 by Pierre Roux
- Closed
- 2
updated Apr 06, 2023
Add some helper lemmas

rt-proofs!291 · created Apr 06, 2023 by Kimaya Bedarkar
- Merged
- 47
updated Apr 10, 2023
using the general JLFP pi lemmas in edf result

rt-proofs!290 · created Apr 06, 2023 by Meenal Gupta
- Merged
- 5
- Approved
updated Apr 06, 2023
update guidelines

rt-proofs!289 · created Apr 06, 2023 by Björn Brandenburg
- Merged
- 4
updated Apr 14, 2023
adding helper lemmas for workload partitioning for ELF

rt-proofs!288 · created Apr 05, 2023 by Meenal Gupta
- Merged
- 18
- Approved
updated Apr 06, 2023
Draft: Add elf helper lemmas

rt-proofs!287 · created Apr 05, 2023 by Meenal Gupta
- Closed
updated Apr 05, 2023
revise ELF<->FP generality claim

rt-proofs!286 · created Apr 04, 2023 by Björn Brandenburg
- Merged
- 1
- Approved
updated Apr 05, 2023
generalised Priority Inversion Lemmas for JLFP policies.

rt-proofs!285 · created Apr 04, 2023 by Meenal Gupta
- Merged
- 18
updated Apr 06, 2023
eliminate ideal uniprocessor assumption from preemption-model facts

rt-proofs!284 · created Apr 03, 2023 by Björn Brandenburg
updated Apr 05, 2023
CI: check that POET certificates keep working

rt-proofs!283 · created Apr 01, 2023 by Björn Brandenburg
updated Apr 03, 2023
Adjust to prosa changes

POET!1 · created Apr 01, 2023 by Björn Brandenburg
updated Apr 01, 2023
ELF Generality

rt-proofs!282 · created Mar 30, 2023 by Meenal Gupta
- Merged
- 16
- Approved
updated Apr 04, 2023
add a workload partitioning lemma

rt-proofs!281 · created Mar 30, 2023 by Björn Brandenburg
- Merged
- 5
- 1
- Approved
updated Mar 30, 2023
more ideal uniprocessor cleanup

rt-proofs!280 · created Mar 30, 2023 by Björn Brandenburg
- Merged
- 5
updated Mar 30, 2023
Scheduled jobs in priority inversion

rt-proofs!279 · created Mar 30, 2023 by Pierre Roux
- Merged
- 1
updated Jul 05, 2023
Draft: Preemption bounded nps

rt-proofs!278 · created Mar 30, 2023 by Meenal Gupta
- Closed
- 7
updated Apr 20, 2023