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

Draft: Completed jobs aren't served

!351 · created Jan 19, 2024 by Sergey Bozhko
- Closed
- 5
updated Apr 08, 2024
Introduce sequential RS abstract RTA

!335 · created Nov 22, 2023 by Sergey Bozhko
- Closed
- 2
updated Nov 22, 2023
Draft: refactor cumul task interference

!324 · created Oct 09, 2023 by Kimaya Bedarkar
- Closed
- 4
updated Oct 12, 2023
Draft: Instantiations for 4 preemption models

!301 · created Apr 19, 2023 by Meenal Gupta
- Closed
- 66
updated Jul 05, 2023
Draft: Preemption bounded nps

!278 · created Mar 30, 2023 by Meenal Gupta
- Closed
- 7
updated Apr 20, 2023
Draft: Add the RTA for ELF

!296 · created Apr 10, 2023 by Kimaya Bedarkar
- Closed
- 8
updated Apr 13, 2023
[CI] Temporary workaround

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

!287 · created Apr 05, 2023 by Meenal Gupta
- Closed
updated Apr 05, 2023
Draft: ELF-Definition

!265 · created Feb 28, 2023 by Meenal Gupta
- Closed
- 41
- Approved
updated Mar 13, 2023
Draft: Definition of ELF

!269 · created Mar 13, 2023 by Meenal Gupta
- Closed
updated Mar 13, 2023
Draft: Use the `hunspell` spell checker in CI

!239 · created Aug 08, 2022 by Björn Brandenburg
- Closed
- 1
updated Mar 04, 2023
cumulative_hep_interference split

!244 · created Aug 27, 2022 by Kimaya Bedarkar
- Closed
- 37
updated Mar 02, 2023
Embeds arrival_uniq into arrival sequences

!185 · created Feb 11, 2022 by Pierre Roux
- Closed
- 14
updated Sep 06, 2022
WIP: POET

!181 · created Dec 17, 2021 by Sergey Bozhko
- Closed
- 6
- 1
updated Sep 01, 2022
Draft: Adding branch with critical sections. Changes to beahviour/schedule.v, new...

!133 · created Mar 22, 2021 by ptorrx
- Closed
- 34
updated Mar 25, 2022
Draft : Explicit policy in [respects_policy_at_preemption_point]

!188 · created Feb 18, 2022 by Kimaya Bedarkar
- Closed
- 7
updated Mar 24, 2022
WIP: Partitioned 3 of 6 checklist items completed

!101 · created Jul 17, 2020 by Maxime Lesourd
Definition Discussion
- Closed
- 20
updated Mar 11, 2022
Draft: Resolve "Update the `esy` package"

!195 · created Mar 07, 2022 by Martin Constantino–Bodin
- Closed
updated Mar 07, 2022
Draft: Initiate a Prosa Tutorial

!134 · created Mar 25, 2021 by Pierre Roux
- Closed
- 4
- 1
updated Feb 22, 2022
FIFO basic facts additions

!173 · created Nov 22, 2021 by Kimaya Bedarkar
- Closed
- 1
updated Nov 22, 2021