coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	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
\|
*	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.
*	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)
*	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
*	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