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

WIP : Restricted Supply

!92 · created Mar 26, 2020 by Sergey Bozhko
- Closed
updated Mar 26, 2020
WIP : added hyperperiod definition

!91 · created Mar 25, 2020 by Ghost User
- Closed
- 8
updated Mar 27, 2020
WIP : Restricted Supply

!90 · created Mar 13, 2020 by Sergey Bozhko
- Closed
updated Mar 26, 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
WIP: [not to be merged] Run CI for Opam file for 0.4

!86 · created Feb 24, 2020 by Pierre Roux
- Closed
- 1
updated Feb 24, 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
Test Opam file in CI

!81 · created Jan 17, 2020 by Pierre Roux
- Merged
- 13
updated Feb 27, 2020
Network calculus

!80 · created Dec 29, 2019 by Pierre Roux
- Closed
- 43
updated Jan 20, 2020
Analysis Cleanup

!79 · created Dec 21, 2019 by Björn Brandenburg Prosa v0.4
updated Dec 21, 2019
Add periodic task model

!78 · created Dec 20, 2019 by Björn Brandenburg
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
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
add a function for computing a sequence's supremum

!75 · created Dec 18, 2019 by Björn Brandenburg
updated Dec 18, 2019
Model cleanup

!74 · created Dec 18, 2019 by Björn Brandenburg
- Merged
- 8
updated Dec 19, 2019
note that common priority policies are total

!73 · created Dec 16, 2019 by Björn Brandenburg
updated Dec 16, 2019