aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'coq-8.12' into coq-8.13vblot2021-09-081-9/+12
|\
| * Merge remote-tracking branch 'coq-8.11' into coq-8.12vblot2021-09-081-9/+12
| |\
| | * 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.12' into coq-8.13Chantal Keller2021-09-071-0/+1
|\| | | |
| * | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12Chantal Keller2021-09-071-0/+1
| |\| | |
| | * | | 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.12' into coq-8.13Chantal Keller2021-09-071-9/+10
|\| | | |
| * | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12Chantal Keller2021-09-071-9/+10
| |\| | |
| | * | | 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.12' into coq-8.13Chantal Keller2021-08-303-3/+3
|\| | | |
| * | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12Chantal Keller2021-08-303-3/+3
| |\| | |
| | * | | 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.12' into HEADvblot2021-08-252-1/+3
|\| | | |
| * | | | Merge remote-tracking branch 'origin/coq-8.11' into HEADvblot2021-08-252-1/+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.12' into coq-8.13Chantal Keller2021-08-181-0/+8
|\| | | |
| * | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12Chantal Keller2021-08-181-0/+8
| |\| | |
| | * | | 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
* | | | | Update installation instructionsChantal Keller2021-08-181-4/+4
* | | | | Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13Chantal Keller2021-08-181-2/+2
|\| | | |
| * | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12Chantal Keller2021-08-181-2/+2
| |\| | |
| | * | | 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
| | | |\|
| | | | * Update installation instructionsChantal Keller2021-08-181-2/+2
* | | | | Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13Chantal Keller2021-08-181-6/+4
|\| | | |
| * | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12Chantal Keller2021-08-181-6/+4
| |\| | |
| | * | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11Chantal Keller2021-08-181-6/+4
| | |\| |
| | | * | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10Chantal Keller2021-08-181-6/+4
| | | |\|
| | | | * Update installation instructionsChantal Keller2021-08-181-45/+4
* | | | | Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13Chantal Keller2021-07-111-58/+63
|\| | | |
| * | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12Chantal Keller2021-07-111-58/+63
| |\| | |
| | * | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11Chantal Keller2021-07-111-58/+63
| | |\| |
| | | * | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10Chantal Keller2021-07-111-58/+63
| | | |\|
| | | | * The verit tactics now immediately fail if veriT is not installedChantal Keller2021-07-111-58/+63
* | | | | Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13Chantal Keller2021-07-0727-5063/+1695
|\| | | |
| * | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12Chantal Keller2021-07-0726-5036/+1668
| |\| | |
| | * | | Ring must be importedChantal Keller2021-07-071-1/+1
| | * | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11Chantal Keller2021-07-0725-5042/+1664
| | |\| |
| | | * | use native integers (#96)vblot2021-07-0725-5042/+1664
generated by cgit (git 2.34.1) at 2024-06-29 16:23:53 +0000