Merge requests · RT-PROOFS

Fix response-time recurrence for EDF

rt-proofs!37 · created Aug 19, 2019 by Sergey Bozhko
- Merged
- 2
updated Aug 20, 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
WIP: expose number of idle cores

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

rt-proofs!34 · created Jul 31, 2019 by Maxime Lesourd
- Merged
- 10
updated Aug 13, 2019
Superfluous j

rt-proofs!33 · created Jul 23, 2019 by Pierre Roux
- Merged
- 2
updated Jul 30, 2019
EDF optimality argument

rt-proofs!32 · created Jul 22, 2019 by Björn Brandenburg
- Merged
- 41
updated Aug 13, 2019
Definitions for arrival curves

rt-proofs!31 · created Jun 28, 2019 by Maxime Lesourd
- Merged
- 20
updated Jul 19, 2019
WIP: CPA in Prosa

rt-proofs!30 · created Jun 26, 2019 by Maxime Lesourd
- Closed
- 10
updated Oct 30, 2019
Port TDMA analysis to restructuring

rt-proofs!28 · created Jun 26, 2019 by Maxime Lesourd
- Merged
- 9
updated Jun 27, 2019
clean up the new schedule definitions

rt-proofs!27 · created Jun 25, 2019 by Björn Brandenburg
- Merged
- 3
updated Jun 27, 2019
Check proof length as part of CI

rt-proofs!26 · created Jun 24, 2019 by Björn Brandenburg
- Merged
- 3
updated Jul 02, 2019
Change definition of completion

rt-proofs!25 · created Jun 05, 2019 by Sergey Bozhko
- Merged
- 1
updated Jun 12, 2019
Port to ssreflect 1.9

rt-proofs!24 · created Jun 05, 2019 by Björn Brandenburg
- Merged
updated Jun 05, 2019
Delete redundant busy_interval file

rt-proofs!23 · created May 26, 2019 by Sergey Bozhko
- Merged
- 1
updated Jun 04, 2019
Naming conventions

rt-proofs!22 · created May 24, 2019 by Sophie Quinton
- Merged
- 10
updated Jun 05, 2019
Delete useless assumption in util-lemma

rt-proofs!21 · created May 19, 2019 by Sergey Bozhko
- Merged
- 1
updated May 20, 2019
Port more service and completion facts

rt-proofs!20 · created May 13, 2019 by Björn Brandenburg
- Merged
- 11
updated May 16, 2019
Shorten a needlessly-long proof

rt-proofs!19 · created May 12, 2019 by Sergey Bozhko
- Merged
- 1
updated May 13, 2019
Initial service and completion facts

rt-proofs!18 · created May 07, 2019 by Björn Brandenburg
- Merged
- 2
updated May 13, 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