Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR#434: Optimizing array mapping in the kernel. | 2017-04-05 | |
|\ | |||
* \ | Merge branch 'v8.6' into trunk | 2017-03-24 | |
|\ \ | |||
| * | | Documenting the API of side-effects. | 2017-03-23 | |
| * | | Using a dedicated datastructure for side effect ordering. | 2017-03-23 | |
| * | | Making the side_effects type opaque. | 2017-03-23 | |
* | | | Merge branch 'v8.6' into trunk | 2017-03-23 | |
|\| | | |||
* | | | Merge branch 'v8.6' | 2017-03-22 | |
|\ \ \ | |||
* \ \ \ | Merge PR#482: [toplevel] Remove unusable option -notop | 2017-03-22 | |
|\ \ \ \ | |||
| | | * | | Add a few comments in term_typing.ml. | 2017-03-21 | |
| | | * | | Do not typecheck twice the type of opaque constants. | 2017-03-21 | |
| | |/ / | |||
* | | | | Merge PR#134: Enable `-safe-string` | 2017-03-21 | |
|\ \ \ \ | |||
| | | * | | In the Kami project, that causes a stack overflow in one of the example files | 2017-03-20 | |
| * | | | | [misc] Remove warnings about String.set | 2017-03-20 | |
| * | | | | [safe-string] Enable -safe-string ! | 2017-03-14 | |
| * | | | | [safe_string] library/nameops | 2017-03-14 | |
| * | | | | [safe_string] kernel/cemitcodes | 2017-03-14 | |
| | * | | | [toplevel] Remove unusable option -notop | 2017-03-14 | |
| * | | | | [safe-string] kernel/nativevalues | 2017-03-14 | |
| * | | | | [safe_string] kernel/term_typing | 2017-03-14 | |
| |/ / / | |||
* / / / | [future] Remove unused parameter greedy. | 2017-03-14 | |
|/ / / | |||
* | | | Merge PR#189: Remove tabulation support from pretty-printing. | 2017-02-20 | |
|\ \ \ | |||
| | | * | Optimizing array mapping in the kernel. | 2017-02-19 | |
| | |/ | |||
* | | | Merge PR#393: Replace Typeops with Fast_typeops | 2017-02-08 | |
|\ \ \ | |||
* \ \ \ | Merge branch 'v8.6' | 2017-02-01 | |
|\ \ \ \ | | |_|/ | |/| | | |||
| * | | | Merge branch 'v8.5' into v8.6 | 2017-02-01 | |
| |\ \ \ | |||
| | | * | | Remove useless comments | 2017-01-28 | |
| | * | | | [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 | |
* | | | | 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 |