]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Refactor. rename a configuration property.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 22 Dec 2011 05:30:16 +0000 (05:30 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 22 Dec 2011 05:30:16 +0000 (05:30 +0000)
commitd5d10e15e7196e743fcdf53b9992ca4213e3b6e3
treefb2769b3bfb2d2626c3615fe31ea21eab6da4ab8
parentfcf0581eb91a97a7a4a1e2a3ecb89ddf8b954f13
Refactor. rename a configuration property.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1444 e59a4935-1847-0410-ae03-e826735625c1
src/AST/ASTmisc.cpp
src/AST/ArrayTransformer.cpp
src/STPManager/STP.cpp
src/STPManager/UserDefinedFlags.h
src/to-sat/AIG/ToSATAIG.cpp