Merge requests · RT-PROOFS

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
new lemma in workloadfacts

rt-proofs!176 · created Nov 23, 2021 by Kimaya Bedarkar
- Merged
- 5
- Approved
updated Nov 24, 2021
New util lemma for sum

rt-proofs!174 · created Nov 22, 2021 by Kimaya Bedarkar
- Merged
- 9
- 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
Clean up in util/unit_growth.v

rt-proofs!166 · created Nov 02, 2021 by Sergey Bozhko
- Merged
- 7
updated Nov 05, 2021
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
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
CI: update to mathcomp 1.13

rt-proofs!167 · created Nov 02, 2021 by Björn Brandenburg
- Merged
- Approved
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
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
add lemmas to util/list

rt-proofs!155 · created Oct 06, 2021 by Sergey Bozhko
- Merged
- 3
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
CI: automatically check validation output for unexpected axioms

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

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