Merge requests · RT-PROOFS

Skip to content

GitLab

Projects Groups Snippets

/

Help
Sign in / Register

R RT-PROOFS
Group information
- Group information
- Activity
- Labels
- Members
Issues 16
- Issues 16
- List
- Board
- Milestones
Merge requests 4
- Merge requests 4
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

RT-PROOFS
Merge requests

Open 4
Merged 237
Closed 32
All 273

Draft: ELF-Definition

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

rt-proofs!269 · created Mar 13, 2023 by Meenal Gupta
- CLOSED
- 0
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
- 1
- 6
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
- 0
updated Mar 07, 2022
Draft: Initiate a Prosa Tutorial

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

rt-proofs!173 · created Nov 22, 2021 by Kimaya Bedarkar
- CLOSED
- 1
updated Nov 22, 2021
Switch basic readiness to sequential readiness

rt-proofs!140 · created Sep 03, 2021 by Marco Maida
- CLOSED
- 1
updated Sep 03, 2021
documentation improvements

rt-proofs!135 · created Jul 22, 2021 by Björn Brandenburg
- CLOSED
- 1
updated Jul 22, 2021
WIP: Pi cleanup

rt-proofs!132 · created Mar 15, 2021 by Sergey Bozhko
- CLOSED
- 1
updated Mar 15, 2021
WIP: Preemption model compliance

rt-proofs!108 · created Aug 31, 2020 by LailaElbeheiry
- CLOSED
- 1
updated Sep 01, 2020
wip: observation interval proofs

rt-proofs!99 · created Jun 19, 2020 by Ghost User
- CLOSED
- 0
updated Jun 19, 2020
add notion of hyperperiod for periodic tasks

rt-proofs!93 · created Mar 31, 2020 by Ghost User
- CLOSED
- 3
updated Mar 31, 2020
WIP : added hyperperiod definition

rt-proofs!91 · created Mar 25, 2020 by Ghost User
- CLOSED
- 8
updated Mar 27, 2020
WIP : Restricted Supply

rt-proofs!92 · created Mar 26, 2020 by Sergey Bozhko
- CLOSED
- 0
updated Mar 26, 2020

Prev
1
2
Next