Merge requests · RT-PROOFS

document #86 in the style guidelines

rt-proofs!194 · created Mar 03, 2022 by Björn Brandenburg
updated Mar 04, 2022
Simplify proof of conversion_preserves_equivalence

rt-proofs!193 · created Feb 25, 2022 by Pierre Roux
- Merged
- 12
- 1
updated Mar 14, 2022
Put State inside ProcessorState

rt-proofs!192 · created Feb 25, 2022 by Pierre Roux
- Merged
- 2
updated Feb 25, 2022
Draft: Initiate a Prosa Tutorial

rt-proofs!191 · created Feb 22, 2022 by Pierre Roux
- 1
updated Mar 10, 2023
Draft: Prepare MathComp pull request

rt-proofs!190 · created Feb 21, 2022 by Pierre Roux
- 10
- 1
updated Apr 24, 2024
Deprecate ltn leq trans

rt-proofs!189 · created Feb 18, 2022 by Pierre Roux
- Merged
- 2
updated Feb 21, 2022
Draft : Explicit policy in [respects_policy_at_preemption_point]

rt-proofs!188 · created Feb 18, 2022 by Kimaya Bedarkar
- Closed
- 7
updated Mar 24, 2022
Require external libraries first

rt-proofs!187 · created Feb 14, 2022 by Pierre Roux
- Merged
- 2
- Approved
updated Feb 15, 2022
Replace ssrlia with mczify

rt-proofs!186 · created Feb 14, 2022 by Pierre Roux
- Merged
- 9
updated Mar 03, 2022
Embeds arrival_uniq into arrival sequences

rt-proofs!185 · created Feb 11, 2022 by Pierre Roux
- Closed
- 14
updated Sep 06, 2022
Update to latest Coq 8.15 and mathcomp 1.14

rt-proofs!184 · created Feb 09, 2022 by Björn Brandenburg
- Merged
- 12
updated Feb 17, 2022
New helper lemma about RBF

rt-proofs!183 · created Jan 28, 2022 by Kimaya Bedarkar
- Merged
updated Jan 31, 2022
Add RTA for FIFO based on the aRTA

rt-proofs!182 · created Jan 05, 2022 by Kimaya Bedarkar
- Merged
- 33
- Approved
updated Feb 09, 2022
WIP: POET

rt-proofs!181 · created Dec 17, 2021 by Sergey Bozhko
- Closed
- 6
- 1
updated Sep 01, 2022
Bounded tardiness definition

rt-proofs!180 · created Dec 14, 2021 by Ghost User
- Merged
- 5
- Approved
updated Dec 15, 2021
Change [job_task j = tsk] to [job_of_task tsk j]

rt-proofs!179 · created Dec 13, 2021 by Sergey Bozhko
- Merged
- 5
updated Feb 16, 2022
Fix a comment in job.v

rt-proofs!178 · created Dec 07, 2021 by Sophie Quinton
- Merged
- 1
updated Dec 08, 2021
Changes in RBF lemmas

rt-proofs!177 · created Nov 25, 2021 by Kimaya Bedarkar
- Merged
- 4
- Approved
updated Nov 29, 2021
new lemma in workloadfacts

rt-proofs!176 · created Nov 23, 2021 by Kimaya Bedarkar
- Merged
- 5
- Approved
updated Nov 24, 2021
Workload minus job cost

rt-proofs!175 · created Nov 23, 2021 by Kimaya Bedarkar
- Merged
- 1
- Approved
updated Nov 23, 2021