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

Make resources explicit in ProcessorState

!54 · created Oct 18, 2019 by Maxime Lesourd
- Merged
- 24
updated Oct 31, 2019
make the proof term in the readiness type class "unreferencable"

!53 · created Oct 16, 2019 by Björn Brandenburg
- Merged
- 5
updated Oct 24, 2019
convert comments in restructuring module

!52 · created Oct 15, 2019 by Björn Brandenburg
- Merged
- 1
updated Oct 16, 2019
Change definition of service_implies_scheduled

!51 · created Oct 15, 2019 by Maxime Lesourd
- Merged
updated Oct 15, 2019
Restructure behavior

!50 · created Oct 15, 2019 by Björn Brandenburg
updated Oct 15, 2019
Restructuring the model folder

!49 · created Oct 15, 2019 by Sergey Bozhko
updated Oct 15, 2019
Port to Coq 8.10

!48 · created Oct 15, 2019 by Pierre Roux
- Merged
updated Oct 15, 2019
Add pretty documentation generation

!47 · created Oct 10, 2019 by Ghost User
- Merged
- 13
updated Oct 11, 2019
Shorten a few long proofs

!46 · created Sep 24, 2019 by Sergey Bozhko
updated Sep 24, 2019
Port instantiations

!45 · created Sep 23, 2019 by Sergey Bozhko
- Merged
- 64
updated Nov 19, 2019
Port seq aRTA

!44 · created Sep 17, 2019 by Sergey Bozhko
- Merged
- 14
updated Sep 23, 2019
Port non-seq aRTA

!43 · created Sep 02, 2019 by Sergey Bozhko
- Merged
- 27
updated Sep 17, 2019
remove processor models and basic facts from behavior

!42 · created Aug 30, 2019 by Björn Brandenburg
- Merged
- 1
updated Sep 12, 2019
Update the base files

!41 · created Aug 28, 2019 by Sergey Bozhko
- Merged
- 2
updated Aug 30, 2019
WIP: Resources

!40 · created Aug 23, 2019 by Maxime Lesourd
- Closed
- 1
updated Oct 18, 2019
General readiness, take two

!39 · created Aug 21, 2019 by Björn Brandenburg
- Merged
- 8
updated Aug 27, 2019
Change name of a matched variable

!38 · created Aug 20, 2019 by Sergey Bozhko
- Merged
- 1
updated Aug 20, 2019
Fix response-time recurrence for EDF

!37 · created Aug 19, 2019 by Sergey Bozhko
- Merged
- 2
updated Aug 20, 2019
WIP: add general notion of "job readiness"

!36 · created Aug 13, 2019 by Björn Brandenburg idle-cores
- Closed
- 19
updated Aug 21, 2019
WIP: expose number of idle cores

!35 · created Aug 13, 2019 by Björn Brandenburg
- Closed
- 28
updated Oct 29, 2019