projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3ac872f de81929)
Merge pull request #71 from kbansal/const-are-triggers
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 2 Apr 2015 17:05:31 +0000 (13:05 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 2 Apr 2015 17:05:31 +0000 (13:05 -0400)
change const are triggers from false to true in equality engines

Performance comparison:
   https://www.starexec.org/starexec/secure/details/job.jsp?id=6941

Bug opened for testcase that became much worse:
  http://church.cims.nyu.edu/bugzilla3/show_bug.cgi?id=621


Trivial merge