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

The Fixpoints for the FP-FP RTA can now be calculated.

!234 · created Jul 21, 2022 by Paul Hermes
- Merged
- 9
- 1
- Approved
updated Jul 25, 2022
Simplify edf

!233 · created Jul 21, 2022 by Kimaya Bedarkar
- Merged
- 1
- 1
updated Jul 21, 2022
Add a few auxiliary lemmas

!232 · created Jul 21, 2022 by Sergey Bozhko
updated Jul 21, 2022
generalize lemma for bound on busy window

!231 · created Jul 20, 2022 by Kimaya Bedarkar
- Merged
- 2
- 1
updated Jul 21, 2022
simplify gel

!230 · created Jul 19, 2022 by Kimaya Bedarkar
- Merged
updated Jul 19, 2022
simplify EDF search space

!229 · created Jul 13, 2022 by Björn Brandenburg
- Merged
- 1
updated Jul 14, 2022
aRTA clean-up

!228 · created Jul 12, 2022 by Kimaya Bedarkar
- Merged
- 20
updated Jul 14, 2022
fix various deprecation warnings

!227 · created Jul 11, 2022 by Björn Brandenburg
updated Jul 11, 2022
Add task-related refinements and helper lemmas

!226 · created Jul 07, 2022 by Ghost User
- Merged
- 32
updated Aug 04, 2022
CI: bump mathcomp version

!225 · created Jul 06, 2022 by Björn Brandenburg
- Merged
- 4
updated Jul 11, 2022
simplify the CI setup

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

!223 · created Jun 30, 2022 by Björn Brandenburg
updated Jun 30, 2022
Rename [ideal_schedule] into [ideal.schedule]

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

!221 · created May 26, 2022 by Kimaya Bedarkar
- Merged
updated May 26, 2022
Modified EDF blocking_bound

!220 · created May 17, 2022 by Ghost User
- Merged
- 18
updated May 27, 2022
add lemma relating task cost and task rbf

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

!218 · created May 12, 2022 by Kimaya Bedarkar
- Merged
updated May 13, 2022
Added refinements

!217 · created May 10, 2022 by Ghost User
- Merged
- 30
updated Jul 01, 2022
Assumptionless example

!216 · created May 09, 2022 by Ghost User
- Merged
- 10
updated Jul 01, 2022
Concrete arrival sequence

!215 · created May 02, 2022 by Ghost User
- Merged
- 14
updated May 09, 2022