aboutsummaryrefslogtreecommitdiff
path: root/lib/future.ml
AgeCommit message (Expand)Author
2021-04-09Make critical sections safe in the presence of exceptionsLasse Blaauwbroek
2020-06-11[declare] Remove some unused `fix_exn`Emilio Jesus Gallego Arias
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-03[exninfo] Deprecate aliases for exception re-raising.Emilio Jesus Gallego Arias
2020-02-24[exn] Forbid raising in exn printers, make them return Pp.t optionEmilio Jesus Gallego Arias
2019-12-12Fix #11195 and add other improvements: try loading .vio (and not just .vo) if...charguer
2019-08-26[lib] [future] Small cleanup of ununsed functions.Emilio Jesus Gallego Arias
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-03-04Removing debugging warning when no exception handler is registered in futures.Hugo Herbelin
2018-10-15Correct some spelling errorsBenjamin Barenblat
2018-02-27Update headers following #6543.Théo Zimmermann
2017-10-17[stm] Remove state-handling from Futures.Emilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2017-03-24Merge branch 'v8.6' into trunkMaxime Dénès
2017-03-20[future] Use eager evaluation for chaining values.Emilio Jesus Gallego Arias
2017-03-14[future] Remove unused parameter greedy.Emilio Jesus Gallego Arias
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-03-05Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-04Rename Ephemeron -> CEphemeron.Maxime Dénès
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-12-04Specializing the Dyn module to each usecase.Pierre-Marie Pédrot
2015-10-08Future: make not-here/not-ready messages customizableEnrico Tassi
2015-02-21Future: human readable name for delegated (Close #4065)Enrico Tassi
2015-01-12Update headers.Maxime Dénès
2014-12-17Future: blocking by defaultEnrico Tassi
2014-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-11-28Future: API for blocking futuresEnrico Tassi
2014-10-13STM: primitives to snapshot a .vi while in interactive modeEnrico Tassi
2014-10-13library/opaqueTables: enable their use in interactive modeEnrico Tassi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:01:31 +0000