aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/future.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [stm] Remove state-handling from Futures.Gravatar Emilio Jesus Gallego Arias2017-10-17
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [future] Remove unused parameter greedy.Gravatar Emilio Jesus Gallego Arias2017-03-14
* Unplugging Tacexpr in several interface files.Gravatar Pierre-Marie Pédrot2016-09-08
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Specializing the Dyn module to each usecase.Gravatar Pierre-Marie Pédrot2015-12-04
|/
* Miscellaneous typos, spacing, US spelling in comments or variable names.Gravatar Hugo Herbelin2015-10-18
* Future: make not-here/not-ready messages customizableGravatar Enrico Tassi2015-10-08
* Future: human readable name for delegated (Close #4065)Gravatar Enrico Tassi2015-02-21
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fix a few typos.Gravatar Maxime Dénès2015-01-12
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Future: API for blocking futuresGravatar Enrico Tassi2014-11-28
* STM: primitives to snapshot a .vi while in interactive modeGravatar Enrico Tassi2014-10-13
* library/opaqueTables: enable their use in interactive modeGravatar Enrico Tassi2014-10-13
* 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