Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add '-package num' to MakefileHEADcoq-8.13 | Yann Herklotz | 2022-08-02 | 1 | -1/+1 |
* | Extraction for Coq 8.13 (#109) | ckeller | 2022-07-30 | 20 | -7637/+17578 |
* | New case for vauto | Chantal Keller | 2022-07-29 | 2 | -1/+36 |
* | Do not add CompDec on the fly | Chantal Keller | 2022-05-06 | 3 | -272/+386 |
* | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13SMTCoq-2.0+8.13 | Chantal Keller | 2022-05-04 | 1 | -2/+1 |
|\ | |||||
| * | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12SMTCoq-2.0+8.12 | Chantal Keller | 2022-05-04 | 1 | -2/+1 |
| |\ | |||||
| | * | Remove unused record fieldSMTCoq-2.0+8.11 | Chantal Keller | 2022-05-04 | 1 | -2/+1 |
* | | | 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 | 2022-05-04 | 1 | -24/+24 |
|\| | | |||||
| * | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2022-05-04 | 1 | -24/+24 |
| |\| | |||||
| | * | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2022-05-04 | 1 | -24/+24 |
| | |\ | |||||
| | | * | Merge remote-tracking branch 'origin/coq-8.9' into coq-8.10 | Chantal Keller | 2022-05-04 | 1 | -24/+24 |
| | | |\ | |||||
| | | | * | Comment tests | Chantal Keller | 2022-05-04 | 1 | -24/+24 |
* | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2022-04-14 | 10 | -19/+193 |
|\| | | | | |||||
| * | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2022-04-14 | 10 | -19/+193 |
| |\| | | | |||||
| | * | | | Clean-up | Chantal Keller | 2022-04-14 | 5 | -14/+84 |
| | * | | | Port | Chantal Keller | 2022-04-14 | 1 | -42/+45 |
| | * | | | Merge remote-tracking branch 'origin/coq-8.11' into timeout_verit | Chantal Keller | 2022-04-14 | 126 | -6243/+3631 |
| | |\ \ \ | |||||
| | | * | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2022-02-18 | 1 | -19/+255 |
| | | |\| | | |||||
| | * | | | | verit_timeout takes an integer as parameter | lduboisd | 2022-04-11 | 4 | -55/+48 |
| | * | | | | use of anomaly for timeout | lduboisd | 2022-04-08 | 4 | -7/+35 |
| | * | | | | verit timeout | lduboisd | 2021-12-10 | 4 | -8/+87 |
* | | | | | | Removed deprecated features | Chantal Keller | 2022-02-18 | 15 | -499/+499 |
* | | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2022-02-18 | 2 | -15/+15 |
|\| | | | | | |||||
| * | | | | | Remove deprecated and some warnings | Chantal Keller | 2022-02-18 | 3 | -19/+19 |
* | | | | | | 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 | 2 | -1/+5 |
|\| | | | | | | |||||
| * | | | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2022-02-17 | 2 | -1/+5 |
| |\ \ \ \ \ \ | | | |_|_|/ / | | |/| | | | | |||||
| | * | | | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2022-02-17 | 2 | -1/+5 |
| | |\| | | | | |||||
| | | * | | | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2022-02-17 | 2 | -1/+5 |
| | | |\ \ \ \ | | | | | |_|/ | | | | |/| | | |||||
| | | | * | | | Improve make cleanall | Chantal Keller | 2022-02-17 | 2 | -1/+5 |
* | | | | | | | Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 | Chantal Keller | 2022-02-17 | 115 | -135/+137 |
|\| | | | | | | |||||
| * | | | | | | Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 | Chantal Keller | 2022-02-17 | 115 | -135/+137 |
| |\| | | | | | |||||
| | * | | | | | Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11 | Chantal Keller | 2022-02-17 | 115 | -135/+137 |
| | |\| | | | | |||||
| | | * | | | | Merge remote-tracking branch 'origin/master' into coq-8.10 | Chantal Keller | 2022-02-17 | 115 | -115/+115 |
| | | |\| | | | |||||
| | | | * | | | Update copyright | Chantal Keller | 2022-02-16 | 126 | -126/+126 |
| | | * | | | | 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 |