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

WIP: Initial structure for refactoring with clean separation behavior/model

!11 · created Apr 10, 2019 by Sophie Quinton
- Closed
- 2
updated May 07, 2019
Enable Gitlab Syntax Highlighting

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

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

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

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

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

!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

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

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

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

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