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

Suggested name changes in resources_v2 branch

!57 · created Oct 29, 2019 by Björn Brandenburg resources_v2
- Merged
updated Oct 30, 2019
make a few cosmetic tweaks in the EDF optimality proof

!56 · created Oct 29, 2019 by Björn Brandenburg
updated Oct 29, 2019
make the proof term in the readiness type class "unreferencable"

!53 · created Oct 16, 2019 by Björn Brandenburg
- Merged
- 5
updated Oct 24, 2019
add CI job for testing against latest ssreflect

!55 · created Oct 23, 2019 by Björn Brandenburg
- Merged
updated Oct 23, 2019
convert comments in restructuring module

!52 · created Oct 15, 2019 by Björn Brandenburg
- Merged
- 1
updated Oct 16, 2019
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