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

Put State inside ProcessorState

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

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

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

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

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

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

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

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

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

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

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

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

!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]

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

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

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

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

!175 · created Nov 23, 2021 by Kimaya Bedarkar
- Merged
- 1
- Approved
updated Nov 23, 2021
New util lemma for sum

!174 · created Nov 22, 2021 by Kimaya Bedarkar
- Merged
- 9
- Approved
updated Nov 24, 2021
FIFO basic facts additions

!173 · created Nov 22, 2021 by Kimaya Bedarkar
- Closed
- 1
updated Nov 22, 2021