aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/int.ml
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Remove some 'deprecated' warnings.Gravatar Xavier Clerc2014-09-25
* Remove some dead-code (thanks to ocaml warnings)Gravatar Pierre Letouzey2014-03-05
* Adding a generic Int.Map using persistent arrays.Gravatar Pierre-Marie Pédrot2013-11-26
* Manual coding of Int.Map.find. We use unsafe features, but this functionGravatar ppedrot2013-11-04
* More monomorphic List.mem + List.assoc + ...Gravatar letouzey2013-10-24
* Specializing hash functions for widely used types.Gravatar ppedrot2013-10-24
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* Moved Intset and Intmap to Int namespace.Gravatar ppedrot2012-12-14
* Added an Int module with dummy utility functions.Gravatar ppedrot2012-11-08