aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/evar.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [api] Remove aliases of `Evar.t`Gravatar Emilio Jesus Gallego Arias2017-11-26
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Evar module now uses default Int maps and sets.Gravatar ppedrot2013-11-04
* Specializing hash functions for widely used types.Gravatar ppedrot2013-10-24
* At least made the evar type opaque! There are still 5 remaining unsafeGravatar ppedrot2013-09-18