aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/future.mli
Commit message (Expand)AuthorAge
* Moving hook code from Future to Lemmas. This seemed to disrupt compilation ofGravatar Pierre-Marie Pédrot2014-06-08
* Enforce a correct exception handling in declaration_hooksGravatar Enrico Tassi2014-06-08
* Declare: fix Future managementGravatar Enrico Tassi2014-05-16
* Adding a debug printer for futures.Gravatar Pierre-Marie Pédrot2014-04-25
* 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
* 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
* recdef: restore old semantics (pre STM)Gravatar gareuselesinge2013-08-30
* Stm: if slave process dies badly go back to local lazy evaluationGravatar gareuselesinge2013-08-30
* Future library to represent pure computationsGravatar gareuselesinge2013-08-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 01:30:35 +0000