Skip to content
GitLab
Explore
Sign in
Sergey Bozhko
rt-proofs
Repository
Branches
Overview
Active
Stale
All
Active branches
prm
20c73c7d
·
define periodic resource model
·
May 02, 2024
RT-PROOFS/rt-proofs!371
rta-rs-lp-edf
10c15d65
·
prove RTAs for two preemption models of RS EDF
·
May 01, 2024
RT-PROOFS/rt-proofs!370
master
default
56914535
·
CI: complain and fail if there are warnings
·
Feb 15, 2024
RT-PROOFS/rt-proofs!16
generalize-jobready
d5dc60d7
·
[to squash]
·
Feb 08, 2024
RT-PROOFS/rt-proofs!359
Stale branches
arrival-curves
ce2cf22c
·
Add preliminary version of arrival curves
·
Jan 10, 2017
fix_task_interference
20af9225
·
Fix broken proof
·
Jun 29, 2018
merge_temp
9b91cd2d
·
Update
·
Oct 03, 2018
nonpreemptive_FP
2ae72440
·
Fix code
·
Oct 20, 2018
rtss2019
98bef665
·
Fix issue with non-overloaded processor hypothesis
·
May 30, 2019