Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Tweaking arity & allocation of some basic functions. | 2013-11-24 | |
* | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | 2013-09-19 | |
* | Removed many calls to OCaml generic equality. This was done by | 2012-10-29 | |
* | Using weak tables instead of plain hash tables while hashconsing. | 2012-10-17 | |
* | Reusing the Hashset data structure in Hashcons. Hopefully, this should | 2012-09-26 | |
* | Cleaning, renaming obscure functions and documenting in Hashcons. | 2012-09-26 |