aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/summary.ml
Commit message (Expand)AuthorAge
* Drop '.' from CErrors.anomaly, insert it in argsGravatar Jason Gross2017-06-02
* [nit] Fix a couple incorrect uses of msg_error.Gravatar Emilio Jesus Gallego Arias2017-03-24
* [pp] [ide] Minor cleanups in pp code.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Summary: simpler API for process-local storageGravatar Enrico Tassi2016-09-05
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Dyn: simplify API introducing an Easy submoduleGravatar Enrico Tassi2016-05-13
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Leveraging GADTs to provide a better Dyn API.Gravatar Pierre-Marie Pédrot2015-12-05
* | Specializing the Dyn module to each usecase.Gravatar Pierre-Marie Pédrot2015-12-04
|/
* Summary: fix code to detect functional values in summaryGravatar Enrico Tassi2015-03-25
* Update headers.Gravatar Maxime Dénès2015-01-12
* Summary: more surgery functionsGravatar Enrico Tassi2014-12-17
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Better error messages when unfreezing summary entriesGravatar Enrico Tassi2014-10-30
* Better implementation of summary unfreezing.Gravatar Pierre-Marie Pédrot2013-11-24
* Using hashes in Summary, like the previous commit did with Dyn.Gravatar Pierre-Marie Pédrot2013-11-22
* Summary: if an unfreeze function fails, print an error messageGravatar gareuselesinge2013-10-18
* Removing a bunch of generic equalities.Gravatar ppedrot2013-09-27
* summary for ML modules made correctGravatar gareuselesinge2013-08-30
* enhance marshallable option for freeze (minor TODO in safe_typing)Gravatar gareuselesinge2013-08-08
* States: frozen states can hold closuresGravatar gareuselesinge2013-05-06
* Summary: support selective freezeGravatar gareuselesinge2013-05-06
* code simplifications concerning SummaryGravatar letouzey2013-04-22
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Updating headers.Gravatar herbelin2012-08-08
* Noise for nothingGravatar pboutill2012-03-02
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Death of "survive_module" and "survive_section" (the first one wasGravatar herbelin2009-08-13
* Nouvelle en-têteGravatar herbelin2004-07-16
* Correction du bug 335 et Export/Require Export dans un moduleGravatar coq2003-10-07
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* compat ocaml 3.03Gravatar filliatr2001-12-13
* entetesGravatar filliatr2001-03-15
* certains effets disparaissent a la sortie des sections, d'autres non (selon S...Gravatar filliatr2000-11-24
* modules System, Lib et StatesGravatar filliatr1999-09-10
* modules Libobject et Summary (partiel)Gravatar filliatr1999-09-03