projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfab2bd) | patch
Changing the hashing in attributes to what Nodes do, i.e. hash on the id of the node...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 26 Feb 2010 02:25:52 +0000 (02:25 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 26 Feb 2010 02:25:52 +0000 (02:25 +0000)
commit73265c6f26b735894375aa9d793d7165848b16e7
treec0d4e6f9f6792ca6eff5e38ce36ced129d3752b1tree
parentbfab2bde219a0cda230fb2f26d89d123918a219fcommit | diff
Changing the hashing in attributes to what Nodes do, i.e. hash on the id of the node-value. This keeps coming up so we should rename the .hash() method in the node-value to something else. Morgan, feel free to change, but I had to go in as we were stuck on infinite parsing again.
src/expr/attribute.h diff | blob | history