Bug Fixes + add more tracing prints + turning off some optimizations
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 17 Oct 2017 18:56:36 +0000 (11:56 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 17 Oct 2017 18:56:36 +0000 (11:56 -0700)
commitb37b46536ba2d34a104147f7a627acc83184cca8
tree1957189c76ed9e139d2a2aaf69510dc294dea1b8
parent06af2c9f2f6b5db9c148abd8cbcec6df01823172
Bug Fixes + add more tracing prints + turning off some optimizations
src/AST/boolean.cc
src/AST/boolean.h
src/AST/rewriter.cc
src/ASTAnalyses/Order/orderanalysis.cc
src/ASTAnalyses/Order/ordergraph.cc
src/Backend/constraint.cc
src/Backend/satencoder.cc
src/Backend/satorderencoder.cc
src/common.h
src/csolver.cc
src/csolver.h