| Commit message (Expand) | Author | Age |
* | .vi files: .vo files without proofs | Enrico Tassi | 2014-01-04 |
* | kernel: save in aux the list of section variables used | Enrico Tassi | 2014-01-04 |
* | Remove obsolete comment about Let being processed synchronously | Enrico Tassi | 2014-01-04 |
* | Support for evars and metas in native compiler. | Maxime Dénès | 2013-12-30 |
* | Avoid generating .ml files in native compiler. | Maxime Dénès | 2013-12-29 |
* | Got rid of unused lazy flag in the native compiler. | Maxime Dénès | 2013-12-29 |
* | Revert "Partial revert of r16711" | Maxime Dénès | 2013-12-28 |
* | Removing native_name reference from constant_body. | Maxime Dénès | 2013-12-28 |
* | STM: capture type checking error (Closes: 3195) | Enrico Tassi | 2013-12-24 |
* | Qed: feedback when type checking is done | Enrico Tassi | 2013-12-24 |
* | Tentative fix of the guardedness checker by Christine and me. All stdlib and ... | Matthieu Sozeau | 2013-12-17 |
* | A few fixes to the build system (mostly for ocamlbuild) | Pierre Letouzey | 2013-12-16 |
* | Do not overallocate closures' named environments in infos. Modifying the access | Pierre-Marie Pédrot | 2013-12-15 |
* | Reduction: every n iterations a slaves process checks for interruption | Enrico Tassi | 2013-11-27 |
* | Slightly more efficient zip function in Closure. | Pierre-Marie Pédrot | 2013-11-24 |
* | Small allocation improvement in Closure. | Pierre-Marie Pédrot | 2013-11-23 |
* | Revert "Fast lookup_named in environments, based on maps instead of lists." | ppedrot | 2013-11-15 |
* | Fast lookup_named in environments, based on maps instead of lists. | ppedrot | 2013-11-13 |
* | Less partial applications in Vars, as well as better memory allocation. | ppedrot | 2013-11-06 |
* | Using allocation-free version of Array higher-order function in critical | ppedrot | 2013-11-04 |
* | Evar module now uses default Int maps and sets. | ppedrot | 2013-11-04 |
* | Closure: fix an issue with r16959 spotted by Matthieu | letouzey | 2013-11-02 |
* | Mod_subst.update_delta_resolver : avoid loosing Inline(_,Some _) | letouzey | 2013-10-31 |
* | Fixing Kerpair.hash. Since the beginning, it dit not respect the type | ppedrot | 2013-10-31 |
* | Future: better doc + restore ~pure optimization | gareuselesinge | 2013-10-31 |
* | Conv_orable made functional and part of pre_env | gareuselesinge | 2013-10-31 |
* | Avoiding useless allocations in Closure. | ppedrot | 2013-10-31 |
* | Do not generate useless argument arrays in whd_* functions. | ppedrot | 2013-10-29 |
* | Allocation-friendly version of [Pre_env.push_named]. | ppedrot | 2013-10-29 |
* | Optimizing universes: tail-rec, allocation friendly [compare_leq]. | ppedrot | 2013-10-29 |
* | Native compiler: library compilation errors are now non fatal. | mdenes | 2013-10-28 |
* | More sharing in Constr.map_with_binders. | ppedrot | 2013-10-27 |
* | More monomorphic List.mem + List.assoc + ... | letouzey | 2013-10-24 |
* | inductive.ml : get rid of some obvious (Lazy.force (lazy t)) | letouzey | 2013-10-24 |
* | Rtree : cleanup of the comparing code | letouzey | 2013-10-24 |
* | Specializing hash functions for widely used types. | ppedrot | 2013-10-24 |
* | Turn many List.assoc into List.assoc_f | letouzey | 2013-10-24 |
* | cList: a few alternative to hashtbl-based uniquize, distinct, subset | letouzey | 2013-10-23 |
* | cList.index is now cList.index_f, same for index0 | letouzey | 2013-10-23 |
* | cList: set-as-list functions are now with an explicit comparison | letouzey | 2013-10-23 |
* | Optimizing Vars.replace_vars | ppedrot | 2013-10-23 |
* | Removing some generic equalities. | ppedrot | 2013-10-22 |
* | Various optimizations in Constr, such as term sharing and allocation | ppedrot | 2013-10-22 |
* | Future: ported to Ephemeron + exception enhancing | gareuselesinge | 2013-10-18 |
* | Fix comment for new string syntax (OCaml trunk). | xclerc | 2013-10-04 |
* | A shallow copy of a pre_env does not contain the vm cache | gareuselesinge | 2013-10-03 |
* | Removing a bunch of generic equalities. | ppedrot | 2013-09-27 |
* | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | xclerc | 2013-09-19 |
* | At least made the evar type opaque! There are still 5 remaining unsafe | ppedrot | 2013-09-18 |
* | Slightly more compact representation of 'a substituted type, | ppedrot | 2013-09-14 |