aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | 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
* | | | | Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13Chantal Keller2021-06-071-1/+1
|\| | | |
| * | | | No configure anymoreChantal Keller2021-06-071-1/+1
* | | | | All tests go throughChantal Keller2021-06-071-1/+1
* | | | | Lia + factorize codeChantal Keller2021-06-075-130/+97
* | | | | Remove new warningChantal Keller2021-06-071-4/+4
* | | | | Port the Coq partChantal Keller2021-06-074-20/+26
* | | | | Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13Chantal Keller2021-06-076-37/+983
|\| | | |
| * | | | Configure not needed anymoreChantal Keller2021-06-073-5/+866
| * | | | Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12Chantal Keller2021-06-073-32/+117
| |\| | |
| | * | | Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11Chantal Keller2021-06-023-32/+117
| | |\| |
| | | * | Merge remote-tracking branch 'remotes/origin/master' into coq-8.10Chantal Keller2021-06-023-32/+117
| | | |\|
| | | | * Type back in CompDec (for efficiency reasons)Chantal Keller2021-06-023-32/+117
* | | | | Merge branch 'coq-8.12' of github.com:smtcoq/smtcoq into coq-8.13Chantal Keller2021-05-286-867/+8
|\| | | |
| * | | | Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12Chantal Keller2021-05-286-867/+8
| |\| | |
| | * | | Configure is back (due to #69)Chantal Keller2021-05-286-829/+8
* | | | | Merge branch 'coq-8.12' of github.com:smtcoq/smtcoq into coq-8.13Chantal Keller2021-05-2861-2205/+1682
|\| | | |
| * | | | Update documentationChantal Keller2021-05-281-7/+7
| * | | | Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12Chantal Keller2021-05-2861-2198/+1675
| |\| | |
| | * | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller2021-05-2861-2197/+1637
| | |\| |
| | | * | Add MakefileChantal Keller2021-05-285-4/+802
| | | * | getting rid of native-coq (#95)vblot2021-05-2860-2194/+809
* | | | | Merge branch 'coq-8.12' of github.com:smtcoq/smtcoq into coq-8.13Chantal Keller2021-05-285-202/+10
|\| | | |
| * | | | Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12Chantal Keller2021-05-285-202/+10
| |\| | |
| | * | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller2021-05-285-201/+10
| | |\| |
| | | * | Get rid of most of our copy of micromega's source code (#94)vblot2021-05-285-179/+10
* | | | | Port Lia.vChantal Keller2021-05-261-79/+127
* | | | | Minor changes on the Coq partChantal Keller2021-05-264-8/+6
|/ / / /
* | | | Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12Chantal Keller2021-05-26126-126/+126
|\| | |
| * | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller2021-05-26126-126/+126
| |\| |
| | * | Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10Chantal Keller2021-05-26126-126/+126
| | |\|
| | | * Update copyrightChantal Keller2021-05-26126-126/+126
* | | | Port ocaml partChantal Keller2021-05-264-8/+7
* | | | Port the Coq partChantal Keller2021-05-266-130/+121
|/ / /
* | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller2021-05-257-715/+648
|\| |
| * | Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10Chantal Keller2021-05-257-715/+648
| |\|
| | * CompDec clean-up (#93)ckeller2021-05-257-715/+648
* | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11pxtp21Chantal Keller2021-05-062-0/+33
|\| |
| * | Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10Chantal Keller2021-05-062-0/+33
| |\|
| | * Another silent change of veriT...Chantal Keller2021-05-062-0/+33
* | | Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller2021-05-061-0/+12
|\| |
| * | Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10Chantal Keller2021-05-061-0/+12
| |\|
generated by cgit (git 2.34.1) at 2024-06-12 15:47:48 +0000