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

Ssrlia refactoring

!124 · created Jan 29, 2021 by Ghost User
- Merged
updated Jan 29, 2021
Sum refactoring

!123 · created Dec 14, 2020 by Ghost User
- Merged
- 3
- 1
updated Jan 02, 2021
optimize names for run-to-completion threshold functions

!120 · created Sep 25, 2020 by Sergey Bozhko
- Merged
- 2
updated Dec 11, 2020
Minor documentation changes about tactics.

!122 · created Nov 17, 2020 by Martin Constantino–Bodin
- Merged
- 1
updated Dec 11, 2020
generalize definition of busy interval

!119 · created Sep 25, 2020 by Sergey Bozhko
- Merged
- 1
updated Sep 25, 2020
Add [arrives_in] to [sequential_tasks] definition

!118 · created Sep 23, 2020 by Sergey Bozhko
- Merged
- 2
updated Sep 24, 2020
Max arrivals to rbf

!111 · created Sep 08, 2020 by Ghost User
- Merged
- 30
updated Sep 22, 2020
proof-state recorder tweaks and fixes

!117 · created Sep 22, 2020 by Björn Brandenburg
- Merged
updated Sep 22, 2020
Add Request Bound Functions

!106 · created Aug 27, 2020 by Pierre Roux
- Merged
- 11
- Approved
updated Sep 10, 2020
Prove optimality of work-conserving EDF schedules

!109 · created Sep 01, 2020 by LailaElbeheiry
- Merged
- 7
- Approved
updated Sep 09, 2020
fix minor warning

!112 · created Sep 09, 2020 by Björn Brandenburg
updated Sep 09, 2020
Define a "shifted job costs" function and prove its validity.

!110 · created Sep 02, 2020 by Ghost User
- Merged
- 1
- Approved
updated Sep 09, 2020
Two small lemmas

!107 · created Aug 27, 2020 by Pierre Roux
- Merged
- 4
updated Aug 28, 2020
Support mathcomp 1.11.0 and Coq 8.12

!104 · created Aug 06, 2020 by Björn Brandenburg
- Merged
- 3
updated Aug 28, 2020
Coq 8.10 no longer supported since #104

!105 · created Aug 27, 2020 by Pierre Roux
- Merged
- 1
updated Aug 27, 2020
Ideal Uniprocessor Scheduler Implementation

!96 · created Apr 03, 2020 by Björn Brandenburg
- Merged
- 22
updated Aug 26, 2020
Add notion of offset, job index and proof of known arrival times in the periodic model.

!103 · created Aug 05, 2020 by Ghost User
- Merged
- 2
updated Aug 10, 2020
add some simple prefix facts

!102 · created Aug 04, 2020 by Björn Brandenburg
- Merged
- 1
- 1
updated Aug 10, 2020
Guidelines

!100 · created Jun 23, 2020 by Ghost User
- Merged
updated Jun 30, 2020
Fix various compilation warnings

!98 · created May 19, 2020 by Björn Brandenburg
- Merged
- 1
updated May 19, 2020