]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
renamed BeevMgr to STPMgr
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 11 Oct 2009 00:57:35 +0000 (00:57 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 11 Oct 2009 00:57:35 +0000 (00:57 +0000)
commite1ed46111860f40f3ee2fa758432e7becc1c003e
treef8fd7141159447da58042b275842818d060f77b8
parent8e490635d40c43fd9b5f4f0adf8692ce7ef90815
renamed BeevMgr to STPMgr

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@288 e59a4935-1847-0410-ae03-e826735625c1
31 files changed:
src/AST/AST.h
src/AST/ASTBVConst.h
src/AST/ASTInterior.h
src/AST/ASTNode.cpp
src/AST/ASTNode.h
src/AST/ASTSymbol.h
src/AST/ArrayTransformer.cpp
src/AST/ArrayTransformer.h
src/AST/UsefulDefs.h [moved from src/AST/TopLevel.h with 97% similarity]
src/STPManager/STP.cpp
src/STPManager/STP.h
src/STPManager/STPManager.cpp
src/STPManager/STPManager.h
src/absrefine_counterexample/AbsRefine_CounterExample.h
src/c_interface/c_interface.cpp
src/main/Globals.cpp
src/main/Globals.h
src/main/main.cpp
src/parser/CVC.y
src/printer/AssortedPrinters.cpp
src/printer/CPrinter.cpp
src/printer/LispPrinter.cpp
src/printer/PLPrinter.cpp
src/printer/SMTLIBPrinter.cpp
src/simplifier/bvsolver.h
src/simplifier/simplifier.h
src/to-sat/BitBlast.h
src/to-sat/SimpBool.cpp
src/to-sat/ToCNF.cpp
src/to-sat/ToCNF.h
src/to-sat/ToSAT.h