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

Add concrete tasks and jobs definition

!214 · created Apr 29, 2022 by Ghost User
- Merged
- 4
- Approved
updated May 05, 2022
various cleanups and simplifications in util

!212 · created Apr 14, 2022 by Björn Brandenburg
- Merged
- 19
updated Apr 19, 2022
Add lemmas about [service_of_jobs]

!204 · created Mar 18, 2022 by Sergey Bozhko
- Merged
- 12
- 1
updated Apr 14, 2022
change the name to to aid readability

!209 · created Apr 14, 2022 by Kimaya Bedarkar
- Merged
- 2
updated Apr 14, 2022
add one more instance of numeric fixed priority that assigns higher priority

!211 · created Apr 14, 2022 by Kimaya Bedarkar
- Merged
- 4
updated Apr 14, 2022
make naming consistent and fix comments

!210 · created Apr 14, 2022 by Kimaya Bedarkar
- Merged
updated Apr 14, 2022
Fix a name clash

!207 · created Mar 28, 2022 by Pierre Roux
- Merged
- 6
updated Apr 13, 2022
sporadic arrival model

!203 · created Mar 17, 2022 by Björn Brandenburg
- Merged
- 9
updated Apr 08, 2022
CI: drop Coq < 8.14 and mathcomp < 1.13

!208 · created Apr 07, 2022 by Björn Brandenburg
updated Apr 07, 2022
Modifications to ideal uniprocessor schedule

!206 · created Mar 24, 2022 by Ghost User
- Merged
- 15
updated Apr 07, 2022
Make instances of most type classes local

!205 · created Mar 18, 2022 by Pierre Roux
- Merged
- 16
- 1
updated Mar 29, 2022
Add three separate definitions for priority policy compliance

!201 · created Mar 16, 2022 by Kimaya Bedarkar
- Merged
- 10
- 1
updated Mar 24, 2022
Add basic lemmas to exploit hypotheses in behavior

!202 · created Mar 17, 2022 by Pierre Roux
- Merged
- 7
updated Mar 18, 2022
Introduce [rt_auto] and [rt_eauto] tactics

!198 · created Mar 09, 2022 by Sergey Bozhko
- Merged
- 21
updated Mar 18, 2022
Properly deprecate ltn_leq_trans

!200 · created Mar 16, 2022 by Pierre Roux
- Merged
- 1
updated Mar 16, 2022
Simplify proof of conversion_preserves_equivalence

!193 · created Feb 25, 2022 by Pierre Roux
- Merged
- 12
- 1
updated Mar 14, 2022
improve readability of `service_on` in ideal uniprocessor model

!199 · created Mar 11, 2022 by Björn Brandenburg
updated Mar 11, 2022
GEL policy

!197 · created Mar 08, 2022 by Ghost User
- Merged
- 15
updated Mar 11, 2022
Update the `esy` package

!196 · created Mar 07, 2022 by Martin Constantino–Bodin
- Merged
updated Mar 11, 2022
document #86 in the style guidelines

!194 · created Mar 03, 2022 by Björn Brandenburg
updated Mar 04, 2022