coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Removing OCaml deprecated function names from the Lazy module.	Pierre-Marie Pédrot	2016-03-10
\|
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	Revert "Adding a "is_val" primitive to IStream."	Pierre-Marie Pédrot	2014-07-24
\| \| \| \|	This reverts commit 062d07eb5446c1032fda232b9a09e20e5410dd92.
*	Adding a "is_val" primitive to IStream.	Pierre-Marie Pédrot	2014-07-22
\|
*	Adding a coiterator to IStream.	Pierre-Marie Pédrot	2014-07-03
\|
*	Remove some dead-code (thanks to ocaml warnings)	Pierre Letouzey	2014-03-05
\| \| \| \|	The removed code isn't used locally and isn't exported in the signature
*	IStream: more efficient implementation of concat_map.	Arnaud Spiwack	2014-02-24
\|
*	IStream: a concat_map primitive.	Arnaud Spiwack	2014-02-24
\|
*	IStream: change type of thunk, spare allocations.	Arnaud Spiwack	2014-02-24
\| \| \| \| \| \| \|	Two changes: - 'a Lazy.t becomes unit -> 'a - 'a t becomes 'a u (the view type) This spares two Lazy.force, and leverages Lazy.lazy_from_fun. Considering Lazy.force is fairly slow, in particular because of the write-barrier, this should be beneficial.
*	IStream: remove a useless Obj.magic.	Arnaud Spiwack	2014-02-24
\| \| \|	Lazy.lazy_from_val does almost the same thing as this Obj.magic. It makes some extra dynamic check, but it's frankly unlikely that it could be observed.
*	A view type for IStream.	Arnaud Spiwack	2014-02-24
\| \| \|	View types are better practice than option types for pattern-matching. (Plus, they save a minute amount of allocations)
*	better IStream.concat	ppedrot	2013-11-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17064 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Small fix in IStream interface.	ppedrot	2013-08-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16667 85f007b7-540e-0410-9357-904b9bb8a0f7
*	More clever implemenation for IStream.	ppedrot	2013-05-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16538 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Adding a persistent stream data structure.	ppedrot	2013-05-28
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16532 85f007b7-540e-0410-9357-904b9bb8a0f7