coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Better implementation for stores.	ppedrot	2013-11-16
*	Adding an unsafe mapping function to maps.	ppedrot	2013-11-13
*	Useless array manipulation in Rtrees.	ppedrot	2013-11-08
*	Do not compute formatter UTF8 length at creation time.	ppedrot	2013-11-08
*	Partial application hunt.	ppedrot	2013-11-07
*	better IStream.concat	ppedrot	2013-11-06
*	Adding closure-preventing functions in CArray. These functions are all	ppedrot	2013-11-04
*	Allocation friendly version of Util.iterate.	ppedrot	2013-11-04
*	Added an update function in CMap. It has the same signature as Map.add, but	ppedrot	2013-11-04
*	Manual coding of Int.Map.find. We use unsafe features, but this function	ppedrot	2013-11-04
*	Adds a tactic give_up.	aspiwack	2013-11-02
*	Adds a shelve tactic.	aspiwack	2013-11-02
*	Future: better doc + restore ~pure optimization	gareuselesinge	2013-10-31
*	More monomorphic List.mem + List.assoc + ...	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
*	Fix the semantic of the new List.remove_assoc_f	letouzey	2013-10-24
*	Ephemeron: add a function to run a collection cycle	gareuselesinge	2013-10-24
*	Turn many List.assoc into List.assoc_f	letouzey	2013-10-24
*	cList: a few alternative to hashtbl-based uniquize, distinct, subset	letouzey	2013-10-23
*	CList.factorize_left with a parametric equality	letouzey	2013-10-23
*	CList.prefix_of and CList.drop_prefix with a parametric equality	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
*	Small optimizations in unification.	ppedrot	2013-10-23
*	Removing some generic equalities.	ppedrot	2013-10-22
*	Optimizing evar filters. It seems to cost quite a lot in unification,	ppedrot	2013-10-22
*	More efficient operations in CArray.	ppedrot	2013-10-22
*	New feedback message: SlaveStatus	gareuselesinge	2013-10-22
*	Future: ported to Ephemeron + exception enhancing	gareuselesinge	2013-10-18
*	Ephemeron: marshaling friendly keys	gareuselesinge	2013-10-18
*	Some more hand-written comparison functions to avoid polymorphic comparison.	xclerc	2013-10-14
*	Vcs: the gc method returns the set of nodes that were collected	gareuselesinge	2013-10-11
*	Dag: some comments on the concept of cluster	gareuselesinge	2013-10-11
*	Clib: fold_left_until added to CList	gareuselesinge	2013-10-10
*	cStack: make it just a Stack with some extra API	gareuselesinge	2013-10-07
*	Added a [modify] function to maps.	ppedrot	2013-10-06
*	STM: add options to disable fallbacks to ease regression testing	gareuselesinge	2013-10-03
*	STM: number of slaves passed by the command line	gareuselesinge	2013-10-03
*	typo	gareuselesinge	2013-10-01
*	CoqIDE protocol/serialization revised	gareuselesinge	2013-09-30
*	lib/cstack: various improvements	gareuselesinge	2013-09-30
*	lib/vcs: various improvements	gareuselesinge	2013-09-30
*	lib/dag: various improvements	gareuselesinge	2013-09-30
*	lib/future: computations that are Exn can be replaced	gareuselesinge	2013-09-30
*	Removing a bunch of generic equalities.	ppedrot	2013-09-27
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	CoqIDE: show number of proofs being checked in background	gareuselesinge	2013-09-12
*	Fix bug in CStack introduced by refactoring	gareuselesinge	2013-09-12
*	Moving Searchstack to CStack, and normalizing names a bit.	ppedrot	2013-09-06