Merge requests · RT-PROOFS

Added refinements

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

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

rt-proofs!215 · created May 02, 2022 by Ghost User
- Merged
- 14
updated May 09, 2022
Add concrete tasks and jobs definition

rt-proofs!214 · created Apr 29, 2022 by Ghost User
- Merged
- 4
- Approved
updated May 05, 2022
modify definitions of priority policy compliance

rt-proofs!213 · created Apr 14, 2022 by Kimaya Bedarkar
- Merged
- 4
updated May 06, 2022
various cleanups and simplifications in util

rt-proofs!212 · created Apr 14, 2022 by Björn Brandenburg
- Merged
- 19
updated Apr 19, 2022
add one more instance of numeric fixed priority that assigns higher priority

rt-proofs!211 · created Apr 14, 2022 by Kimaya Bedarkar
- Merged
- 4
updated Apr 14, 2022
make naming consistent and fix comments

rt-proofs!210 · created Apr 14, 2022 by Kimaya Bedarkar
- Merged
updated Apr 14, 2022
change the name to to aid readability

rt-proofs!209 · created Apr 14, 2022 by Kimaya Bedarkar
- Merged
- 2
updated Apr 14, 2022
CI: drop Coq < 8.14 and mathcomp < 1.13

rt-proofs!208 · created Apr 07, 2022 by Björn Brandenburg
updated Apr 07, 2022
Fix a name clash

rt-proofs!207 · created Mar 28, 2022 by Pierre Roux
- Merged
- 6
updated Apr 13, 2022
Modifications to ideal uniprocessor schedule

rt-proofs!206 · created Mar 24, 2022 by Ghost User
- Merged
- 15
updated Apr 07, 2022
Make instances of most type classes local

rt-proofs!205 · created Mar 18, 2022 by Pierre Roux
- Merged
- 16
- 1
updated Mar 29, 2022
Add lemmas about [service_of_jobs]

rt-proofs!204 · created Mar 18, 2022 by Sergey Bozhko
- Merged
- 12
- 1
updated Apr 14, 2022
sporadic arrival model

rt-proofs!203 · created Mar 17, 2022 by Björn Brandenburg
- Merged
- 9
updated Apr 08, 2022
Add basic lemmas to exploit hypotheses in behavior

rt-proofs!202 · created Mar 17, 2022 by Pierre Roux
- Merged
- 7
updated Mar 18, 2022
Add three separate definitions for priority policy compliance

rt-proofs!201 · created Mar 16, 2022 by Kimaya Bedarkar
- Merged
- 10
- 1
updated Mar 24, 2022
Properly deprecate ltn_leq_trans

rt-proofs!200 · created Mar 16, 2022 by Pierre Roux
- Merged
- 1
updated Mar 16, 2022
improve readability of `service_on` in ideal uniprocessor model

rt-proofs!199 · created Mar 11, 2022 by Björn Brandenburg
updated Mar 11, 2022
Introduce [rt_auto] and [rt_eauto] tactics

rt-proofs!198 · created Mar 09, 2022 by Sergey Bozhko
- Merged
- 21
updated Mar 18, 2022