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

Prove existence of abstract busy interval

!347 · created Jan 16, 2024 by Sergey Bozhko
- Merged
- 25
- 1
updated Jan 18, 2024
generalize proof and improve structure

!346 · created Jan 15, 2024 by Sergey Bozhko
- Merged
- 5
updated Jan 16, 2024
restructure I/IW instantiation files

!345 · created Jan 15, 2024 by Sergey Bozhko
- Merged
- 26
updated Jan 15, 2024
release jitter propagation

!341 · created Jan 08, 2024 by Björn Brandenburg
- Merged
- 7
updated Jan 15, 2024
Define some notions about workload and service + clean up

!344 · created Jan 12, 2024 by Sergey Bozhko
- Merged
- 12
updated Jan 15, 2024
Service inversion is bounded

!343 · created Jan 10, 2024 by Sergey Bozhko
- Merged
- 9
updated Jan 12, 2024
improve terminology about priority inversion

!342 · created Jan 10, 2024 by Sergey Bozhko
- Merged
- 1
updated Jan 10, 2024
Introduce notion of service inversion

!339 · created Jan 04, 2024 by Sergey Bozhko
- Merged
- 75
updated Jan 10, 2024
Improve SBF-definition structure

!340 · created Jan 05, 2024 by Sergey Bozhko
- Merged
- 9
updated Jan 06, 2024
Add sequential restricted-supply aRTA

!319 · created Jul 05, 2023 by Sergey Bozhko
- Merged
- 98
updated Jan 04, 2024
CI: use locally hosted Docker images

!338 · created Jan 03, 2024 by Björn Brandenburg
updated Jan 03, 2024
remove Makefile patching and fix links in spec

!337 · created Jan 03, 2024 by Björn Brandenburg
updated Jan 03, 2024
define restricted supply processor model

!261 · created Feb 24, 2023 by Sergey Bozhko
- Merged
- 42
updated Dec 12, 2023
enforce strict subproofs

!334 · created Nov 17, 2023 by Kimaya Bedarkar
- Merged
- 38
updated Nov 24, 2023
fix "nonuniform inheritance" deprecation warning

!336 · created Nov 23, 2023 by Björn Brandenburg
updated Nov 23, 2023
update definition of SBF

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

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

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

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

!330 · created Nov 02, 2023 by Kimaya Bedarkar
- Merged
updated Nov 02, 2023