Merge requests · RT-PROOFS

fix "nonuniform inheritance" deprecation warning

rt-proofs!336 · created Nov 23, 2023 by Björn Brandenburg
updated Nov 23, 2023
Introduce sequential RS abstract RTA

rt-proofs!335 · created Nov 22, 2023 by Sergey Bozhko
- Closed
- 2
updated Nov 22, 2023
enforce strict subproofs

rt-proofs!334 · created Nov 17, 2023 by Kimaya Bedarkar
- Merged
- 38
updated Nov 24, 2023
add some guidelines

rt-proofs!333 · created Nov 09, 2023 by Kimaya Bedarkar
- Merged
- 1
updated Feb 09, 2024
convert epsilon to notation to avoid unfolding it

rt-proofs!332 · created Nov 09, 2023 by Kimaya Bedarkar
- Merged
- 1
updated Nov 10, 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
Silence some warnings

rt-proofs!329 · created Nov 02, 2023 by Kimaya Bedarkar
- Merged
- 21
- Approved
updated Nov 09, 2023
simplify one proof

rt-proofs!328 · created Oct 19, 2023 by Kimaya Bedarkar
- Merged
- 1
updated Nov 02, 2023
Generalize one lemma

rt-proofs!327 · created Oct 19, 2023 by Kimaya Bedarkar
- Merged
- 121
- Approved
updated Feb 14, 2024
remove [sequential_tasks] assumption in one proof

rt-proofs!326 · created Oct 12, 2023 by Sergey Bozhko
- Merged
- 1
updated Oct 12, 2023
Import ssreflect only once

rt-proofs!325 · created Oct 11, 2023 by Sergey Bozhko
- Merged
- 1
updated Oct 13, 2023
Draft: refactor cumul task interference

rt-proofs!324 · created Oct 09, 2023 by Kimaya Bedarkar
- Closed
- 4
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
update definition of SBF

rt-proofs!322 · created Sep 15, 2023 by Sergey Bozhko
- Merged
- 13
updated Nov 22, 2023
Draft: Elf preemption instantiations

rt-proofs!321 · created Jul 17, 2023 by Meenal Gupta
- 43
updated Mar 23, 2024
prove RS-RTA for fully preemptive FP

rt-proofs!320 · created Jul 13, 2023 by Sergey Bozhko
- Merged
- 79
updated Feb 07, 2024
Add sequential restricted-supply aRTA

rt-proofs!319 · created Jul 05, 2023 by Sergey Bozhko
- Merged
- 98
updated Jan 04, 2024
Elf bounded nps

rt-proofs!318 · created Jul 01, 2023 by Meenal Gupta
- Merged
- 47
- Approved
updated Jul 05, 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