renaming
authorBrian Demsky <bdemsky@uci.edu>
Wed, 30 Aug 2017 21:46:10 +0000 (14:46 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 30 Aug 2017 21:52:45 +0000 (14:52 -0700)
commitfaac5894230d569848367149a130486b965eb329
tree27ebb642de1b7f919a3b50ffc1fdfba886c46cd5
parent84d03e54cb4e2e2176239ff2785969b3af08b89f
renaming
28 files changed:
src/AST/function.cc
src/AST/ops.h
src/AST/predicate.cc
src/AST/rewriter.cc
src/ASTAnalyses/ordergraph.cc
src/ASTAnalyses/ordernode.h
src/ASTAnalyses/polarityassignment.cc
src/ASTTransform/analyzer.cc
src/ASTTransform/decomposeordertransform.cc
src/ASTTransform/integerencoding.cc
src/Backend/constraint.cc
src/Backend/satencoder.cc
src/Backend/satfuncopencoder.cc
src/Backend/satfunctableencoder.cc
src/Backend/satorderencoder.cc
src/Backend/sattranslator.cc
src/Test/buildconstraintstest.cc
src/Test/elemequalsattest.cc
src/Test/elemequalunsattest.cc
src/Test/funcencodingtest.cc
src/Test/logicopstest.cc
src/Test/ltelemconsttest.cc
src/Test/ordergraphtest.cc
src/Test/ordertest.cc
src/Test/tablefuncencodetest.cc
src/Test/tablepredicencodetest.cc
src/common.cc
src/csolver.cc