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