aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/hashset.ml
Commit message (Expand)AuthorAge
* Removing the call to Weak.get_copy in hashsets.Gravatar Pierre-Marie Pédrot2014-07-31
* Adding a field ci_cstr_nargs to case_info and mind_consnrealargs toGravatar Hugo Herbelin2014-04-28
* Tweaking arity & allocation of some basic functions.Gravatar Pierre-Marie Pédrot2013-11-24
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* Removed many calls to OCaml generic equality. This was done byGravatar ppedrot2012-10-29
* 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