git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Wed, 28 Oct 2009 19:51:25 +0000 (19:51 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Wed, 28 Oct 2009 19:51:25 +0000 (19:51 +0000)
commit	e1cf1d50efd537a6d62c7bb4adb1c65a12000e7f
tree	4a3031f63656b392c1305c5358f003565e7c8d93	tree \| snapshot
parent	37b5a9efd5ee4a46ea8cb6a328ed3a741b0e17c9	commit \| diff

did emacs indentation of all files. fixed Makefiles, and ToSAT.cpp to allow for compiling and linking with cyrptominisat

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@354 e59a4935-1847-0410-ae03-e826735625c1

16 files changed:

STP Constraint Solver.

RSS Atom

Makefile		diff \| blob \| history
scripts/Makefile.common		diff \| blob \| history
scripts/Makefile.in		diff \| blob \| history
src/AST/ArrayTransformer.h		diff \| blob \| history
src/AST/RunTimes.cpp		diff \| blob \| history
src/STPManager/STP.h		diff \| blob \| history
src/STPManager/STPManager.h		diff \| blob \| history
src/absrefine_counterexample/CounterExample.cpp		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/sat/Makefile		diff \| blob \| history
src/sat/core/Solver.h		diff \| blob \| history
src/sat/sat.h		diff \| blob \| history
src/to-sat/BitBlast.cpp		diff \| blob \| history
src/to-sat/BitBlast.h		diff \| blob \| history
src/to-sat/ToCNF.cpp		diff \| blob \| history
src/to-sat/ToSAT.cpp		diff \| blob \| history