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

Switch basic readiness to sequential readiness

!140 · created Sep 03, 2021 by Ghost User
- Closed
- 1
updated Sep 03, 2021
documentation improvements

!135 · created Jul 22, 2021 by Björn Brandenburg
- Closed
- 1
updated Jul 22, 2021
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: observation interval proofs

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

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

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

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

!90 · created Mar 13, 2020 by Sergey Bozhko
- Closed
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: CPA in Prosa

!30 · created Jun 26, 2019 by Maxime Lesourd
- Closed
- 10
updated Oct 30, 2019
WIP: expose number of idle cores

!35 · created Aug 13, 2019 by Björn Brandenburg
- Closed
- 28
updated Oct 29, 2019
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
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
WIP: Initial structure for refactoring with clean separation behavior/model

!11 · created Apr 10, 2019 by Sophie Quinton
- Closed
- 2
updated May 07, 2019
Update of fork's master

!13 · created Apr 15, 2019 by Sergey Bozhko
- Closed
updated Apr 15, 2019
Improve proof of completion_monotonic lemma

!7 · created Sep 19, 2018 by Sophie Quinton
- Closed
updated Sep 19, 2018
removed tactics_gr.v

!5 · created Jan 05, 2018 by Xiaojie Guo
- Closed
- 2
- 1
updated Jan 05, 2018