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

[CI] Temporary workaround

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

!291 · created Apr 06, 2023 by Kimaya Bedarkar
- Merged
- 47
updated Apr 10, 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
update guidelines

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

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

!287 · created Apr 05, 2023 by Meenal Gupta
- Closed
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
generalised Priority Inversion Lemmas for JLFP policies.

!285 · created Apr 04, 2023 by Meenal Gupta
- Merged
- 18
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
CI: check that POET certificates keep working

!283 · created Apr 01, 2023 by Björn Brandenburg
updated Apr 03, 2023
ELF Generality

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

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

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

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

!278 · created Mar 30, 2023 by Meenal Gupta
- Closed
- 7
updated Apr 20, 2023
introduce the class of sequential readiness models

!277 · created Mar 29, 2023 by Björn Brandenburg
- Merged
- Approved
updated Mar 30, 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
fix CoqdocJS handling of apostrophes embedded in identifiers

!275 · created Mar 27, 2023 by Björn Brandenburg
- Merged
- 1
updated Mar 27, 2023
note some of GEL's generalizing properties

!274 · created Mar 23, 2023 by Björn Brandenburg
- Merged
- 18
updated Mar 24, 2023
fix `make vacuum` if no `_CoqProject` is present

!273 · created Mar 23, 2023 by Björn Brandenburg
- Merged
- 1
updated Mar 23, 2023