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

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
Move new Prosa from rt.restructuring to top level and rename the namespace from 'rt' to 'prosa'

!76 · created Dec 19, 2019 by Björn Brandenburg Prosa v0.4
updated Dec 19, 2019
Model cleanup

!74 · created Dec 18, 2019 by Björn Brandenburg
- Merged
- 8
updated Dec 19, 2019
add a function for computing a sequence's supremum

!75 · created Dec 18, 2019 by Björn Brandenburg
updated Dec 18, 2019
note that common priority policies are total

!73 · created Dec 16, 2019 by Björn Brandenburg
updated Dec 16, 2019
CI improvements & well-known definitions in model folder

!72 · created Dec 10, 2019 by Björn Brandenburg analysis-reorg
- Merged
updated Dec 10, 2019