aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/future.ml
Commit message (Expand)AuthorAge
* Future: make ~greedy:true the default + new sink commodity APIGravatar Enrico Tassi2014-02-26
* Future: each computation has a uuidGravatar Enrico Tassi2014-02-26
* STM: fix valid_id coming from Qed errorsGravatar Enrico Tassi2014-02-10
* fix typoGravatar Enrico Tassi2014-01-06
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* Future: allow custom action when a delegated future is forcedGravatar Enrico Tassi2014-01-04
* Future: optional greedy chainingGravatar Enrico Tassi2013-12-24
* Future: better doc + restore ~pure optimizationGravatar gareuselesinge2013-10-31
* Future: ported to Ephemeron + exception enhancingGravatar gareuselesinge2013-10-18
* lib/future: computations that are Exn can be replacedGravatar gareuselesinge2013-09-30
* Removing a bunch of generic equalities.Gravatar ppedrot2013-09-27
* recdef: restore old semantics (pre STM)Gravatar gareuselesinge2013-08-30
* safe Conv_oracle state for type checkingGravatar gareuselesinge2013-08-30
* Stm: if slave process dies badly go back to local lazy evaluationGravatar gareuselesinge2013-08-30
* Fixing potentially misused Errors.push.Gravatar ppedrot2013-08-12
* Small typosGravatar ppedrot2013-08-10
* checker validation fixed w.r.t. FuturesGravatar gareuselesinge2013-08-09
* Future library to represent pure computationsGravatar gareuselesinge2013-08-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 02:13:06 +0000