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

fix minor warning

!112 · created Sep 09, 2020 by Björn Brandenburg
updated Sep 09, 2020
Max arrivals to rbf

!111 · created Sep 08, 2020 by Ghost User
- Merged
- 30
updated Sep 22, 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
Prove optimality of work-conserving EDF schedules

!109 · created Sep 01, 2020 by LailaElbeheiry
- Merged
- 7
- Approved
updated Sep 09, 2020
WIP: Preemption model compliance

!108 · created Aug 31, 2020 by LailaElbeheiry
- Closed
- 1
updated Sep 01, 2020
Two small lemmas

!107 · created Aug 27, 2020 by Pierre Roux
- Merged
- 4
updated Aug 28, 2020
Add Request Bound Functions

!106 · created Aug 27, 2020 by Pierre Roux
- Merged
- 11
- Approved
updated Sep 10, 2020
Coq 8.10 no longer supported since #104

!105 · created Aug 27, 2020 by Pierre Roux
- Merged
- 1
updated Aug 27, 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
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
WIP: Partitioned 3 of 6 checklist items completed

!101 · created Jul 17, 2020 by Maxime Lesourd
Definition Discussion
- Closed
- 20
updated Mar 11, 2022
Guidelines

!100 · created Jun 23, 2020 by Ghost User
- Merged
updated Jun 30, 2020
wip: observation interval proofs

!99 · created Jun 19, 2020 by Ghost User
- Closed
updated Jun 19, 2020
Fix various compilation warnings

!98 · created May 19, 2020 by Björn Brandenburg
- Merged
- 1
updated May 19, 2020
resolve warnings related to eq_big_perm, change it to perm_big

!97 · created May 11, 2020 by Ghost User
- Merged
- 3
updated May 11, 2020
Ideal Uniprocessor Scheduler Implementation

!96 · created Apr 03, 2020 by Björn Brandenburg
- Merged
- 22
updated Aug 26, 2020
Fixing broken intervals

!95 · created Apr 01, 2020 by Ghost User
- Merged
- 5
- 1
updated Apr 03, 2020
don't rename index.html to indexpage.html in coqdocjs target

!94 · created Mar 31, 2020 by Björn Brandenburg
updated Mar 31, 2020
add notion of hyperperiod for periodic tasks

!93 · created Mar 31, 2020 by Ghost User
- Closed
- 3
updated Mar 31, 2020