Merge requests · RT-PROOFS

proof-state recorder tweaks and fixes

rt-proofs!117 · created Sep 22, 2020 by Björn Brandenburg
- Merged
updated Sep 22, 2020
Generalize ideal aRTA

rt-proofs!116 · created Sep 14, 2020 by Sergey Bozhko
- Merged
- 173
- Approved
updated Jan 23, 2023
Add setoid rewrite

rt-proofs!115 · created Sep 14, 2020 by Sergey Bozhko
- Merged
- 11
updated Jul 22, 2021
Preemption model compliance

rt-proofs!114 · created Sep 11, 2020 by LailaElbeheiry
- Merged
- 11
updated Mar 18, 2021
Equivalence of EDF Predicates

rt-proofs!113 · created Sep 09, 2020 by LailaElbeheiry
- Merged
- 23
updated Mar 11, 2021
fix minor warning

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

rt-proofs!111 · created Sep 08, 2020 by Ghost User
- Merged
- 30
updated Sep 22, 2020
Define a "shifted job costs" function and prove its validity.

rt-proofs!110 · created Sep 02, 2020 by Ghost User
- Merged
- 1
- Approved
updated Sep 09, 2020
Prove optimality of work-conserving EDF schedules

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

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

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

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

rt-proofs!105 · created Aug 27, 2020 by Pierre Roux
- Merged
- 1
updated Aug 27, 2020
Support mathcomp 1.11.0 and Coq 8.12

rt-proofs!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.

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

rt-proofs!102 · created Aug 04, 2020 by Björn Brandenburg
- Merged
- 1
- 1
updated Aug 10, 2020
WIP: Partitioned 3 of 6 checklist items completed

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

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

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

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