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>
	Mon, 5 Oct 2009 17:28:56 +0000 (17:28 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Mon, 5 Oct 2009 17:28:56 +0000 (17:28 +0000)
commit	cc1853bdd29253034947994cd634884918aa275c
tree	0880ccd7a9fed77f357b112bdaa2aee9651fa5bd	tree \| snapshot
parent	7fa49bca62616dd34e2eda1c6eb1ceafc44923b7	commit \| diff

more reorganization. introduced STPManager directory, and move BeevMgr class to it

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

24 files changed:

Makefile		diff \| blob \| history
scripts/Makefile.in		diff \| blob \| history
src/AST/AST.h		diff \| blob \| history
src/AST/ASTBVConst.cpp		diff \| blob \| history
src/AST/ASTInterior.cpp		diff \| blob \| history
src/AST/ASTNode.cpp		diff \| blob \| history
src/AST/ASTSymbol.cpp		diff \| blob \| history
src/AST/RunTimes.cpp		diff \| blob \| history
src/AST/Transform.cpp		diff \| blob \| history
src/STPManager/STPManager.cpp	[moved from src/AST/AST.cpp with 99% similarity]	diff \| blob \| history
src/abstraction-refinement/AbstractionRefinement.cpp		diff \| blob \| history
src/const-evaluator/consteval.cpp		diff \| blob \| history
src/main/Makefile		diff \| blob \| history
src/parser/let-funcs.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/printer/CPrinter.cpp		diff \| blob \| history
src/printer/printers.h		diff \| blob \| history
src/simplifier/Makefile		diff \| blob \| history
src/simplifier/bvsolver.cpp		diff \| blob \| history
src/simplifier/simplifier.cpp		diff \| blob \| history
src/to-sat/BitBlast.cpp		diff \| blob \| history
src/to-sat/SimpBool.cpp		diff \| blob \| history
src/to-sat/ToCNF.cpp		diff \| blob \| history
src/to-sat/ToSAT.cpp		diff \| blob \| history

STP Constraint Solver.

RSS Atom