Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | | Unification API using EConstr. | 2017-02-14 | ||
* | | | | Pretyping API using EConstr. | 2017-02-14 | ||
* | | | | Cases API using EConstr. | 2017-02-14 | ||
* | | | | Coercion API using EConstr. | 2017-02-14 | ||
* | | | | Classops API using EConstr. | 2017-02-14 | ||
* | | | | Typeclasses API using EConstr. | 2017-02-14 | ||
* | | | | Tacred API using EConstr. | 2017-02-14 | ||
* | | | | Constr_matching API using EConstr. | 2017-02-14 | ||
* | | | | Patternops API using EConstr. | 2017-02-14 | ||
* | | | | Typing API using EConstr. | 2017-02-14 | ||
* | | | | Evarconv API using EConstr. | 2017-02-14 | ||
* | | | | Recordops API using EConstr. | 2017-02-14 | ||
* | | | | Evarsolve API using EConstr. | 2017-02-14 | ||
* | | | | Evardefine API using EConstr. | 2017-02-14 | ||
* | | | | Find_subterm API using EConstr. | 2017-02-14 | ||
* | | | | Cbv API using EConstr. | 2017-02-14 | ||
* | | | | Retyping API using EConstr. | 2017-02-14 | ||
* | | | | Nativenorm API using EConstr. | 2017-02-14 | ||
* | | | | Vnorm API using EConstr. | 2017-02-14 | ||
* | | | | Reductionops API using EConstr. | 2017-02-14 | ||
* | | | | Termops API using EConstr. | 2017-02-14 | ||
| * | | | Merge PR#393: Replace Typeops with Fast_typeops | 2017-02-08 | ||
| |\ \ \ | ||||
| * \ \ \ | Merge branch 'v8.6' | 2017-02-01 | ||
| |\ \ \ \ | | | |_|/ | | |/| | | ||||
| * | | | | Adding a new evar source to remember the name of evars which were | 2017-01-22 | ||
| | * | | | Fixing bugs in typing "match" (regressions #5322 and #5324 + bugs with let-ins). | 2017-01-22 | ||
| | | | * | Improve unification debug trace. | 2016-12-13 | ||
| | |_|/ | |/| | | ||||
| | | * | Replace Typeops by Fast_typeops | 2016-12-12 | ||
| | |/ | |/| | ||||
| * | | Merge branch 'v8.6' | 2016-12-07 | ||
| |\| | ||||
| | * | Merge remote-tracking branch 'github/pr/366' into v8.6 | 2016-12-04 | ||
| | |\ | ||||
| | | * | Document changes | 2016-12-02 | ||
| | * | | Univs: fix bug #5180 | 2016-11-30 | ||
| | | * | Fix UGraph.check_eq! | 2016-11-30 | ||
| | |/ | ||||
| * / | Merge branch 'v8.6' | 2016-11-18 | ||
|/| | | |/ | ||||
| * | Merge remote-tracking branch 'github/pr/339' into v8.6 | 2016-11-07 | ||
| |\ | ||||
| * \ | Merge commit 'e6edb33' into v8.6 | 2016-11-07 | ||
| |\ \ | ||||
| | * | | More explicit name for status of unification constraints. | 2016-11-07 | ||
| | | * | Lets Hints/Instances take an optional pattern | 2016-11-03 | ||
* | | | | Stronger static invariant in equality upto universes. | 2016-10-31 | ||
* | | | | Moving Universes to the engine/ folder. | 2016-10-30 | ||
* | | | | Merge branch 'v8.6' | 2016-10-29 | ||
|\| | | | ||||
| * | | | Fixing error localisation bug introduced in fixing #5142 (21e1d501e17c). | 2016-10-29 | ||
| | |/ | |/| | ||||
| * | | Merge remote-tracking branch 'github/pr/337' into v8.6 | 2016-10-28 | ||
| |\ \ | ||||
| | * | | Complete overhaul of the Arguments vernacular. | 2016-10-27 | ||
| * | | | Merge branch 'v8.5' into v8.6 | 2016-10-26 | ||
| |\ \ \ | ||||
| | * \ \ | Merge remote-tracking branch 'github/pr/333' into v8.5 | 2016-10-25 | ||
| | |\ \ \ | ||||
* | | | | | | Merge branch 'v8.6' | 2016-10-24 | ||
|\| | | | | | ||||
| | * | | | | Remove incorrect assertion in cbn (bug #4822). | 2016-10-22 | ||
| | | | | * | Renamings to avoid confusion deprecating old names | 2016-10-22 | ||
| | | | | * | Unification constraint handling (#4763, #5149) | 2016-10-22 | ||
| | | * | | | Fix a bug in error printing of unif constraints | 2016-10-22 | ||
| | |/ / / |