| Age | Commit message (Expand) | Author |
|---|
| 2014-01-18 | Relaxing the sort elimination check to allow for let-bindings in arities. | Maxime Dénès |
| 2014-01-15 | Christmas is over... | Maxime Dénès |
| 2014-01-07 | STM: additional fix for STM + vm_compute | Enrico Tassi |
| 2014-01-06 | STM: fix worker crash when doing vm_compute | Enrico Tassi |
| 2014-01-05 | Proof_using: new syntax + suggestion | Enrico Tassi |
| 2014-01-05 | Environ: export API to transitively close a set of section variables | Enrico Tassi |
| 2014-01-05 | Paral-ITP: cleanup of command line flags and more conservative default | Enrico Tassi |
| 2014-01-04 | .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 |
| 2013-12-30 | Support for evars and metas in native compiler. | Maxime Dénès |
| 2013-12-29 | 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-28 | 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-24 | STM: capture type checking error (Closes: 3195) | Enrico Tassi |
| 2013-12-24 | Qed: feedback when type checking is done | Enrico Tassi |
| 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 |
