Skip to content
GitLab
Explore
Sign in
Sergey Bozhko
rt-proofs
Repository
Branches
Overview
Active
Stale
All
prm
9e0a8c4a
·
test pipeline
·
May 29, 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
completed-jobs-arent-served
8f735b31
·
a lot of changes
·
Feb 02, 2024
generalize-proof
dda0e124
·
[to squash]
·
Jan 16, 2024
RT-PROOFS/rt-proofs!346
serv-inv-bounded
a1279df7
·
prove that service inversion is bounded
·
Jan 12, 2024
RT-PROOFS/rt-proofs!343
service_inversion
2821174c
·
prove a few facts about service inversion
·
Jan 10, 2024
RT-PROOFS/rt-proofs!339
sbf_def_improve
79255724
·
[to squash]
·
Jan 05, 2024
RT-PROOFS/rt-proofs!340
pcp_proof
d5666b18
·
🚧
: clean up definitions
·
Jul 25, 2023
RT-PROOFS/rt-proofs!313
quiet_time_bool
ca2aaf71
·
make abstract quiet time bool
·
Jun 12, 2023
RT-PROOFS/rt-proofs!306
rs_iw_instantiation
d077fd73
·
🚧
: fix typo
·
Feb 28, 2023
refinements_tighter_bound
fcdb00b9
·
Update POET's support code to match the newer aRTA blocking bound
·
Sep 28, 2022
RT-PROOFS/rt-proofs!248
certificates_update
f42c30bd
·
Closed AL example
·
Sep 28, 2022
poet_support
92ed1362
·
Add explanation
·
Aug 31, 2022
RT-PROOFS/rt-proofs!238
refinements_task
9ba4868d
·
Fix indentation
·
Aug 04, 2022
RT-PROOFS/rt-proofs!226
poet_libs
c0291018
·
Updated code after rebase
·
Jul 19, 2022
assumptionless-example
3607c290
·
add concrete job constructor
·
Jul 01, 2022
RT-PROOFS/rt-proofs!216
refinements
593e348f
·
update license, silence opam warning
·
Jul 01, 2022
RT-PROOFS/rt-proofs!217
lightning_POET
e45830d7
·
Update according to MR
·
May 18, 2022
!19
Prev
1
2
Next