Renaming
authorbdemsky <bdemsky@uci.edu>
Wed, 30 Aug 2017 23:39:18 +0000 (16:39 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 30 Aug 2017 23:39:18 +0000 (16:39 -0700)
commitd0f23c6eaff8ec5c1721d1fd92ceb05eca6db316
tree4388ea280759ad61a8ebfa45e2da831997d87027
parentc5e632659f6f8ad931cf14104f72a5aa59acf911
Renaming
15 files changed:
src/AST/table.cc
src/ASTAnalyses/orderanalysis.cc
src/ASTAnalyses/ordergraph.cc
src/ASTAnalyses/ordergraph.h
src/ASTAnalyses/polarityassignment.cc
src/Backend/satencoder.cc
src/Backend/satfunctableencoder.cc
src/Collections/corestructs.h
src/Collections/hashset.h
src/Collections/structs.h
src/Encoders/naiveencoder.cc
src/Tuner/searchtuner.cc
src/Tuner/searchtuner.h
src/csolver.cc
src/csolver.h