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

Add the notion of Supply Bound Function (SBF)

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

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

!310 · created Jun 13, 2023 by Pierre Roux
- Merged
- 1
- Approved
updated Jun 13, 2023
Valid arrival sequence

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

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

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

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

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

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

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

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

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

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

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

!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

!297 · created Apr 11, 2023 by Meenal Gupta
- Merged
updated Apr 11, 2023
Draft: Add the RTA for ELF

!296 · created Apr 10, 2023 by Kimaya Bedarkar
- Closed
- 8
updated Apr 13, 2023
weaken one assumption

!295 · created Apr 10, 2023 by Kimaya Bedarkar
updated Apr 10, 2023
change POET's task notation

!294 · created Apr 06, 2023 by Björn Brandenburg
- Merged
- 4
updated Apr 11, 2023
CI: switch to custom mathcomp image

!293 · created Apr 06, 2023 by Björn Brandenburg
updated Apr 06, 2023