Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
RT-PROOFS
PROSA - Formally Proven Schedulability Analysis
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
20 forks: 14 public, 2 internal, and 4 private
Created date
Lasse Blaauwbroek /
PROSA - Formally Proven Schedulability Analysis
More qualified import of mathcomp.zidfy.ssrZ
0
Updated
Jan 28, 2023
0
0
0
0
Updated
Jan 28, 2023
Pierre Roux /
PROSA - Formally Proven Schedulability Analysis
[CI] Don't recompile mathcomp solvable and field
0
Updated
Mar 19, 2023
0
0
0
3
Updated
Mar 19, 2023
ptorrx /
PROSA - Formally Proven Schedulability Analysis
add ideal uniprocessor reference scheduler
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
LailaElbeheiry /
PROSA - Formally Proven Schedulability Analysis
fix minor warning
0
Updated
Dec 29, 2022
0
0
0
1
Updated
Dec 29, 2022
Marco Maida /
PROSA - Formally Proven Schedulability Analysis
refactor and comment summation utility lemmas
0
Updated
Dec 29, 2022
0
0
1
0
Updated
Dec 29, 2022
Marco Perronet /
PROSA - Formally Proven Schedulability Analysis
Add periodic task model
0
Updated
Dec 29, 2022
0
0
1
0
Updated
Dec 29, 2022
Xiaojie Guo /
rt-proofs
merge with upstream/master
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Maxime Lesourd /
rt-proofs
fix injection warnings in single-cost sustainability reduction
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Pascal Fradet /
rt-proofs
enable proof-length checking during CI
1
Updated
Jan 30, 2023
1
0
0
0
Updated
Jan 30, 2023
Sergey Bozhko /
rt-proofs
add remaining POET support files
0
Updated
Feb 28, 2023
0
0
2
0
Updated
Feb 28, 2023
Felix Stutz /
rt-proofs
EDF continued
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Björn Brandenburg /
prosa
prove that GEL conditionally generalizes FP
0
Updated
Mar 24, 2023
0
0
0
Updated
Mar 24, 2023
Felipe Cerqueira /
rt-proofs
Add lemmas about pick and make it easier to use
archived
0
Updated
Apr 01, 2022
archived
0
0
0
0
Updated
Apr 01, 2022
Sophie Quinton /
rt-proofs
Finish FP instantiation of abstract RTA
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022