Merge requests · RT-PROOFS

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
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
clean up in util/nondecreasing.v

rt-proofs!148 · created Sep 21, 2021 by Sergey Bozhko
updated Sep 22, 2021
add lemmas to util/div_mod.v

rt-proofs!147 · created Sep 20, 2021 by Sergey Bozhko
- Merged
- 1
updated Sep 22, 2021
clean up in util/lcmseq.v

rt-proofs!146 · created Sep 17, 2021 by Sergey Bozhko
- Merged
- 2
updated Sep 17, 2021
clean up in util/rel.v

rt-proofs!145 · created Sep 16, 2021 by Sergey Bozhko
- Merged
- 2
updated Sep 16, 2021
clean up util/minmax.v

rt-proofs!144 · created Sep 15, 2021 by Sergey Bozhko
- Merged
- 1
updated Sep 15, 2021
clean up [util/list.v]

rt-proofs!143 · created Sep 10, 2021 by Sergey Bozhko
- Merged
- 1
updated Sep 11, 2021
clean up div_mod.v

rt-proofs!142 · created Sep 08, 2021 by Sergey Bozhko
- Merged
- 3
- Approved
updated Sep 09, 2021
Code and comments polishing

rt-proofs!141 · created Sep 03, 2021 by Ghost User
- Merged
updated Sep 08, 2021
Switch basic readiness to sequential readiness

rt-proofs!140 · created Sep 03, 2021 by Ghost User
- Closed
- 1
updated Sep 03, 2021
Clean up `nat.v`

rt-proofs!139 · created Aug 27, 2021 by Sergey Bozhko
- Merged
- 4
updated Sep 08, 2021
Cleanup: a few small fixes

rt-proofs!138 · created Jul 29, 2021 by Björn Brandenburg
- Merged
- 2
updated Jul 30, 2021
Fixed deprecation warnings on Hint Resolve

rt-proofs!137 · created Jul 26, 2021 by Ghost User
- Merged
- 1
- 1
updated Jul 26, 2021
Use alectryon to generate doc with proof state

rt-proofs!136 · created Jul 22, 2021 by Björn Brandenburg
- Merged
- 1
updated Jul 27, 2021
documentation improvements

rt-proofs!135 · created Jul 22, 2021 by Björn Brandenburg
- Closed
- 1
updated Jul 22, 2021