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

Assumptionless example

!216 · created May 09, 2022 by Marco Maida
- MERGED
- 10
updated Jul 01, 2022
Added refinements

!217 · created May 10, 2022 by Marco Maida
- MERGED
- 30
updated Jul 01, 2022
simplify the CI setup

!224 · created Jun 30, 2022 by Björn Brandenburg
- MERGED
- 0
updated Jun 30, 2022
improve `busy_intervals_are_bounded_by` definition

!223 · created Jun 30, 2022 by Björn Brandenburg
- MERGED
- 0
updated Jun 30, 2022
Modified EDF blocking_bound

!220 · created May 17, 2022 by Mariam Vardishvili
- MERGED
- 18
updated May 27, 2022
Rename [ideal_schedule] into [ideal.schedule]

!222 · created May 27, 2022 by Sergey Bozhko
- MERGED
- 0
updated May 27, 2022
add documentation for rt_[e]auto tactics

!221 · created May 26, 2022 by Kimaya Bedarkar
- MERGED
- 0
updated May 26, 2022
add lemma relating task cost and task rbf

!219 · created May 14, 2022 by Kimaya Bedarkar
- MERGED
- 0
updated May 16, 2022
Add proper sequence of bullets to style guidelines

!218 · created May 12, 2022 by Kimaya Bedarkar
- MERGED
- 0
updated May 13, 2022
Concrete arrival sequence

!215 · created May 02, 2022 by Marco Maida
- MERGED
- 14
updated May 09, 2022
modify definitions of priority policy compliance

!213 · created Apr 14, 2022 by Kimaya Bedarkar
- MERGED
- 4
updated May 06, 2022
Add concrete tasks and jobs definition

!214 · created Apr 29, 2022 by Marco Maida
- MERGED
- Approved
- 4
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
- 1
- 12
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
- 0
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
- MERGED
- 0
updated Apr 07, 2022