aboutsummaryrefslogtreecommitdiffstats
path: root/src/trace/smtMisc.mli
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13Chantal Keller2022-02-171-1/+1
|\
| * Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2022-02-171-1/+1
| |\
| | * Update copyrightChantal Keller2022-02-161-1/+1
* | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13Chantal Keller2021-12-071-1/+1
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-12-071-1/+1
| |\|
| | * Solved bug in delayed ComDecChantal Keller2021-12-071-1/+1
* | | Lia + factorize codeChantal Keller2021-06-071-0/+9
|/ /
* / getting rid of native-coq (#95)vblot2021-05-281-5/+5
|/
* Update copyrightChantal Keller2021-05-261-1/+1
* Warning (instead of error) for unsupported lemmas (#90)ckeller2021-04-211-0/+3
* V8.8 (#42)ckeller2019-03-111-8/+5
* Merge from LFSC (#26)ckeller2019-01-281-0/+16
* Adding support for lemmas in the command veritQuentin Garchery2018-10-281-0/+1
* - auto-generated mli files for future documentationValentin Blot2017-11-241-0/+7
generated by cgit (git 2.34.1) at 2024-06-13 08:38:52 +0000