aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2022-02-071-0/+32
|\
| * Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2022-02-071-0/+32
| |\
| | * More silent simplifications from veriTChantal Keller2022-02-071-0/+32
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-12-074-5/+27
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-12-074-5/+27
| |\|
| | * Solved bug in delayed ComDecChantal Keller2021-12-074-5/+27
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-11-152-1/+59
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-11-152-1/+59
| |\|
| | * More bad instanciations by veritChantal Keller2021-11-152-1/+59
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-10-216-211/+134
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-10-216-211/+134
| |\|
| | * Better use of the typeclass mechanismChantal Keller2021-10-216-210/+133
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-10-201-1/+68
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-10-201-1/+68
| |\|
| | * prod is CompDecChantal Keller2021-10-201-1/+68
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-10-142-1/+44
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-10-142-1/+44
| |\|
| | * Two examples showing that prenex dependency is handled, but not non-prenex oneChantal Keller2021-10-141-0/+43
| | * Small optimChantal Keller2021-10-141-1/+1
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-09-201-13/+2
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-09-201-13/+2
| |\|
| | * Simplify apply_symChantal Keller2021-09-201-13/+2
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-09-202-101/+67
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-09-202-101/+67
| |\|
| | * vauto is now complete w.r.t. symmetry of equality (but may be exponential in ...Chantal Keller2021-09-202-101/+67
* | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11Chantal Keller2021-09-172-1/+7
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-09-172-1/+7
| |\|
| | * Solve bug in prop2boolChantal Keller2021-09-172-1/+7
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-09-161-0/+2
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-09-161-0/+2
| |\|
| | * Update the list of authors and institutesChantal Keller2021-09-161-0/+2
* | | Merge remote-tracking branch 'coq-8.10' into coq-8.11vblot2021-09-081-9/+12
|\| |
| * | Merge remote-tracking branch 'smtcoq/master' into coq-8.10vblot2021-09-081-9/+12
| |\|
| | * generalize polymorphic arguments detectionvblot2021-09-081-9/+12
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-09-071-0/+1
|\| |
| * | Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2021-09-071-0/+1
| |\|
| | * Compilation instructions for CVC4Chantal Keller2021-09-071-0/+1
* | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller2021-09-071-9/+10
|\| |
| * | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10Chantal Keller2021-09-071-9/+10
| |\|
| | * Update installation instructions for CVC4Chantal Keller2021-09-071-9/+10
* | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11Chantal Keller2021-08-303-3/+3
|\| |
| * | Rename directory because MacOS FS is case-insensitiveChantal Keller2021-08-303-3/+3
* | | Merge remote-tracking branch 'origin/coq-8.10' into HEADvblot2021-08-252-1/+3
|\| |
| * | Merge remote-tracking branch 'origin/master' into HEADvblot2021-08-252-1/+3
| |\|
| | * fix array notations clash with ssreflectvblot2021-08-252-1/+3
* | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11Chantal Keller2021-08-181-0/+8
|\| |
| * | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10Chantal Keller2021-08-181-0/+8
| |\|
| | * Detail the path to SMTCoq when installing via opamChantal Keller2021-08-181-0/+8
* | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11Chantal Keller2021-08-181-2/+2
|\| |
| * | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10Chantal Keller2021-08-181-2/+2
| |\|
generated by cgit (git 2.34.1) at 2024-06-26 14:46:03 +0000