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

EDF optimality argument

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

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

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

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

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

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

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

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

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

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

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

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

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

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

!17 · created May 07, 2019 by Björn Brandenburg
- Closed
- 1
updated May 07, 2019
Add comments in unil.sorting

!16 · created May 03, 2019 by Sergey Bozhko
- Merged
- 1
updated May 06, 2019
fix the proof of find_uniq under mathcomp version 1.8

!15 · created Apr 29, 2019 by Björn Brandenburg
- Merged
- 2
- 1
updated Apr 30, 2019
EDF instantiation of abstract RTA

!14 · created Apr 15, 2019 by Sergey Bozhko
- Merged
- 1
updated May 13, 2019
Update of fork's master

!13 · created Apr 15, 2019 by Sergey Bozhko
- Closed
updated Apr 15, 2019
Base for the behavior part of refactored PROSA.

!12 · created Apr 12, 2019 by Maxime Lesourd
- Merged
- 45
updated May 07, 2019