aboutsummaryrefslogtreecommitdiff
path: root/library/summary.ml
AgeCommit message (Expand)Author
2021-01-22Properly implement local references in Summary.Pierre-Marie Pédrot
2020-08-21Use a map function instead of a fold when freezing summaries.Pierre-Marie Pédrot
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-12-09Simplify the implementation of Summary by specifying the type of ML-MODULES.Pierre-Marie Pédrot
2019-12-09Type-safe implementation of summary state.Pierre-Marie Pédrot
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-12-13Move shallow state logic to the function preparing state for workersMaxime Dénès
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-05-30[api] Remove deprecated objects in engine / interp / libraryEmilio Jesus Gallego Arias
2018-03-07Use a proper warning when a summary is captured out of module scope.Vincent Laporte
2018-02-27Update headers following #6543.Théo Zimmermann
2017-12-09[summary] Adapt STM to the new Summary API.Emilio Jesus Gallego Arias
2017-12-09[summary] Allow typed projections from global state + rework of internals.Emilio Jesus Gallego Arias
2017-11-01Fix FIXME: use OCaml 4.02 generative functors when available.Gaëtan Gilbert
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2017-03-24[nit] Fix a couple incorrect uses of msg_error.Emilio Jesus Gallego Arias
2017-03-21[pp] [ide] Minor cleanups in pp code.Emilio Jesus Gallego Arias
2016-09-05Summary: simpler API for process-local storageEnrico Tassi
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-05-13Dyn: simplify API introducing an Easy submoduleEnrico Tassi
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-12-05Leveraging GADTs to provide a better Dyn API.Pierre-Marie Pédrot
2015-12-04Specializing the Dyn module to each usecase.Pierre-Marie Pédrot
2015-03-25Summary: fix code to detect functional values in summaryEnrico Tassi
2015-01-12Update headers.Maxime Dénès
2014-12-17Summary: more surgery functionsEnrico Tassi
2014-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-10-30Better error messages when unfreezing summary entriesEnrico Tassi
2013-11-24Better implementation of summary unfreezing.Pierre-Marie Pédrot
2013-11-22Using hashes in Summary, like the previous commit did with Dyn.Pierre-Marie Pédrot
2013-10-18Summary: if an unfreeze function fails, print an error messagegareuselesinge
2013-09-27Removing a bunch of generic equalities.ppedrot
2013-08-30summary for ML modules made correctgareuselesinge
2013-08-08enhance marshallable option for freeze (minor TODO in safe_typing)gareuselesinge
2013-05-06States: frozen states can hold closuresgareuselesinge
2013-05-06Summary: support selective freezegareuselesinge
2013-04-22code simplifications concerning Summaryletouzey
2013-01-28Uniformization of the "anomaly" command.ppedrot
2012-12-14Moved Stringset and Stringmap to String namespace.ppedrot
2012-08-08Updating headers.herbelin
2012-03-02Noise for nothingpboutill
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-08-13Death of "survive_module" and "survive_section" (the first one washerbelin
2004-07-16Nouvelle en-têteherbelin
2003-10-07Correction du bug 335 et Export/Require Export dans un modulecoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:59:23 +0000