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

Rewrite create_makefile.sh as a Makefile

!263 · created Feb 27, 2023 by Pierre Roux
- Merged
- 2
updated Feb 28, 2023
Fix implicit arguments in model/priority/classes.v

!258 · created Feb 16, 2023 by Pierre Roux
- Merged
- 11
- 1
- Approved
updated Feb 27, 2023
Split OPAM packages

!257 · created Feb 14, 2023 by Pierre Roux
- Merged
- 5
updated Feb 14, 2023
coding-guideline changes

!255 · created Feb 13, 2023 by Meenal Gupta
- Merged
- 13
updated Feb 14, 2023
[CI] Don't recompile mathcomp solvable and field

!256 · created Feb 14, 2023 by Pierre Roux
- Merged
- 1
updated Feb 14, 2023
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