Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2022-02-18 | 1 | -19/+254 |
|\ | |||||
| * | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.12 | Chantal Keller | 2022-02-18 | 1 | -19/+254 |
| |\ | |||||
| | * | Merge remote-tracking branch 'vblot/coq-8.10-foldi_iter' into coq-8.10 | Chantal Keller | 2022-02-18 | 1 | -19/+254 |
| | |\ | |||||
| | | * | simpler foldi_iter | vblot | 2022-02-18 | 1 | -42/+251 |
| | | | | |||||
| | | * | foldi_iter | vblot | 2022-02-15 | 1 | -13/+39 |
| | | | | |||||
* | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2022-02-17 | 1 | -0/+4 |
|\| | | | |||||
| * | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2022-02-17 | 1 | -0/+4 |
| |\ \ \ | |||||
| | * | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2022-02-17 | 1 | -0/+4 |
| | |\| | | |||||
| | | * | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2022-02-17 | 1 | -0/+4 |
| | | |\ \ | |||||
| | | | * | | Improve make cleanall | Chantal Keller | 2022-02-17 | 1 | -0/+4 |
| | | | | | | |||||
* | | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2022-02-17 | 106 | -126/+128 |
|\| | | | | | |||||
| * | | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2022-02-17 | 106 | -126/+128 |
| |\| | | | | |||||
| | * | | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2022-02-17 | 106 | -126/+128 |
| | |\| | | | |||||
| | | * | | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2022-02-17 | 106 | -106/+106 |
| | | |\| | | |||||
| | | | * | | Update copyright | Chantal Keller | 2022-02-16 | 117 | -117/+117 |
| | | | | | | |||||
| | | * | | | Add debugging information for uninterpreted functions | Chantal Keller | 2022-02-16 | 6 | -20/+22 |
| | | | | | | |||||
* | | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2022-02-15 | 19 | -585/+983 |
|\| | | | | | |||||
| * | | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2022-02-15 | 19 | -585/+983 |
| |\| | | | | |||||
| | * | | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2022-02-15 | 19 | -585/+983 |
| | |\| | | | |||||
| | | * | | | Use the Register mechanism (#104) | ckeller | 2022-02-15 | 19 | -585/+983 |
| | | | |/ | | | |/| | |||||
* | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2022-02-07 | 1 | -0/+32 |
|\| | | | | |||||
| * | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2022-02-07 | 1 | -0/+32 |
| |\| | | | |||||
| | * | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2022-02-07 | 1 | -0/+32 |
| | |\| | | |||||
| | | * | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2022-02-07 | 1 | -0/+32 |
| | | |\| | |||||
| | | | * | More silent simplifications from veriT | Chantal Keller | 2022-02-07 | 1 | -0/+32 |
| | | | | | |||||
* | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2021-12-07 | 3 | -5/+4 |
|\| | | | | |||||
| * | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-12-07 | 3 | -5/+4 |
| |\| | | | |||||
| | * | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-12-07 | 3 | -5/+4 |
| | |\| | | |||||
| | | * | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2021-12-07 | 3 | -5/+4 |
| | | |\| | |||||
| | | | * | Solved bug in delayed ComDec | Chantal Keller | 2021-12-07 | 3 | -5/+4 |
| | | | | | |||||
* | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2021-11-15 | 1 | -1/+33 |
|\| | | | | |||||
| * | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-11-15 | 1 | -1/+33 |
| |\| | | | |||||
| | * | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-11-15 | 1 | -1/+33 |
| | |\| | | |||||
| | | * | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2021-11-15 | 1 | -1/+33 |
| | | |\| | |||||
| | | | * | More bad instanciations by verit | Chantal Keller | 2021-11-15 | 1 | -1/+33 |
| | | | | | |||||
* | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2021-10-21 | 6 | -211/+134 |
|\| | | | | |||||
| * | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-10-21 | 6 | -211/+134 |
| |\| | | | |||||
| | * | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-10-21 | 6 | -211/+134 |
| | |\| | | |||||
| | | * | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2021-10-21 | 6 | -211/+134 |
| | | |\| | |||||
| | | | * | Better use of the typeclass mechanism | Chantal Keller | 2021-10-21 | 6 | -210/+133 |
| | | | | | |||||
* | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2021-10-20 | 1 | -1/+68 |
|\| | | | | |||||
| * | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-10-20 | 1 | -1/+68 |
| |\| | | | |||||
| | * | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-10-20 | 1 | -1/+68 |
| | |\| | | |||||
| | | * | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2021-10-20 | 1 | -1/+68 |
| | | |\| | |||||
| | | | * | prod is CompDec | Chantal Keller | 2021-10-20 | 1 | -1/+68 |
| | | | | | |||||
* | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2021-10-14 | 1 | -1/+1 |
|\| | | | | |||||
| * | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2021-10-14 | 1 | -1/+1 |
| |\| | | | |||||
| | * | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2021-10-14 | 1 | -1/+1 |
| | |\| | | |||||
| | | * | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2021-10-14 | 1 | -1/+1 |
| | | |\| | |||||
| | | | * | Small optim | Chantal Keller | 2021-10-14 | 1 | -1/+1 |
| | | | | |