projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4961abf 8be2d02)
Merge pull request #102 from timothy-king/node-id-eq
authorTim King <taking@cs.nyu.edu>
Mon, 7 Nov 2016 05:24:06 +0000 (21:24 -0800)
committerGitHub <noreply@github.com>
Mon, 7 Nov 2016 05:24:06 +0000 (21:24 -0800)
This switches the ZombieSet in the NodeManager to use NodeValue's id …


Trivial merge