Work on canonicalizing the AST so our analysis can handle fewer cases
authorbdemsky <bdemsky@uci.edu>
Sat, 2 Sep 2017 22:24:53 +0000 (15:24 -0700)
committerbdemsky <bdemsky@uci.edu>
Sat, 2 Sep 2017 22:27:49 +0000 (15:27 -0700)
commitf9546315ab6ece42f48fa8b2e2e53abcd1f00b74
tree6472bff9f9e41c1dcc1cf0e44f380f7e945525ed
parent13a2b4ac7c072f1896f23b30d23233eb67c05061
Work on canonicalizing the AST so our analysis can handle fewer cases
src/AST/rewriter.cc
src/AST/rewriter.h
src/ASTAnalyses/polarityassignment.cc
src/Backend/satencoder.cc
src/csolver.cc
src/csolver.h