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

add lemmas to util/div_mod.v

!147 · created Sep 20, 2021 by Sergey Bozhko
- Merged
- 1
updated Sep 22, 2021
clean up in util/lcmseq.v

!146 · created Sep 17, 2021 by Sergey Bozhko
- Merged
- 2
updated Sep 17, 2021
clean up in util/rel.v

!145 · created Sep 16, 2021 by Sergey Bozhko
- Merged
- 2
updated Sep 16, 2021
clean up util/minmax.v

!144 · created Sep 15, 2021 by Sergey Bozhko
- Merged
- 1
updated Sep 15, 2021
clean up [util/list.v]

!143 · created Sep 10, 2021 by Sergey Bozhko
- Merged
- 1
updated Sep 11, 2021
clean up div_mod.v

!142 · created Sep 08, 2021 by Sergey Bozhko
- Merged
- 3
- Approved
updated Sep 09, 2021
Clean up `nat.v`

!139 · created Aug 27, 2021 by Sergey Bozhko
- Merged
- 4
updated Sep 08, 2021
Code and comments polishing

!141 · created Sep 03, 2021 by Ghost User
- Merged
updated Sep 08, 2021
Cleanup: a few small fixes

!138 · created Jul 29, 2021 by Björn Brandenburg
- Merged
- 2
updated Jul 30, 2021
Use alectryon to generate doc with proof state

!136 · created Jul 22, 2021 by Björn Brandenburg
- Merged
- 1
updated Jul 27, 2021
Add notion of sequential and work bearing readiness

!129 · created Feb 25, 2021 by Sergey Bozhko
- Merged
- 13
updated Jul 27, 2021
Fixed deprecation warnings on Hint Resolve

!137 · created Jul 26, 2021 by Ghost User
- Merged
- 1
- 1
updated Jul 26, 2021
Add setoid rewrite

!115 · created Sep 14, 2020 by Sergey Bozhko
- Merged
- 11
updated Jul 22, 2021
Preemption model compliance

!114 · created Sep 11, 2020 by LailaElbeheiry
- Merged
- 11
updated Mar 18, 2021
Equivalence of EDF Predicates

!113 · created Sep 09, 2020 by LailaElbeheiry
- Merged
- 23
updated Mar 11, 2021
Additivity theory

!127 · created Feb 23, 2021 by Ghost User
- Merged
- 38
updated Mar 08, 2021
Compile with Coq 8.13 and mathcomp 1.12

!131 · created Mar 08, 2021 by Pierre Roux
- Merged
- 2
updated Mar 08, 2021
Define completion sequences

!121 · created Sep 28, 2020 by Pierre Roux
Definition Discussion
- Merged
- 12
- Approved
updated Mar 08, 2021
Added `bigcat` over sequences

!125 · created Feb 19, 2021 by Ghost User
- Merged
- 34
updated Mar 01, 2021
Add a few lemmas to sum

!128 · created Feb 25, 2021 by Sergey Bozhko
- Merged
- 10
updated Mar 01, 2021