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

New lemmas in job_cost facts and fifo-basic-facts

!172 · created Nov 16, 2021 by Kimaya Bedarkar
- Merged
- 4
- Approved
updated Nov 24, 2021
Generalize priority inversion

!171 · created Nov 11, 2021 by Sergey Bozhko
- Merged
- 51
updated Sep 07, 2022
FIFO basic facts

!170 · created Nov 04, 2021 by Kimaya Bedarkar
- Merged
updated Nov 04, 2021
modifications to early_hep_job_is_scheduled

!169 · created Nov 03, 2021 by Kimaya Bedarkar
- Merged
- 1
updated Nov 03, 2021
addition to basic facts

!168 · created Nov 03, 2021 by Kimaya Bedarkar
- Merged
updated Nov 03, 2021
CI: update to mathcomp 1.13

!167 · created Nov 02, 2021 by Björn Brandenburg
- Merged
- Approved
updated Nov 02, 2021
Clean up in util/unit_growth.v

!166 · created Nov 02, 2021 by Sergey Bozhko
- Merged
- 7
updated Nov 05, 2021
remove util/rewrite_facilities.v

!165 · created Nov 02, 2021 by Sergey Bozhko
- Merged
- 1
- 1
updated Nov 02, 2021
add comment in util/seqset

!164 · created Nov 02, 2021 by Sergey Bozhko
updated Nov 02, 2021
Coq 8.14 support

!163 · created Oct 14, 2021 by Björn Brandenburg
updated Oct 18, 2021
Adding an esy package

!162 · created Oct 08, 2021 by Martin Constantino–Bodin
- Merged
- 3
- 1
updated Oct 12, 2021
Introduce eta-max vector

!161 · created Oct 08, 2021 by Sergey Bozhko
- Merged
- 15
updated Jan 13, 2022
Small fixes

!160 · created Oct 07, 2021 by Mariam Vardishvili
- Merged
- 7
- 1
updated Oct 11, 2021
address deprecation warnings (`iota_add` ➔ `iotaD`)

!159 · created Oct 07, 2021 by Björn Brandenburg
- Merged
- 1
- Approved
updated Oct 07, 2021
Add lemmas to util/div_mod

!158 · created Oct 07, 2021 by Sergey Bozhko
- Merged
- 1
updated Oct 07, 2021
CI: explicitly trigger recompilation in axiom check

!157 · created Oct 06, 2021 by Björn Brandenburg
- Merged
- Approved
updated Oct 06, 2021
Move lemma [early_hep_job_is_scheduled] to separate file

!156 · created Oct 06, 2021 by Sergey Bozhko
- Merged
- 2
updated Feb 18, 2022
add lemmas to util/list

!155 · created Oct 06, 2021 by Sergey Bozhko
- Merged
- 3
updated Oct 07, 2021
CI: automatically check validation output for unexpected axioms

!154 · created Oct 05, 2021 by Björn Brandenburg
- Merged
- 1
- 1
updated Oct 06, 2021
Improve tactic `convert_two_instants_into_instant_and_duration`

!153 · created Oct 01, 2021 by Sergey Bozhko
- Merged
- 1
updated Oct 05, 2021