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

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

projects / francis / stp.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: e26ae29) | patch

author	trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
	Thu, 29 Dec 2011 02:48:43 +0000 (02:48 +0000)
committer	trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
	Thu, 29 Dec 2011 02:48:43 +0000 (02:48 +0000)
commit	4527eaebdb38327ada5f7d85bda753f5d9040bb9
tree	5228604432570050ba81a7b9bb5ed48851a3d791	tree \| snapshot
parent	e26ae294d01eb4ce9f36a1e47ba36c0c0cff3524	commit \| diff

Refactor

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

src/STPManager/STP.cpp		diff \| blob \| history
src/simplifier/PropagateEqualities.cpp	[new file with mode: 0644]	blob
src/simplifier/PropagateEqualities.h	[new file with mode: 0644]	blob
src/simplifier/SubstitutionMap.cpp		diff \| blob \| history
src/simplifier/SubstitutionMap.h		diff \| blob \| history
src/simplifier/simplifier.cpp		diff \| blob \| history
src/simplifier/simplifier.h		diff \| blob \| history

STP Constraint Solver.