Merge requests · RT-PROOFS

New util lemma for sum

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

rt-proofs!173 · created Nov 22, 2021 by Kimaya Bedarkar
- Closed
- 1
updated Nov 22, 2021
New lemmas in job_cost facts and fifo-basic-facts

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

rt-proofs!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

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

rt-proofs!155 · created Oct 06, 2021 by Sergey Bozhko
- Merged
- 3
updated Oct 07, 2021