projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e18e61) | patch
boolean flatten: bug fix in dfs search
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 17 Apr 2013 17:30:41 +0000 (13:30 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 17 Apr 2013 17:30:41 +0000 (13:30 -0400)
commit36a101481a48151cd5d8c0fa57c55c41f2f31668
treef669ce086c61740700d08e4657a1514ae74e2e8dtree
parent4e18e618039a4ae5a11ada2224b71d6700ec1f4ccommit | diff
boolean flatten: bug fix in dfs search

(this is not intended to (and doesn't) address the issue with
NodeBuilder limit)
src/theory/booleans/theory_bool_rewriter.cpp diff | blob | history
test/regress/regress0/preprocess/Makefile.am diff | blob | history
test/regress/regress0/preprocess/preprocess_15.cvc [new file with mode: 0644] blob