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

Change definition of service_implies_scheduled

!51 · created Oct 15, 2019 by Maxime Lesourd
- Merged
updated Oct 15, 2019
Restructure behavior

!50 · created Oct 15, 2019 by Björn Brandenburg
updated Oct 15, 2019
Restructuring the model folder

!49 · created Oct 15, 2019 by Sergey Bozhko
updated Oct 15, 2019
Port to Coq 8.10

!48 · created Oct 15, 2019 by Pierre Roux
- Merged
updated Oct 15, 2019
Add pretty documentation generation

!47 · created Oct 10, 2019 by Ghost User
- Merged
- 13
updated Oct 11, 2019
Shorten a few long proofs

!46 · created Sep 24, 2019 by Sergey Bozhko
updated Sep 24, 2019
Port seq aRTA

!44 · created Sep 17, 2019 by Sergey Bozhko
- Merged
- 14
updated Sep 23, 2019
Port non-seq aRTA

!43 · created Sep 02, 2019 by Sergey Bozhko
- Merged
- 27
updated Sep 17, 2019
remove processor models and basic facts from behavior

!42 · created Aug 30, 2019 by Björn Brandenburg
- Merged
- 1
updated Sep 12, 2019
Update the base files

!41 · created Aug 28, 2019 by Sergey Bozhko
- Merged
- 2
updated Aug 30, 2019
General readiness, take two

!39 · created Aug 21, 2019 by Björn Brandenburg
- Merged
- 8
updated Aug 27, 2019
Fix response-time recurrence for EDF

!37 · created Aug 19, 2019 by Sergey Bozhko
- Merged
- 2
updated Aug 20, 2019
Change name of a matched variable

!38 · created Aug 20, 2019 by Sergey Bozhko
- Merged
- 1
updated Aug 20, 2019
EDF optimality argument

!32 · created Jul 22, 2019 by Björn Brandenburg
- Merged
- 41
updated Aug 13, 2019
Priorities

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

!33 · created Jul 23, 2019 by Pierre Roux
- Merged
- 2
updated Jul 30, 2019
Definitions for arrival curves

!31 · created Jun 28, 2019 by Maxime Lesourd
- Merged
- 20
updated Jul 19, 2019
Check proof length as part of CI

!26 · created Jun 24, 2019 by Björn Brandenburg
- Merged
- 3
updated Jul 02, 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