Merge requests · RT-PROOFS

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
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
Add "conditional" interference to remove duplication

rt-proofs!314 · created Jun 20, 2023 by Sergey Bozhko
- Merged
- 105
updated Jul 05, 2023
Draft: PCP-RTA

rt-proofs!313 · created Jun 19, 2023 by Sergey Bozhko
- 7
- 1
updated Jan 16, 2024
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
Valid arrival sequence

rt-proofs!309 · created Jun 13, 2023 by Pierre Roux
- Merged
updated Jun 13, 2023
Cleanup

rt-proofs!308 · created Jun 13, 2023 by Pierre Roux
- Merged
- 1
updated Jun 13, 2023
Silence a non-uniform coercion warning

rt-proofs!307 · created Jun 09, 2023 by Pierre Roux
- Merged
- 1
updated Jun 12, 2023
Make abstract quiet time bool

rt-proofs!306 · created Jun 06, 2023 by Sergey Bozhko
- Merged
- 1
updated Jun 12, 2023
Factor interference

rt-proofs!305 · created May 31, 2023 by Pierre Roux
- Merged
- 20
updated Jun 27, 2023
clean up priority-related facts

rt-proofs!304 · created Apr 26, 2023 by Björn Brandenburg
- Merged
- 15
- Approved
updated Apr 28, 2023
clean up some FIFO facts

rt-proofs!303 · created Apr 25, 2023 by Björn Brandenburg
- Merged
- 1
- Approved
updated Apr 25, 2023
add hints to avoid busy-window destruct'ing

rt-proofs!302 · created Apr 20, 2023 by Björn Brandenburg
- Merged
- 6
- Approved
updated Apr 20, 2023
Draft: Instantiations for 4 preemption models

rt-proofs!301 · created Apr 19, 2023 by Meenal Gupta
- Closed
- 66
updated Jul 05, 2023
silence some warnings

rt-proofs!300 · created Apr 19, 2023 by Björn Brandenburg
- Merged
- 2
updated Apr 20, 2023
Integrate rt_eauto into done (hence by and //)

rt-proofs!299 · created Apr 19, 2023 by Pierre Roux
- Merged
- 3
updated Apr 19, 2023
RTA for ELF scheduling policy

rt-proofs!298 · created Apr 13, 2023 by Meenal Gupta
- Merged
- 219
- Approved
updated Apr 19, 2023
Amend FP bounded_nps to use generalised JLFP PI lemmas

rt-proofs!297 · created Apr 11, 2023 by Meenal Gupta
- Merged
updated Apr 11, 2023