Merge requests · RT-PROOFS

resolve warnings related to eq_big_perm, change it to perm_big

rt-proofs!97 · created May 11, 2020 by Ghost User
- Merged
- 3
updated May 11, 2020
Ideal Uniprocessor Scheduler Implementation

rt-proofs!96 · created Apr 03, 2020 by Björn Brandenburg
- Merged
- 22
updated Aug 26, 2020
Fixing broken intervals

rt-proofs!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

rt-proofs!94 · created Mar 31, 2020 by Björn Brandenburg
updated Mar 31, 2020
add notion of hyperperiod for periodic tasks

rt-proofs!93 · created Mar 31, 2020 by Ghost User
- Closed
- 3
updated Mar 31, 2020
WIP : Restricted Supply

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

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

rt-proofs!90 · created Mar 13, 2020 by Sergey Bozhko
- Closed
updated Mar 26, 2020
Delete duplications of search space

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

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

rt-proofs!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

rt-proofs!86 · created Feb 24, 2020 by Pierre Roux
- Closed
- 1
updated Feb 24, 2020
Work-conservation transformation and proof.

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

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

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

rt-proofs!82 · created Jan 21, 2020 by Pierre Roux
- Merged
- 2
updated Jan 28, 2020
Test Opam file in CI

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

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

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

rt-proofs!78 · created Dec 20, 2019 by Björn Brandenburg
updated Dec 21, 2019