Merge requests · RT-PROOFS

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
EDF instantiation of abstract RTA

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

rt-proofs!13 · created Apr 15, 2019 by Sergey Bozhko
- Closed
updated Apr 15, 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
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
Enable Gitlab Syntax Highlighting

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

rt-proofs!9 · created Sep 21, 2018 by Sergey Bozhko
- Merged
- 35
updated Apr 05, 2019
Improve proof of completion_monotonic lemma

rt-proofs!8 · created Sep 19, 2018 by Sophie Quinton
- Merged
- 2
updated Sep 20, 2018
Improve proof of completion_monotonic lemma

rt-proofs!7 · created Sep 19, 2018 by Sophie Quinton
- Closed
updated Sep 19, 2018
Formalization of Weak Sustainability

rt-proofs!6 · created Feb 13, 2018 by Felipe Cerqueira
- Merged
updated Jul 17, 2018
removed tactics_gr.v

rt-proofs!5 · created Jan 05, 2018 by Xiaojie Guo
- Closed
- 2
- 1
updated Jan 05, 2018
Make Prosa compatible with Coq 8.7 and Mathcomp 1.6.4

rt-proofs!4 · created Dec 07, 2017 by Felipe Cerqueira
- Merged
updated Dec 07, 2017
Suspension-aware Scheduling

rt-proofs!3 · created Nov 22, 2017 by Felipe Cerqueira
- Merged
- 3
updated Dec 07, 2017
Tdma

rt-proofs!2 · created Nov 14, 2017 by Xiaojie Guo
- Merged
- 38
updated Jan 05, 2018
Fix Makefile on OS X

rt-proofs!1 · created Jul 13, 2016 by Björn Brandenburg
- Merged
- 1
updated Jul 14, 2016