Merge requests · RT-PROOFS

Switch basic readiness to sequential readiness

rt-proofs!140 · created Sep 03, 2021 by Ghost User
- 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
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
updated Mar 26, 2020
WIP : Restricted Supply

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

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

rt-proofs!80 · created Dec 29, 2019 by Pierre Roux
- Closed
- 43
updated Jan 20, 2020
WIP: CPA in Prosa

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

rt-proofs!35 · created Aug 13, 2019 by Björn Brandenburg
- Closed
- 28
updated Oct 29, 2019
WIP: Resources

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

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

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

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

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

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

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