aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/evar.ml
Commit message (Expand)AuthorAge
* 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