| Age | Commit message (Expand) | Author |
|---|
| 2013-12-17 | Tentative fix of the guardedness checker by Christine and me. All stdlib and ... | Matthieu Sozeau |
| 2013-12-16 | A few fixes to the build system (mostly for ocamlbuild) | Pierre Letouzey |
| 2013-12-15 | Do not overallocate closures' named environments in infos. Modifying the access | Pierre-Marie Pédrot |
| 2013-11-27 | Reduction: every n iterations a slaves process checks for interruption | Enrico Tassi |
| 2013-11-24 | Slightly more efficient zip function in Closure. | Pierre-Marie Pédrot |
| 2013-11-23 | Small allocation improvement in Closure. | Pierre-Marie Pédrot |
| 2013-11-15 | Revert "Fast lookup_named in environments, based on maps instead of lists." | ppedrot |
| 2013-11-13 | Fast lookup_named in environments, based on maps instead of lists. | ppedrot |
| 2013-11-06 | Less partial applications in Vars, as well as better memory allocation. | ppedrot |
| 2013-11-04 | 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-02 | Closure: fix an issue with r16959 spotted by Matthieu | letouzey |
| 2013-10-31 | 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-29 | 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-28 | Native compiler: library compilation errors are now non fatal. | mdenes |
| 2013-10-27 | More sharing in Constr.map_with_binders. | ppedrot |
| 2013-10-24 | 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-23 | 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-22 | Removing some generic equalities. | ppedrot |
| 2013-10-22 | Various optimizations in Constr, such as term sharing and allocation | ppedrot |
| 2013-10-18 | Future: ported to Ephemeron + exception enhancing | gareuselesinge |
| 2013-10-04 | Fix comment for new string syntax (OCaml trunk). | xclerc |
| 2013-10-03 | A shallow copy of a pre_env does not contain the vm cache | gareuselesinge |
| 2013-09-27 | Removing a bunch of generic equalities. | ppedrot |
| 2013-09-19 | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | xclerc |
| 2013-09-18 | At least made the evar type opaque! There are still 5 remaining unsafe | ppedrot |
| 2013-09-14 | Slightly more compact representation of 'a substituted type, | ppedrot |
| 2013-08-30 | ind_tables: properly handling side effects | gareuselesinge |
| 2013-08-30 | Remove Obj.magic from safe typing | gareuselesinge |
| 2013-08-25 | Added a more efficient way to recover the domain of a map. | ppedrot |
| 2013-08-25 | Replacing lists by sets in clear tactic. | ppedrot |
| 2013-08-23 | Fix computation of discharged hyps for inductive types forgetting the conclus... | msozeau |
| 2013-08-22 | Misc changes around coqtop.ml : | letouzey |
| 2013-08-22 | More complete hashcons : lists (dirpath), arrays (constr) | letouzey |
| 2013-08-20 | Partial revert of r16711 | letouzey |
| 2013-08-20 | Universe counters on slaves are in sync with master | gareuselesinge |
| 2013-08-20 | Declarations.mli: reorganization of modular structures | letouzey |
