aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2013-11-04Adding closure-preventing functions in CArray. These functions are allppedrot
2013-11-04Allocation friendly version of Util.iterate.ppedrot
2013-11-04Added an update function in CMap. It has the same signature as Map.add, butppedrot
2013-11-04Manual coding of Int.Map.find. We use unsafe features, but this functionppedrot
2013-11-02Adds a tactic give_up.aspiwack
2013-11-02Adds a shelve tactic.aspiwack
2013-10-31Future: better doc + restore ~pure optimizationgareuselesinge
2013-10-24More monomorphic List.mem + List.assoc + ...letouzey
2013-10-24Rtree : cleanup of the comparing codeletouzey
2013-10-24Specializing hash functions for widely used types.ppedrot
2013-10-24Fix the semantic of the new List.remove_assoc_fletouzey
2013-10-24Ephemeron: add a function to run a collection cyclegareuselesinge
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.factorize_left with a parametric equalityletouzey
2013-10-23CList.prefix_of and CList.drop_prefix with a parametric equalityletouzey
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-23Small optimizations in unification.ppedrot
2013-10-22Removing some generic equalities.ppedrot
2013-10-22Optimizing evar filters. It seems to cost quite a lot in unification,ppedrot
2013-10-22More efficient operations in CArray.ppedrot
2013-10-22New feedback message: SlaveStatusgareuselesinge
2013-10-18Future: ported to Ephemeron + exception enhancinggareuselesinge
2013-10-18Ephemeron: marshaling friendly keysgareuselesinge
2013-10-14Some more hand-written comparison functions to avoid polymorphic comparison.xclerc
2013-10-11Vcs: the gc method returns the set of nodes that were collectedgareuselesinge
2013-10-11Dag: some comments on the concept of clustergareuselesinge
2013-10-10Clib: fold_left_until added to CListgareuselesinge
2013-10-07cStack: make it just a Stack with some extra APIgareuselesinge
2013-10-06Added a [modify] function to maps.ppedrot
2013-10-03STM: add options to disable fallbacks to ease regression testinggareuselesinge
2013-10-03STM: number of slaves passed by the command linegareuselesinge
2013-10-01typogareuselesinge
2013-09-30CoqIDE protocol/serialization revisedgareuselesinge
2013-09-30lib/cstack: various improvementsgareuselesinge
2013-09-30lib/vcs: various improvementsgareuselesinge
2013-09-30lib/dag: various improvementsgareuselesinge
2013-09-30lib/future: computations that are Exn can be replacedgareuselesinge
2013-09-27Removing a bunch of generic equalities.ppedrot
2013-09-19Get rid of the uses of deprecated OCaml elements (still remaining compatible ...xclerc
2013-09-12CoqIDE: show number of proofs being checked in backgroundgareuselesinge
2013-09-12Fix bug in CStack introduced by refactoringgareuselesinge
2013-09-06Moving Searchstack to CStack, and normalizing names a bit.ppedrot
2013-09-02* lib/Unicode:regisgia
2013-08-30recdef: restore old semantics (pre STM)gareuselesinge
2013-08-30safe Conv_oracle state for type checkinggareuselesinge
2013-08-30Stm: if slave process dies badly go back to local lazy evaluationgareuselesinge
2013-08-28Removing some lone List.assoc & List.mem in lib.ppedrot
2013-08-25Removing association lists in Reductionops. Btw, defining the dual of theppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:57:46 +0000