aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/hashset.mli
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* A patch renaming equal into eq in the module dealing withGravatar Hugo Herbelin2016-03-22
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Reverting 16 last commits, committed mistakenly using the wrong push command.Gravatar Hugo Herbelin2015-08-02
* A patch renaming equal into eq in the module dealing withGravatar Hugo Herbelin2015-08-02
* Adding a statistic function on hashconsing tables.Gravatar Pierre-Marie Pédrot2015-02-11
* Update headers.Gravatar Maxime Dénès2015-01-12
* Adding a field ci_cstr_nargs to case_info and mind_consnrealargs toGravatar Hugo Herbelin2014-04-28
* Using weak tables instead of plain hash tables while hashconsing.Gravatar ppedrot2012-10-17
* Reusing the Hashset data structure in Hashcons. Hopefully, this shouldGravatar ppedrot2012-09-26
* Cleaning, renaming obscure functions and documenting in Hashcons.Gravatar ppedrot2012-09-26