Merge requests · RT-PROOFS

Draft: Completed jobs aren't served

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

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

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

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

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

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

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

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

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

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

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

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

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

rt-proofs!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...

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

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

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

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

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

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