Merge scratch with master branch
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 2 Oct 2018 19:12:24 +0000 (12:12 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 2 Oct 2018 19:12:24 +0000 (12:12 -0700)
commita79d8bc322e551f909de6757484480bcf6cbc55d
tree2dc943f746f12fdef26dfd579b76a71d58f5c15e
parent94a2a1f10d93eabe3a247981b5afd0d641528e4f
parent3ea7df0292dcc11b7a60a186d375bda980d771e5
Merge scratch with master branch
src/ASTAnalyses/Encoding/encodinggraph.cc
src/ASTAnalyses/Encoding/encodinggraph.h
src/Backend/constraint.cc
src/Backend/satelemencoder.cc
src/Backend/satencoder.h
src/Encoders/naiveencoder.cc
src/Tuner/searchtuner.cc
src/csolver.cc