Merge requests · RT-PROOFS

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
Definitions for arrival curves

rt-proofs!31 · created Jun 28, 2019 by Maxime Lesourd
- Merged
- 20
updated Jul 19, 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
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
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
Naming conventions

rt-proofs!22 · created May 24, 2019 by Sophie Quinton
- Merged
- 10
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
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
EDF instantiation of abstract RTA

rt-proofs!14 · created Apr 15, 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
Shorten a needlessly-long proof

rt-proofs!19 · created May 12, 2019 by Sergey Bozhko
- Merged
- 1
updated May 13, 2019
Base for the behavior part of refactored PROSA.

rt-proofs!12 · created Apr 12, 2019 by Maxime Lesourd
- Merged
- 45
updated May 07, 2019
Add comments in unil.sorting

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

rt-proofs!15 · created Apr 29, 2019 by Björn Brandenburg
- Merged
- 2
- 1
updated Apr 30, 2019
Complete proof of Abstract RTA

rt-proofs!9 · created Sep 21, 2018 by Sergey Bozhko
- Merged
- 35
updated Apr 05, 2019
Enable Gitlab Syntax Highlighting

rt-proofs!10 · created Oct 12, 2018 by Björn Brandenburg
- Merged
- 1
updated Oct 19, 2018