coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Moving hook code from Future to Lemmas. This seemed to disrupt compilation of	Pierre-Marie Pédrot	2014-06-08
*	Enforce a correct exception handling in declaration_hooks	Enrico Tassi	2014-06-08
*	Declare: fix Future management	Enrico Tassi	2014-05-16
*	Future: better error message	Enrico Tassi	2014-05-15
*	Future: memory optimization when forcing a chained pure computation	Enrico Tassi	2014-04-25
*	Adding a debug printer for futures.	Pierre-Marie Pédrot	2014-04-25
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Future: make ~greedy:true the default + new sink commodity API	Enrico Tassi	2014-02-26
*	Future: each computation has a uuid	Enrico Tassi	2014-02-26
*	STM: fix valid_id coming from Qed errors	Enrico Tassi	2014-02-10
*	fix typo	Enrico Tassi	2014-01-06
*	Paral-ITP: cleanup of command line flags and more conservative default	Enrico Tassi	2014-01-05
*	Future: allow custom action when a delegated future is forced	Enrico Tassi	2014-01-04
*	Future: optional greedy chaining	Enrico Tassi	2013-12-24
*	Future: better doc + restore ~pure optimization	gareuselesinge	2013-10-31
*	Future: ported to Ephemeron + exception enhancing	gareuselesinge	2013-10-18
*	lib/future: computations that are Exn can be replaced	gareuselesinge	2013-09-30
*	Removing a bunch of generic equalities.	ppedrot	2013-09-27
*	recdef: restore old semantics (pre STM)	gareuselesinge	2013-08-30
*	safe Conv_oracle state for type checking	gareuselesinge	2013-08-30
*	Stm: if slave process dies badly go back to local lazy evaluation	gareuselesinge	2013-08-30
*	Fixing potentially misused Errors.push.	ppedrot	2013-08-12
*	Small typos	ppedrot	2013-08-10
*	checker validation fixed w.r.t. Futures	gareuselesinge	2013-08-09
*	Future library to represent pure computations	gareuselesinge	2013-08-08