| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update installation instructions | Chantal Keller | 2022-05-04 | 1 | -1/+56 |
| | | |||||
| * | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2021-09-07 | 1 | -0/+1 |
| |\ | |||||
| | * | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-09-07 | 1 | -0/+1 |
| | |\ | |||||
| | | * | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-09-07 | 1 | -0/+1 |
| | | |\ | |||||
| | | | * | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2021-09-07 | 1 | -0/+1 |
| | | | |\ | |||||
| | | | | * | Compilation instructions for CVC4 | Chantal Keller | 2021-09-07 | 1 | -0/+1 |
| | | | | | | |||||
| * | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2021-09-07 | 1 | -9/+10 |
| |\| | | | | |||||
| | * | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-09-07 | 1 | -9/+10 |
| | |\| | | | |||||
| | | * | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-09-07 | 1 | -9/+10 |
| | | |\| | | |||||
| | | | * | | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10 | Chantal Keller | 2021-09-07 | 1 | -9/+10 |
| | | | |\| | |||||
| | | | | * | Update installation instructions for CVC4 | Chantal Keller | 2021-09-07 | 1 | -9/+10 |
| | | | | | | |||||
| * | | | | | Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13 | Chantal Keller | 2021-08-18 | 1 | -0/+8 |
| |\| | | | | |||||
| | * | | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-08-18 | 1 | -0/+8 |
| | |\| | | | |||||
| | | * | | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-08-18 | 1 | -0/+8 |
| | | |\| | | |||||
| | | | * | | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10 | Chantal Keller | 2021-08-18 | 1 | -0/+8 |
| | | | |\| | |||||
| | | | | * | Detail the path to SMTCoq when installing via opam | Chantal Keller | 2021-08-18 | 1 | -0/+8 |
| | | | | | | |||||
| * | | | | | Update installation instructions | Chantal Keller | 2021-08-18 | 1 | -4/+4 |
| |/ / / / | |||||
| * | | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-08-18 | 1 | -2/+2 |
| |\| | | | |||||
| | * | | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-08-18 | 1 | -2/+2 |
| | |\| | | |||||
| | | * | | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10 | Chantal Keller | 2021-08-18 | 1 | -2/+2 |
| | | |\| | |||||
| | | | * | Update installation instructions | Chantal Keller | 2021-08-18 | 1 | -2/+2 |
| | | | | | |||||
| * | | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-08-18 | 1 | -6/+4 |
| |\| | | | |||||
| | * | | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-08-18 | 1 | -6/+4 |
| | |\| | | |||||
| | | * | | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10 | Chantal Keller | 2021-08-18 | 1 | -6/+4 |
| | | |\| | |||||
| | | | * | Update installation instructions | Chantal Keller | 2021-08-18 | 1 | -45/+4 |
| | | | | | |||||
| * | | | | Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12 | Chantal Keller | 2021-05-28 | 1 | -0/+1 |
| |\| | | | |||||
| | * | | | Configure is back (due to #69) | Chantal Keller | 2021-05-28 | 1 | -0/+1 |
| | | | | | |||||
| * | | | | Update documentation | Chantal Keller | 2021-05-28 | 1 | -7/+7 |
| |/ / / | |||||
| * | | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11 | Chantal Keller | 2021-05-28 | 1 | -40/+0 |
| |\| | | |||||
| | * | | Add Makefile | Chantal Keller | 2021-05-28 | 1 | -1/+0 |
| | | | | |||||
| | * | | getting rid of native-coq (#95) | vblot | 2021-05-28 | 1 | -40/+1 |
| | | | | |||||
| * | | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11 | Chantal Keller | 2021-01-13 | 1 | -1/+1 |
| |\| | | |||||
| | * | | Version of OCaml | Chantal Keller | 2021-01-13 | 1 | -2/+2 |
| | | | | |||||
| | * | | Update installation instructions | Chantal Keller | 2020-07-20 | 1 | -5/+5 |
| | |/ | |||||
| * | | Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.11 | Chantal Keller | 2020-07-20 | 1 | -89/+102 |
| |\| | |||||
| | * | Installation instructions for 8.9.1 | Chantal Keller | 2020-07-20 | 1 | -4/+4 |
| | | | |||||
| | * | Update installation instructions | Chantal Keller | 2020-07-20 | 1 | -50/+63 |
| | | | |||||
| * | | Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.11 | Chantal Keller | 2020-06-30 | 1 | -6/+5 |
| |\| | |||||
| | * | Update required version of OCaml (fixes #73) | Chantal Keller | 2020-06-30 | 1 | -6/+5 |
| | | | |||||
| * | | Update installation instructions | Chantal Keller | 2020-06-05 | 1 | -2/+2 |
| | | | |||||
| * | | Update installation instructions | Chantal Keller | 2020-06-05 | 1 | -78/+78 |
| |/ | |||||
| * | Typo | Chantal Keller | 2019-09-25 | 1 | -0/+1 |
| | | |||||
| * | Typo | Chantal Keller | 2019-09-25 | 1 | -1/+0 |
| | | |||||
| * | An opam package is back! | Chantal Keller | 2019-09-25 | 1 | -17/+18 |
| | | |||||
| * | Documentation | Chantal Keller | 2019-04-12 | 1 | -1/+5 |
| | | |||||
| * | More uniformity in INSTALL | Chantal Keller | 2019-03-15 | 1 | -10/+12 |
| | | |||||
| * | Use CVC4 version 1.6 | Chantal Keller | 2019-03-15 | 1 | -6/+10 |
| | | |||||
| * | Tactics are broken with native-coq (fixes #38) | Chantal Keller | 2019-03-15 | 1 | -7/+12 |
| | | |||||
| * | Explain LFSCSIGS in the installation instructions for CVC4 | Chantal Keller | 2019-03-15 | 1 | -21/+17 |
| | | |||||
| * | V8.9 (#43) | ckeller | 2019-03-15 | 1 | -9/+9 |
| | | | | | | | | | | | | | | | | | | | | | * New syntax for implicit arguments * Towards 8.9: problems with Micromega plugin * Move to _CoqProject * Back to name Makefile * Switch to Makefile.local instead of -extra * The compilation issue is a Coq bug * Ok with 8.9 * INSTALL with 8.9 * Everything ok with 8.9 | ||||
 |
index : smtcoq | |
| Fork of https://github.com/smtcoq/smtcoq. |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/INSTALL.md