aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/future.ml
Commit message (Expand)AuthorAge
* Correct some spelling errorsmasterGravatar Benjamin Barenblat2018-07-22
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [stm] Remove state-handling from Futures.Gravatar Emilio Jesus Gallego Arias2017-10-17
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Drop '.' from CErrors.anomaly, insert it in argsGravatar Jason Gross2017-06-02
* Merge branch 'v8.6' into trunkGravatar Maxime Dénès2017-03-24
|\
| * [future] Use eager evaluation for chaining values.Gravatar Emilio Jesus Gallego Arias2017-03-20
* | [future] Remove unused parameter greedy.Gravatar Emilio Jesus Gallego Arias2017-03-14
|/
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-05
|\
| * Rename Ephemeron -> CEphemeron.Gravatar Maxime Dénès2016-03-04
* | 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
|/
* 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
* Future: blocking by defaultGravatar Enrico Tassi2014-12-17
* 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
* Future: better error messageGravatar Enrico Tassi2014-05-15
* Future: memory optimization when forcing a chained pure computationGravatar Enrico Tassi2014-04-25
* Adding a debug printer for futures.Gravatar Pierre-Marie Pédrot2014-04-25
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* 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-05-04 18:05:19 +0000