aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cSig.mli
Commit message (Expand)AuthorAge
* Rename update to set, fixes #6196Gravatar Paul Steckler2017-12-05
* Fix FIXME: use OCaml 4.02 generative functors when available.Gravatar Gaëtan Gilbert2017-11-01
* Merge remote-tracking branch 'origin/v8.5' into trunkGravatar Guillaume Melquiond2016-01-06
|\
| * Protect code against changes in Map interface.Gravatar Maxime Dénès2016-01-06
* | 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
|/
* Fixing compilation on OCaml 4.01.Gravatar Pierre-Marie Pédrot2014-03-05
* Clib: fold_left_until added to CListGravatar gareuselesinge2013-10-10
* Moving Searchstack to CStack, and normalizing names a bit.Gravatar ppedrot2013-09-06