aboutsummaryrefslogtreecommitdiff
path: root/kernel
AgeCommit message (Expand)Author
2014-02-03Tracking memory misallocation by trying to improve sharing.Pierre-Marie Pédrot
2014-02-03Allocation-friendly mapping functions in Nametab.Pierre-Marie Pédrot
2014-01-18Relaxing the sort elimination check to allow for let-bindings in arities.Maxime Dénès
2014-01-15Christmas is over...Maxime Dénès
2014-01-07STM: additional fix for STM + vm_computeEnrico Tassi
2014-01-06STM: fix worker crash when doing vm_computeEnrico Tassi
2014-01-05Proof_using: new syntax + suggestionEnrico Tassi
2014-01-05Environ: export API to transitively close a set of section variablesEnrico Tassi
2014-01-05Paral-ITP: cleanup of command line flags and more conservative defaultEnrico Tassi
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2014-01-04kernel: save in aux the list of section variables usedEnrico Tassi
2014-01-04Remove obsolete comment about Let being processed synchronouslyEnrico Tassi
2013-12-30Support for evars and metas in native compiler.Maxime Dénès
2013-12-29Avoid generating .ml files in native compiler.Maxime Dénès
2013-12-29Got rid of unused lazy flag in the native compiler.Maxime Dénès
2013-12-28Revert "Partial revert of r16711"Maxime Dénès
2013-12-28Removing native_name reference from constant_body.Maxime Dénès
2013-12-24STM: capture type checking error (Closes: 3195)Enrico Tassi
2013-12-24Qed: feedback when type checking is doneEnrico Tassi
2013-12-17Tentative fix of the guardedness checker by Christine and me. All stdlib and ...Matthieu Sozeau
2013-12-16A few fixes to the build system (mostly for ocamlbuild)Pierre Letouzey
2013-12-15Do not overallocate closures' named environments in infos. Modifying the accessPierre-Marie Pédrot
2013-11-27Reduction: every n iterations a slaves process checks for interruptionEnrico Tassi
2013-11-24Slightly more efficient zip function in Closure.Pierre-Marie Pédrot
2013-11-23Small allocation improvement in Closure.Pierre-Marie Pédrot
2013-11-15Revert "Fast lookup_named in environments, based on maps instead of lists."ppedrot
2013-11-13Fast lookup_named in environments, based on maps instead of lists.ppedrot
2013-11-06Less partial applications in Vars, as well as better memory allocation.ppedrot
2013-11-04Using allocation-free version of Array higher-order function in criticalppedrot
2013-11-04Evar module now uses default Int maps and sets.ppedrot
2013-11-02Closure: fix an issue with r16959 spotted by Matthieuletouzey
2013-10-31Mod_subst.update_delta_resolver : avoid loosing Inline(_,Some _)letouzey
2013-10-31Fixing Kerpair.hash. Since the beginning, it dit not respect the typeppedrot
2013-10-31Future: better doc + restore ~pure optimizationgareuselesinge
2013-10-31Conv_orable made functional and part of pre_envgareuselesinge
2013-10-31Avoiding useless allocations in Closure.ppedrot
2013-10-29Do not generate useless argument arrays in whd_* functions.ppedrot
2013-10-29Allocation-friendly version of [Pre_env.push_named].ppedrot
2013-10-29Optimizing universes: tail-rec, allocation friendly [compare_leq].ppedrot
2013-10-28Native compiler: library compilation errors are now non fatal.mdenes
2013-10-27More sharing in Constr.map_with_binders.ppedrot
2013-10-24More monomorphic List.mem + List.assoc + ...letouzey
2013-10-24inductive.ml : get rid of some obvious (Lazy.force (lazy t))letouzey
2013-10-24Rtree : cleanup of the comparing codeletouzey
2013-10-24Specializing hash functions for widely used types.ppedrot
2013-10-24Turn many List.assoc into List.assoc_fletouzey
2013-10-23cList: a few alternative to hashtbl-based uniquize, distinct, subsetletouzey
2013-10-23cList.index is now cList.index_f, same for index0letouzey
2013-10-23cList: set-as-list functions are now with an explicit comparisonletouzey
2013-10-23Optimizing Vars.replace_varsppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 19:53:55 +0000