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

don't duplicate [odflt] from [ssrfun]

!242 · created Aug 10, 2022 by Björn Brandenburg
updated Aug 10, 2022
GEL RTA

!237 · created Aug 05, 2022 by Kimaya Bedarkar
- Merged
- 55
updated Aug 08, 2022
Add task-related refinements and helper lemmas

!226 · created Jul 07, 2022 by Ghost User
- Merged
- 32
updated Aug 04, 2022
Workload lemmas and EDF streamlining

!236 · created Jul 28, 2022 by Björn Brandenburg
- Merged
- 5
- Approved
updated Aug 01, 2022
Simplify edf2

!235 · created Jul 24, 2022 by Kimaya Bedarkar
- Merged
- 10
updated Aug 01, 2022
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
generalize lemma for bound on busy window

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

!232 · created Jul 21, 2022 by Sergey Bozhko
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
CI: bump mathcomp version

!225 · created Jul 06, 2022 by Björn Brandenburg
- Merged
- 4
updated Jul 11, 2022
Assumptionless example

!216 · created May 09, 2022 by Ghost User
- Merged
- 10
updated Jul 01, 2022
Added refinements

!217 · created May 10, 2022 by Ghost User
- Merged
- 30
updated Jul 01, 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
Modified EDF blocking_bound

!220 · created May 17, 2022 by Ghost User
- Merged
- 18
updated May 27, 2022
Rename [ideal_schedule] into [ideal.schedule]

!222 · created May 27, 2022 by Sergey Bozhko
updated May 27, 2022