projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 081506f 07a2c86)
Merge pull request #70 from kbansal/sets-for-merge-squashed
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 19 Nov 2014 02:50:33 +0000 (21:50 -0500)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 19 Nov 2014 02:50:33 +0000 (21:50 -0500)
Set Constant's normal form and other short fixes


Trivial merge