Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | * | | | [native comp] Improve error message on linking error. | 2017-01-26 | ||
| | * | | | | Do not add redundant side effects in tactic code. | 2017-01-20 | ||
| * | | | | | Merge branch 'v8.6' | 2017-01-19 | ||
| |\| | | | | ||||
| | * | | | | Mapping named_context_val preserves sharing when possible. | 2017-01-17 | ||
| | | * | | | Handle application of a primitive projection to a not yet evaluated cofixpoin... | 2016-12-26 | ||
| | * | | | | Handle application of a primitive projection to a not yet evaluated cofixpoin... | 2016-12-23 | ||
| * | | | | | Fixing injection in the presence of let-in in constructors. | 2016-12-22 | ||
| | | | * | | Replace Typeops by Fast_typeops | 2016-12-12 | ||
| | | | * | | Extend Fast_typeops to be a replacement for Typeops | 2016-12-12 | ||
| | |_|/ / | |/| | | | ||||
| * | | | | Merge branch 'v8.6' | 2016-12-07 | ||
| |\| | | | ||||
| | * | | | Fix #5248 - test-suite fails in 8.6beta1 | 2016-12-06 | ||
| | * | | | Merge remote-tracking branch 'github/pr/366' into v8.6 | 2016-12-04 | ||
| | |\ \ \ | ||||
| | | * | | | Document changes | 2016-12-02 | ||
| | * | | | | Merge remote-tracking branch 'github/pr/377' into v8.6 | 2016-12-02 | ||
| | |\ \ \ \ | ||||
| | * | | | | | Fix #5242 - Dubious unsilenceable warning on invalid identifier | 2016-12-02 | ||
| * | | | | | | Merge branch 'v8.6' | 2016-11-30 | ||
| |\| | | | | | ||||
| | | * | | | | Univs: fix bug #5180 | 2016-11-30 | ||
| | |/ / / / | ||||
| | | * | | | Fix UGraph.check_eq! | 2016-11-30 | ||
| | | * | | | Slightly more efficient [Univ.super] implem | 2016-11-30 | ||
| | |/ / / | ||||
| | * | | | Fix incorrect long multiplication in the VM. | 2016-11-24 | ||
* | | | | | Introducing a new EConstr.t type to perform the nf_evar operation on demand. | 2016-11-08 | ||
|/ / / / | ||||
* | | | | Moving unused code out of the kernel into Termops. | 2016-10-31 | ||
* | | | | Merge branch 'v8.6' | 2016-10-29 | ||
|\| | | | ||||
| * | | | Merge branch 'v8.5' into v8.6 | 2016-10-26 | ||
| |\| | | ||||
* | | | | COMMENT: Declarations.constant_def | 2016-10-26 | ||
* | | | | COMMENT: Names.Cmap and Names.Cmap_env | 2016-10-26 | ||
* | | | | COMMENT: Constr.kind_of_term | 2016-10-26 | ||
* | | | | Merge branch 'v8.6' | 2016-10-24 | ||
|\| | | | ||||
| | * | | Fix #5127 Memory corruption with the VM | 2016-10-24 | ||
| * | | | More comments in VM. | 2016-10-19 | ||
* | | | | Merge branch 'v8.6' | 2016-10-17 | ||
|\| | | | ||||
| * | | | Remove dead code in Environ. | 2016-10-12 | ||
* | | | | Merge branch 'v8.6' | 2016-10-12 | ||
|\| | | | ||||
| * | | | Merge branch 'v8.5' into v8.6 | 2016-10-12 | ||
| |\| | | ||||
| | * | | Fix for bug #4863, update the Proofview's env with | 2016-10-11 | ||
| * | | | Removing a slow access to a named environment. | 2016-10-06 | ||
* | | | | Merge branch 'v8.6' | 2016-10-05 | ||
|\| | | | ||||
| * | | | Merge remote-tracking branch 'github/pr/263' into v8.6 | 2016-10-03 | ||
| |\ \ \ | ||||
* | | | | | UPDATE: reference to a deprecated variable "Filename.temp_dir_name" was repla... | 2016-09-29 | ||
* | | | | | Merge branch 'v8.6' | 2016-09-14 | ||
|\| | | | | ||||
| * | | | | Merge branch 'v8.5' into v8.6 | 2016-09-09 | ||
| |\ \ \ \ | | | |/ / | | |/| | | ||||
| | | * | | Tracking careless uses of slow name lookup. | 2016-09-09 | ||
| | * | | | Restore native compiler optimizations after they were broken by 9e2ee58. | 2016-09-09 | ||
| | | * | | Removing the now useless field env_named_val from named_context_val. | 2016-09-09 | ||
| | | * | | More efficient implementation of map_named_val. | 2016-09-09 | ||
| | | * | | Fast access environment in CClosure. | 2016-09-09 | ||
| | | * | | Tentative fast-access named env | 2016-09-09 | ||
| | | * | | Packing the named_context_val in a proper record and marking it private. | 2016-09-09 | ||
| | |/ / | |/| | | ||||
* | | | | Merge PR #244. | 2016-09-08 | ||
|\ \ \ \ | ||||
* \ \ \ \ | Merge branch 'v8.6' | 2016-09-07 | ||
|\ \ \ \ \ | | |/ / / | |/| | | |