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

Draft: Resolve "Update the `esy` package"

!195 · created Mar 07, 2022 by Martin Constantino–Bodin
- CLOSED
- 0
updated Mar 07, 2022
Draft : Explicit policy in [respects_policy_at_preemption_point]

!188 · created Feb 18, 2022 by Kimaya Bedarkar
- CLOSED
- 7
updated Mar 24, 2022
FIFO basic facts additions

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

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

!135 · created Jul 22, 2021 by Björn Brandenburg
- CLOSED
- 1
updated Jul 22, 2021
Draft: Initiate a Prosa Tutorial

!134 · created Mar 25, 2021 by Pierre Roux
- CLOSED
- 1
- 4
updated Feb 22, 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
WIP: Pi cleanup

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

!108 · created Aug 31, 2020 by LailaElbeheiry
- CLOSED
- 1
updated Sep 01, 2020
WIP: Partitioned 3 of 6 tasks completed

!101 · created Jul 17, 2020 by Maxime Lesourd Definition Discussion
- CLOSED
- 20
updated Mar 11, 2022
wip: observation interval proofs

!99 · created Jun 19, 2020 by Ghost User
- CLOSED
- 0
updated Jun 19, 2020
WIP : Restricted Supply

!92 · created Mar 26, 2020 by Sergey Bozhko
- CLOSED
- 0
updated Mar 26, 2020
WIP : Restricted Supply

!90 · created Mar 13, 2020 by Sergey Bozhko
- CLOSED
- 0
updated Mar 26, 2020
WIP: [not to be merged] Run CI for Opam file for 0.4

!86 · created Feb 24, 2020 by Pierre Roux
- CLOSED
- 1
updated Feb 24, 2020
Network calculus

!80 · created Dec 29, 2019 by Pierre Roux
- CLOSED
- 43
updated Jan 20, 2020
WIP: Resources

!40 · created Aug 23, 2019 by Maxime Lesourd
- CLOSED
- 1
updated Oct 18, 2019
WIP: add general notion of "job readiness"

!36 · created Aug 13, 2019 by Björn Brandenburg idle-cores
- CLOSED
- 19
updated Aug 21, 2019
WIP: expose number of idle cores

!35 · created Aug 13, 2019 by Björn Brandenburg
- CLOSED
- 28
updated Oct 29, 2019
WIP: CPA in Prosa

!30 · created Jun 26, 2019 by Maxime Lesourd
- CLOSED
- 10
updated Oct 30, 2019
Resolve "Follow-up from "WIP: Base for the behavior part of refactored PROSA." : Separate "facts" files"

!17 · created May 07, 2019 by Björn Brandenburg
- CLOSED
- 1
updated May 07, 2019