aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* fix typoGravatar Enrico Tassi2014-01-06
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* .vi files: .vo files without proofsGravatar Enrico Tassi2014-01-04
* Future: allow custom action when a delegated future is forcedGravatar Enrico Tassi2014-01-04
* Aux_file: cache information at compile time for later (re)useGravatar Enrico Tassi2014-01-04
* CoqIDE: new feedback "incomplete" to signal partial QedGravatar Enrico Tassi2013-12-24
* Future: optional greedy chainingGravatar Enrico Tassi2013-12-24
* Removing the useless pattern ident genarg.Gravatar Pierre-Marie Pédrot2013-12-19
* Fix CoqIDE on windowsGravatar Enrico Tassi2013-12-10
* Removing RefArgType generic argument.Gravatar Pierre-Marie Pédrot2013-12-01
* Getting rid of casted_open_constr. It was only used by theGravatar Pierre-Marie Pédrot2013-11-30
* Old message Interp returns the state id so that one can BackTo itGravatar Enrico Tassi2013-11-27
* New option --help-XML-protocol to document the XML procol used by -ideslaveGravatar Enrico Tassi2013-11-27
* First stab at retrocompatible INTERP messageGravatar Enrico Tassi2013-11-27
* Adding a generic Int.Map using persistent arrays.Gravatar Pierre-Marie Pédrot2013-11-26
* Adding fold_left / fold_right function to maps.Gravatar Pierre-Marie Pédrot2013-11-24
* Hardening the reading function of vo files.Gravatar Pierre-Marie Pédrot2013-11-24
* Tweaking arity & allocation of some basic functions.Gravatar Pierre-Marie Pédrot2013-11-24
* Using hashes instead of strings in dynamic tags. In case of collision, anGravatar Pierre-Marie Pédrot2013-11-22
* Better implementation for stores.Gravatar ppedrot2013-11-16
* Adding an unsafe mapping function to maps.Gravatar ppedrot2013-11-13
* Useless array manipulation in Rtrees.Gravatar ppedrot2013-11-08
* Do not compute formatter UTF8 length at creation time.Gravatar ppedrot2013-11-08
* Partial application hunt.Gravatar ppedrot2013-11-07
* better IStream.concatGravatar ppedrot2013-11-06
* Adding closure-preventing functions in CArray. These functions are allGravatar ppedrot2013-11-04
* Allocation friendly version of Util.iterate.Gravatar ppedrot2013-11-04
* Added an update function in CMap. It has the same signature as Map.add, butGravatar ppedrot2013-11-04
* Manual coding of Int.Map.find. We use unsafe features, but this functionGravatar ppedrot2013-11-04
* Adds a tactic give_up.Gravatar aspiwack2013-11-02
* Adds a shelve tactic.Gravatar aspiwack2013-11-02
* Future: better doc + restore ~pure optimizationGravatar gareuselesinge2013-10-31
* More monomorphic List.mem + List.assoc + ...Gravatar letouzey2013-10-24
* Rtree : cleanup of the comparing codeGravatar letouzey2013-10-24
* Specializing hash functions for widely used types.Gravatar ppedrot2013-10-24
* Fix the semantic of the new List.remove_assoc_fGravatar letouzey2013-10-24
* Ephemeron: add a function to run a collection cycleGravatar gareuselesinge2013-10-24
* Turn many List.assoc into List.assoc_fGravatar letouzey2013-10-24
* cList: a few alternative to hashtbl-based uniquize, distinct, subsetGravatar letouzey2013-10-23
* CList.factorize_left with a parametric equalityGravatar letouzey2013-10-23
* CList.prefix_of and CList.drop_prefix with a parametric equalityGravatar letouzey2013-10-23
* cList.index is now cList.index_f, same for index0Gravatar letouzey2013-10-23
* cList: set-as-list functions are now with an explicit comparisonGravatar letouzey2013-10-23
* Small optimizations in unification.Gravatar ppedrot2013-10-23
* Removing some generic equalities.Gravatar ppedrot2013-10-22
* Optimizing evar filters. It seems to cost quite a lot in unification,Gravatar ppedrot2013-10-22
* More efficient operations in CArray.Gravatar ppedrot2013-10-22
* New feedback message: SlaveStatusGravatar gareuselesinge2013-10-22
* Future: ported to Ephemeron + exception enhancingGravatar gareuselesinge2013-10-18
* Ephemeron: marshaling friendly keysGravatar gareuselesinge2013-10-18