Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Adding a field ci_cstr_nargs to case_info and mind_consnrealargs to | 2014-04-28 | |
* | 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 |