Merge requests · RT-PROOFS

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
Relax assumption in aRTA

rt-proofs!152 · created Sep 30, 2021 by Sergey Bozhko
- Merged
- 2
- 1
updated Sep 30, 2021
Switch basic readiness to sequential readiness in [results] folder

rt-proofs!130 · created Mar 05, 2021 by Sergey Bozhko
- Merged
- 62
updated Sep 29, 2021
move [Context] declaration out of the global context

rt-proofs!151 · created Sep 28, 2021 by Sergey Bozhko
- Merged
- 2
updated Sep 29, 2021
Fix description in behavior/job.v

rt-proofs!150 · created Sep 28, 2021 by Sergey Bozhko
- Merged
- 2
updated Sep 29, 2021
Clean up in util folder

rt-proofs!149 · created Sep 27, 2021 by Sergey Bozhko
- Merged
- 2
updated Sep 29, 2021