Merge requests · RT-PROOFS

update definition of SBF

rt-proofs!322 · created Sep 15, 2023 by Sergey Bozhko
- Merged
- 13
updated Nov 22, 2023
convert epsilon to notation to avoid unfolding it

rt-proofs!332 · created Nov 09, 2023 by Kimaya Bedarkar
- Merged
- 1
updated Nov 10, 2023
Silence some warnings

rt-proofs!329 · created Nov 02, 2023 by Kimaya Bedarkar
- Merged
- 21
- Approved
updated Nov 09, 2023
bump mathcomp version to 1.18

rt-proofs!331 · created Nov 06, 2023 by Björn Brandenburg
updated Nov 08, 2023
Add guideline about strict subproofs

rt-proofs!330 · created Nov 02, 2023 by Kimaya Bedarkar
- Merged
updated Nov 02, 2023
simplify one proof

rt-proofs!328 · created Oct 19, 2023 by Kimaya Bedarkar
- Merged
- 1
updated Nov 02, 2023
Import ssreflect only once

rt-proofs!325 · created Oct 11, 2023 by Sergey Bozhko
- Merged
- 1
updated Oct 13, 2023
remove [sequential_tasks] assumption in one proof

rt-proofs!326 · created Oct 12, 2023 by Sergey Bozhko
- Merged
- 1
updated Oct 12, 2023
CI: bump Coq version to 8.18

rt-proofs!323 · created Sep 22, 2023 by Björn Brandenburg
updated Sep 22, 2023
Introduce restricted-supply abstract RTA

rt-proofs!249 · created Oct 26, 2022 by Sergey Bozhko
- Merged
- 29
updated Jul 12, 2023
Remove ideal assumption from aRTA-seq and generalize proof [task_IBF -> job_IBF]

rt-proofs!317 · created Jun 29, 2023 by Sergey Bozhko
- Merged
- 49
updated Jul 07, 2023
Elf bounded nps

rt-proofs!318 · created Jul 01, 2023 by Meenal Gupta
- Merged
- 47
- Approved
updated Jul 05, 2023
Scheduled jobs in priority inversion

rt-proofs!279 · created Mar 30, 2023 by Pierre Roux
- Merged
- 1
updated Jul 05, 2023
Add "conditional" interference to remove duplication

rt-proofs!314 · created Jun 20, 2023 by Sergey Bozhko
- Merged
- 105
updated Jul 05, 2023
Removal of Ideal Uniproc. Model from Busy Interval Reasoning

rt-proofs!315 · created Jun 28, 2023 by Björn Brandenburg
- Merged
- 26
- 1
- Approved
updated Jul 04, 2023
utility lemmas and cleanups needed for a later ELF MR

rt-proofs!316 · created Jun 29, 2023 by Björn Brandenburg
- Merged
- 5
- Approved
updated Jun 29, 2023
Factor interference

rt-proofs!305 · created May 31, 2023 by Pierre Roux
- Merged
- 20
updated Jun 27, 2023
Add the notion of Supply Bound Function (SBF)

rt-proofs!312 · created Jun 15, 2023 by Sergey Bozhko
- Merged
- 12
updated Jun 27, 2023
Add notion of supply

rt-proofs!311 · created Jun 15, 2023 by Sergey Bozhko
- Merged
- 65
- Approved
updated Jun 27, 2023
Remove task_interference_received_before_dec

rt-proofs!310 · created Jun 13, 2023 by Pierre Roux
- Merged
- 1
- Approved
updated Jun 13, 2023