aboutsummaryrefslogtreecommitdiff
path: root/lib/dyn.ml
AgeCommit message (Expand)Author
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-12-09[lib] Convenience function for `Dyn.Easy`Emilio Jesus Gallego Arias
2017-11-03Merge PR #6051: Fix FIXME: use OCaml 4.02 generative functors when available.Maxime Dénès
2017-11-02Naming the type of Dyn.Map for future reuse.Hugo Herbelin
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
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
2016-01-17Adding a structure indexed by tags.Pierre-Marie Pédrot
2015-12-05Factorizing unsafe code by relying on the new Dyn module.Pierre-Marie Pédrot
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-04-23Remove almost all the uses of string concatenation when building error messages.Guillaume Melquiond
2015-03-16Adding a primitive to dump the current association table of dynamic types.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-12-17Dyn: add API to check of two Dyn.t are ==Enrico Tassi
2013-11-22Using hashes instead of strings in dynamic tags. In case of collision, anPierre-Marie Pédrot
2013-08-28Removing some lone List.assoc & List.mem in lib.ppedrot
2013-01-28Uniformization of the "anomaly" command.ppedrot
2012-10-02Remove some more "open" and dead code thanks to OCaml4 warningsletouzey
2012-09-14Partial revert of Yann commit in order to use CLib.List when openingppedrot
2012-09-14This patch removes unused "open" (automatically generated fromregisgia
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
2004-07-16Nouvelle en-têteherbelin
2001-03-15entetesfilliatr
1999-09-28ajout de divers fonctions dans lib/filliatr
1999-08-17ajout dyn; divers fonctions utilfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:19:06 +0000