Skip to content
GitLab
Explore
Sign in
Felipe Cerqueira
rt-proofs
Repository
Branches
Overview
Active
Stale
All
events
cbaf9677
·
Add comments to file
·
Jul 18, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
uniprocessor
900383cd
·
Broken commit
·
Aug 03, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
uniprocessor2
3a8b9c3d
·
Working on FP RTA theory
·
Aug 05, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
uniprocessor3
28f344c1
·
Add example of uniprocessor FP RTA
·
Sep 05, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
uniprocessor4
ac6f0d4e
·
Major commit: Uniprocessor RTA
·
Sep 06, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
susp-oblivious
f3b4f2a5
·
Add lemma about immediate properties of schedule construction
·
Oct 19, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
edf2
29a57f08
·
Trying to fix schedule transformation
·
Oct 21, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
arrival-curves-tmp
ec3015e1
·
Fix conversion
·
Dec 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
uni-jitter-tmp
5d2db634
·
Remove JobIn + Start suspension-aware
·
Jan 10, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
arrival-curves
ce2cf22c
·
Add preliminary version of arrival curves
·
Jan 10, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
port-8.7
b6c93d38
·
Make Prosa compatible with Coq 8.7.0 and Mathcomp 1.6.4
·
Dec 07, 2017
RT-PROOFS/rt-proofs!4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
uni-jitter
3f39fe20
·
Major Commit: Suspension-aware Scheduling
·
Dec 07, 2017
RT-PROOFS/rt-proofs!3
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sustainability
258edf49
·
Formalization of Weakly Sustainable Policy
·
Jul 17, 2018
RT-PROOFS/rt-proofs!6
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refactoring
64439cea
·
TEST
·
Sep 04, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
9884f13e
·
Add lemmas about pick and make it easier to use
·
Sep 04, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar