Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Ideal Uniprocessor Scheduler Implementation

!96 · created Apr 03, 2020 by Björn Brandenburg
- Merged
- 22
updated Aug 26, 2020
Add notion of offset, job index and proof of known arrival times in the periodic model.

!103 · created Aug 05, 2020 by Ghost User
- Merged
- 2
updated Aug 10, 2020
add some simple prefix facts

!102 · created Aug 04, 2020 by Björn Brandenburg
- Merged
- 1
- 1
updated Aug 10, 2020
Guidelines

!100 · created Jun 23, 2020 by Ghost User
- Merged
updated Jun 30, 2020
Fix various compilation warnings

!98 · created May 19, 2020 by Björn Brandenburg
- Merged
- 1
updated May 19, 2020
resolve warnings related to eq_big_perm, change it to perm_big

!97 · created May 11, 2020 by Ghost User
- Merged
- 3
updated May 11, 2020
Fixing broken intervals

!95 · created Apr 01, 2020 by Ghost User
- Merged
- 5
- 1
updated Apr 03, 2020
don't rename index.html to indexpage.html in coqdocjs target

!94 · created Mar 31, 2020 by Björn Brandenburg
updated Mar 31, 2020
Delete duplications of search space

!89 · created Mar 11, 2020 by Sergey Bozhko
- Merged
- 3
updated Mar 27, 2020
Remove hardcoded ideal processor model from aRTA

!88 · created Mar 10, 2020 by Sergey Bozhko
updated Mar 10, 2020
Fix CI

!87 · created Feb 27, 2020 by Pierre Roux
- Merged
- 2
updated Feb 28, 2020
Test Opam file in CI

!81 · created Jan 17, 2020 by Pierre Roux
- Merged
- 13
updated Feb 27, 2020
Work-conservation transformation and proof.

!85 · created Feb 17, 2020 by Ghost User
- Merged
- 1
updated Feb 21, 2020
Restructuring and documenting of bigcat

!84 · created Feb 05, 2020 by Ghost User
- Merged
- 7
updated Feb 10, 2020
Coq.dev

!83 · created Jan 23, 2020 by Pierre Roux
- Merged
- 2
updated Jan 28, 2020
Compile with mathcomp 1.10

!82 · created Jan 21, 2020 by Pierre Roux
- Merged
- 2
updated Jan 28, 2020
Add periodic task model

!78 · created Dec 20, 2019 by Björn Brandenburg
updated Dec 21, 2019
Analysis Cleanup

!79 · created Dec 21, 2019 by Björn Brandenburg Prosa v0.4
updated Dec 21, 2019
Superficial Results/Analysis Cleanup and Documentation Improvements

!77 · created Dec 19, 2019 by Björn Brandenburg Prosa v0.4
updated Dec 21, 2019
re-organize analysis module

!69 · created Nov 26, 2019 by Björn Brandenburg
- Merged
- 29
updated Dec 19, 2019