Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

clean up some FIFO facts

!303 · created Apr 25, 2023 by Björn Brandenburg
- Merged
- 1
- Approved
updated Apr 25, 2023
add hints to avoid busy-window destruct'ing

!302 · created Apr 20, 2023 by Björn Brandenburg
- Merged
- 6
- Approved
updated Apr 20, 2023
silence some warnings

!300 · created Apr 19, 2023 by Björn Brandenburg
- Merged
- 2
updated Apr 20, 2023
RTA for ELF scheduling policy

!298 · created Apr 13, 2023 by Meenal Gupta
- Merged
- 219
- Approved
updated Apr 19, 2023
Integrate rt_eauto into done (hence by and //)

!299 · created Apr 19, 2023 by Pierre Roux
- Merged
- 3
updated Apr 19, 2023
update guidelines

!289 · created Apr 06, 2023 by Björn Brandenburg
- Merged
- 4
updated Apr 14, 2023
generalize preemption_time and priority-model compliance to any processor model

!276 · created Mar 27, 2023 by Björn Brandenburg
- Merged
- 15
- Approved
updated Apr 14, 2023
Amend FP bounded_nps to use generalised JLFP PI lemmas

!297 · created Apr 11, 2023 by Meenal Gupta
- Merged
updated Apr 11, 2023
change POET's task notation

!294 · created Apr 06, 2023 by Björn Brandenburg
- Merged
- 4
updated Apr 11, 2023
weaken one assumption

!295 · created Apr 10, 2023 by Kimaya Bedarkar
updated Apr 10, 2023
Add some helper lemmas

!291 · created Apr 06, 2023 by Kimaya Bedarkar
- Merged
- 47
updated Apr 10, 2023
CI: switch to custom mathcomp image

!293 · created Apr 06, 2023 by Björn Brandenburg
updated Apr 06, 2023
using the general JLFP pi lemmas in edf result

!290 · created Apr 06, 2023 by Meenal Gupta
- Merged
- 5
- Approved
updated Apr 06, 2023
generalised Priority Inversion Lemmas for JLFP policies.

!285 · created Apr 04, 2023 by Meenal Gupta
- Merged
- 18
updated Apr 06, 2023
adding helper lemmas for workload partitioning for ELF

!288 · created Apr 05, 2023 by Meenal Gupta
- Merged
- 18
- Approved
updated Apr 06, 2023
eliminate ideal uniprocessor assumption from preemption-model facts

!284 · created Apr 03, 2023 by Björn Brandenburg
updated Apr 05, 2023
revise ELF<->FP generality claim

!286 · created Apr 04, 2023 by Björn Brandenburg
- Merged
- 1
- Approved
updated Apr 05, 2023
ELF Generality

!282 · created Mar 30, 2023 by Meenal Gupta
- Merged
- 16
- Approved
updated Apr 04, 2023
CI: check that POET certificates keep working

!283 · created Apr 01, 2023 by Björn Brandenburg
updated Apr 03, 2023
more ideal uniprocessor cleanup

!280 · created Mar 30, 2023 by Björn Brandenburg
- Merged
- 5
updated Mar 30, 2023