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

More qualified import of mathcomp.zidfy.ssrZ

!254 · created Jan 28, 2023 by Lasse Blaauwbroek
- Merged
updated Jan 29, 2023
Generalize ideal aRTA

!116 · created Sep 14, 2020 by Sergey Bozhko
- Merged
- 173
- Approved
updated Jan 23, 2023
Retire classic Prosa

!253 · created Nov 10, 2022 by Björn Brandenburg
updated Nov 11, 2022
add .mailmap

!252 · created Nov 09, 2022 by Sergey Bozhko
- Merged
- 1
updated Nov 10, 2022
Dsgvo

!250 · created Nov 07, 2022 by Carina Schmitt
- Merged
- 3
updated Nov 09, 2022
Adapt to https://github.com/coq/coq/pull/16004

!251 · created Nov 08, 2022 by Pierre Roux
- Merged
- 2
updated Nov 08, 2022
Update support code to reflect tighter bounds

!248 · created Sep 28, 2022 by Ghost User
- Merged
updated Sep 29, 2022
CI: bump preferred Coq version

!247 · created Sep 20, 2022 by Björn Brandenburg
- Merged
updated Sep 20, 2022
Generalize priority inversion

!171 · created Nov 11, 2021 by Sergey Bozhko
- Merged
- 51
updated Sep 07, 2022
Generalize one proof related to FP

!246 · created Sep 05, 2022 by Kimaya Bedarkar
- Merged
- 1
updated Sep 07, 2022
Add remaining POET support files

!238 · created Aug 05, 2022 by Ghost User
- Merged
- 24
updated Sep 01, 2022
document some recently discussed guidelines

!245 · created Aug 27, 2022 by Kimaya Bedarkar
- Merged
- 6
updated Aug 29, 2022
Valid arrival sequence

!243 · created Aug 15, 2022 by Kimaya Bedarkar
- Merged
- 36
updated Aug 25, 2022
update FIFO RTA documentation

!240 · created Aug 09, 2022 by Kimaya Bedarkar
- Merged
- 22
- Approved
updated Aug 18, 2022
simplify FIFO

!241 · created Aug 09, 2022 by Kimaya Bedarkar
- Merged
- 4
updated Aug 10, 2022
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