aboutsummaryrefslogtreecommitdiffstats
path: root/INSTALL.md
Commit message (Expand)AuthorAgeFilesLines
* Update installation instructionsChantal Keller2022-05-041-1/+56
* 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-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.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.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 branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12Chantal Keller2021-05-281-0/+1
|\| | |
| * | | Configure is back (due to #69)Chantal Keller2021-05-281-0/+1
* | | | Update documentationChantal Keller2021-05-281-7/+7
|/ / /
* | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller2021-05-281-40/+0
|\| |
| * | Add MakefileChantal Keller2021-05-281-1/+0
| * | getting rid of native-coq (#95)vblot2021-05-281-40/+1
* | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller2021-01-131-1/+1
|\| |
| * | Version of OCamlChantal Keller2021-01-131-2/+2
| * | Update installation instructionsChantal Keller2020-07-201-5/+5
| |/
* | Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller2020-07-201-89/+102
|\|
| * Installation instructions for 8.9.1Chantal Keller2020-07-201-4/+4
| * Update installation instructionsChantal Keller2020-07-201-50/+63
* | Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller2020-06-301-6/+5
|\|
| * Update required version of OCaml (fixes #73)Chantal Keller2020-06-301-6/+5
* | Update installation instructionsChantal Keller2020-06-051-2/+2
* | Update installation instructionsChantal Keller2020-06-051-78/+78
|/
* TypoChantal Keller2019-09-251-0/+1
* TypoChantal Keller2019-09-251-1/+0
* An opam package is back!Chantal Keller2019-09-251-17/+18
* DocumentationChantal Keller2019-04-121-1/+5
* More uniformity in INSTALLChantal Keller2019-03-151-10/+12
* Use CVC4 version 1.6Chantal Keller2019-03-151-6/+10
* Tactics are broken with native-coq (fixes #38)Chantal Keller2019-03-151-7/+12
* Explain LFSCSIGS in the installation instructions for CVC4Chantal Keller2019-03-151-21/+17
* V8.9 (#43)ckeller2019-03-151-9/+9
generated by cgit (git 2.34.1) at 2024-05-05 14:30:50 +0000