Build without warnings2016-12-15T18:32:52Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2016-12-15T18:32:52Zhttp://plrg.eecs.uci.edu/git/?p=satcheck.git;a=commitdiff;h=dda2d5d103b32f8505374712936af1daf42ec061
fix spacing with make tabbing2016-12-15T06:29:12Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2016-12-15T06:29:12Zhttp://plrg.eecs.uci.edu/git/?p=satcheck.git;a=commitdiff;h=086658309f67c28dc254b06bda5bafa8c3e191d6
Commit state of repository at time of OOPSLA 2015 submission.2015-08-21T18:40:52Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2015-08-21T18:40:52Zhttp://plrg.eecs.uci.edu/git/?p=satcheck.git;a=commitdiff;h=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a
Commit state of repository at time of OOPSLA 2015 submission.