aboutsummaryrefslogtreecommitdiff
path: root/lib/future.ml
AgeCommit message (Expand)Author
2014-06-08Moving hook code from Future to Lemmas. This seemed to disrupt compilation ofPierre-Marie Pédrot
2014-06-08Enforce a correct exception handling in declaration_hooksEnrico Tassi
2014-05-16Declare: fix Future managementEnrico Tassi
2014-05-15Future: better error messageEnrico Tassi
2014-04-25Future: memory optimization when forcing a chained pure computationEnrico Tassi
2014-04-25Adding a debug printer for futures.Pierre-Marie Pédrot
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2014-02-26Future: make ~greedy:true the default + new sink commodity APIEnrico Tassi
2014-02-26Future: each computation has a uuidEnrico Tassi
2014-02-10STM: fix valid_id coming from Qed errorsEnrico Tassi
2014-01-06fix typoEnrico Tassi
2014-01-05Paral-ITP: cleanup of command line flags and more conservative defaultEnrico Tassi
2014-01-04Future: allow custom action when a delegated future is forcedEnrico Tassi
2013-12-24Future: optional greedy chainingEnrico Tassi
2013-10-31Future: better doc + restore ~pure optimizationgareuselesinge
2013-10-18Future: ported to Ephemeron + exception enhancinggareuselesinge
2013-09-30lib/future: computations that are Exn can be replacedgareuselesinge
2013-09-27Removing a bunch of generic equalities.ppedrot
2013-08-30recdef: restore old semantics (pre STM)gareuselesinge
2013-08-30safe Conv_oracle state for type checkinggareuselesinge
2013-08-30Stm: if slave process dies badly go back to local lazy evaluationgareuselesinge
2013-08-12Fixing potentially misused Errors.push.ppedrot
2013-08-10Small typosppedrot
2013-08-09checker validation fixed w.r.t. Futuresgareuselesinge
2013-08-08Future library to represent pure computationsgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:47:59 +0000