Merge requests · RT-PROOFS

Suggested name changes in resources_v2 branch

rt-proofs!57 · created Oct 29, 2019 by Björn Brandenburg resources_v2
- Merged
updated Oct 30, 2019
make a few cosmetic tweaks in the EDF optimality proof

rt-proofs!56 · created Oct 29, 2019 by Björn Brandenburg
updated Oct 29, 2019
add CI job for testing against latest ssreflect

rt-proofs!55 · created Oct 23, 2019 by Björn Brandenburg
- Merged
updated Oct 23, 2019
Make resources explicit in ProcessorState

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

rt-proofs!38 · created Aug 20, 2019 by Sergey Bozhko
- Merged
- 1
updated Aug 20, 2019