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>
	Fri, 2 Oct 2009 20:08:29 +0000 (20:08 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Fri, 2 Oct 2009 20:08:29 +0000 (20:08 +0000)
commit	6923293ab1752a6209a9d1c75507f554521d25c4
tree	0483601abadaae198f282add5905041b117b8786	tree \| snapshot
parent	01e0a06065111ed96fd5d936fe746d773232d822	commit \| diff

massiv code cleanup. Created separate files for ASTNode, ASTInternal, ASTInterior, ASTSymbol, ASTBVConst

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

23 files changed:

Makefile		diff \| blob \| history
scripts/Makefile.in		diff \| blob \| history
src/AST/AST.cpp		diff \| blob \| history
src/AST/AST.h		diff \| blob \| history
src/AST/ASTBVConst.h	[new file with mode: 0644]	blob
src/AST/ASTInterior.h	[new file with mode: 0644]	blob
src/AST/ASTInternal.h	[new file with mode: 0644]	blob
src/AST/ASTNode.h	[new file with mode: 0644]	blob
src/AST/ASTSymbol.h	[new file with mode: 0644]	blob
src/AST/Makefile		diff \| blob \| history
src/AST/TopLevel.h	[new file with mode: 0644]	blob
src/AST/Transform.cpp		diff \| blob \| history
src/c_interface/c_interface.cpp		diff \| blob \| history
src/main/Makefile		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/printer/AssortedPrinters.cpp	[moved from src/AST/printer/AssortedPrinters.cpp with 99% similarity]	diff \| blob \| history
src/printer/AssortedPrinters.h	[moved from src/AST/printer/AssortedPrinters.h with 98% similarity]	diff \| blob \| history
src/printer/CPrinter.cpp	[moved from src/AST/printer/CPrinter.cpp with 100% similarity]	blob \| history
src/printer/LispPrinter.cpp	[moved from src/AST/printer/LispPrinter.cpp with 100% similarity]	blob \| history
src/printer/PLPrinter.cpp	[moved from src/AST/printer/PLPrinter.cpp with 100% similarity]	blob \| history
src/printer/SMTLIBPrinter.cpp	[moved from src/AST/printer/SMTLIBPrinter.cpp with 100% similarity]	blob \| history
src/printer/dotPrinter.cpp	[moved from src/AST/printer/dotPrinter.cpp with 100% similarity]	blob \| history
src/printer/printers.h	[moved from src/AST/printer/printers.h with 91% similarity]	diff \| blob \| history

STP Constraint Solver.

RSS Atom