Merge requests · RT-PROOFS

simplify FIFO

rt-proofs!241 · created Aug 09, 2022 by Kimaya Bedarkar
- Merged
- 4
updated Aug 10, 2022
don't duplicate [odflt] from [ssrfun]

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

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

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

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

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

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

rt-proofs!233 · created Jul 21, 2022 by Kimaya Bedarkar
- Merged
- 1
- 1
updated Jul 21, 2022
generalize lemma for bound on busy window

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

rt-proofs!232 · created Jul 21, 2022 by Sergey Bozhko
updated Jul 21, 2022
simplify gel

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

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

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

rt-proofs!227 · created Jul 11, 2022 by Björn Brandenburg
updated Jul 11, 2022
CI: bump mathcomp version

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

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

rt-proofs!217 · created May 10, 2022 by Ghost User
- Merged
- 30
updated Jul 01, 2022
simplify the CI setup

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

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

rt-proofs!220 · created May 17, 2022 by Ghost User
- Merged
- 18
updated May 27, 2022