Skip to content
GitLab
Explore
Sign in
Sergey Bozhko
rt-proofs
Repository
Branches
Overview
Active
Stale
All
arrival-curves
ce2cf22c
·
Add preliminary version of arrival curves
·
Jan 10, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_task_interference
20af9225
·
Fix broken proof
·
Jun 29, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
merge_temp
9b91cd2d
·
Update
·
Oct 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
nonpreemptive_FP
2ae72440
·
Fix code
·
Oct 20, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rtss2019
98bef665
·
Fix issue with non-overloaded processor hypothesis
·
May 30, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sync-code
e5fbc378
·
WIP: Merge Antonin's work
·
Jun 14, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ecrts20
6a19cfca
·
Add two refs
·
May 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
readiness_fix
cff4e0d4
·
Two small lemmas
·
Aug 28, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aSBF
2de3fec5
·
Polish one file
·
Sep 25, 2020
!17
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aSBF_PG
34ffa11e
·
Small fixes
·
Mar 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aSBF_PG_bin
b851092f
·
add parametricity for [periodic_arrivals_T]
·
Mar 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
certa-examples
1ac16ce2
·
Fixed comment
·
Apr 12, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
PG_bin_EDF
9e521d37
·
[WIP] add some proofs for Marco
·
Sep 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aSBF_PG_bin_per_dmin
a76a32fa
·
AL example working
·
Oct 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tardiness-def
b7199e0d
·
Add bounded tardiness definition
·
Dec 15, 2021
RT-PROOFS/rt-proofs!180
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
POET
2438d8d4
·
Better comment
·
Mar 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
scheduler_validity
38a6ae3d
·
fixup: keep [Job] explicit as everywhere else
·
Apr 07, 2022
RT-PROOFS/rt-proofs!206
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
concrete_tasks
dca5b70e
·
parameter syntax and def tweaks
·
May 04, 2022
RT-PROOFS/rt-proofs!214
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
maximal-arrival-sequence
9dc07f53
·
cosmetic changes, comment tweaks, shorten a few proofs
·
May 09, 2022
RT-PROOFS/rt-proofs!215
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lightning_POET
e45830d7
·
Update according to MR
·
May 18, 2022
!19
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next