Skip to content
GitLab
Explore
Sign in
Sergey Bozhko
rt-proofs
Repository
Branches
Overview
Active
Stale
All
rta-rs-lp-fp
b5ce8711
·
prove RTAs for three preemption models of RS FP
·
Apr 26, 2024
RT-PROOFS/rt-proofs!369
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
56914535
·
CI: complain and fail if there are warnings
·
Feb 15, 2024
RT-PROOFS/rt-proofs!16
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
generalize-jobready
d5dc60d7
·
[to squash]
·
Feb 08, 2024
RT-PROOFS/rt-proofs!359
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
completed-jobs-arent-served
8f735b31
·
a lot of changes
·
Feb 02, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
generalize-proof
dda0e124
·
[to squash]
·
Jan 16, 2024
RT-PROOFS/rt-proofs!346
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
serv-inv-bounded
a1279df7
·
prove that service inversion is bounded
·
Jan 12, 2024
RT-PROOFS/rt-proofs!343
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
service_inversion
2821174c
·
prove a few facts about service inversion
·
Jan 10, 2024
RT-PROOFS/rt-proofs!339
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sbf_def_improve
79255724
·
[to squash]
·
Jan 05, 2024
RT-PROOFS/rt-proofs!340
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pcp_proof
d5666b18
·
🚧
: clean up definitions
·
Jul 25, 2023
RT-PROOFS/rt-proofs!313
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
quiet_time_bool
ca2aaf71
·
make abstract quiet time bool
·
Jun 12, 2023
RT-PROOFS/rt-proofs!306
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rs_iw_instantiation
d077fd73
·
🚧
: fix typo
·
Feb 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refinements_tighter_bound
fcdb00b9
·
Update POET's support code to match the newer aRTA blocking bound
·
Sep 28, 2022
RT-PROOFS/rt-proofs!248
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
certificates_update
f42c30bd
·
Closed AL example
·
Sep 28, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
poet_support
92ed1362
·
Add explanation
·
Aug 31, 2022
RT-PROOFS/rt-proofs!238
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refinements_task
9ba4868d
·
Fix indentation
·
Aug 04, 2022
RT-PROOFS/rt-proofs!226
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
poet_libs
c0291018
·
Updated code after rebase
·
Jul 19, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
assumptionless-example
3607c290
·
add concrete job constructor
·
Jul 01, 2022
RT-PROOFS/rt-proofs!216
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refinements
593e348f
·
update license, silence opam warning
·
Jul 01, 2022
RT-PROOFS/rt-proofs!217
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
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
Prev
1
2
Next