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>
	Sun, 11 Oct 2009 00:07:43 +0000 (00:07 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Sun, 11 Oct 2009 00:07:43 +0000 (00:07 +0000)
commit	060db05a4330bdaeaa37cd535dddc333c69339fe
tree	d5f480a565dff8f46cb9b2776c9b63c646a5deb4	tree \| snapshot
parent	2fb6b88185201540f66f00b630a7dca65dfe0a96	commit \| diff

big reorganization almost complete. I believe there is a slight slowdown.

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

63 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/ASTBVConst.h		diff \| blob \| history
src/AST/ASTInterior.cpp		diff \| blob \| history
src/AST/ASTInternal.h		diff \| blob \| history
src/AST/ASTNode.cpp		diff \| blob \| history
src/AST/ASTNode.h		diff \| blob \| history
src/AST/ASTSymbol.cpp		diff \| blob \| history
src/AST/ASTSymbol.h		diff \| blob \| history
src/AST/ASTmisc.cpp	[new file with mode: 0644]	blob
src/AST/ArrayTransformer.cpp	[moved from src/AST/Transform.cpp with 72% similarity]	diff \| blob \| history
src/AST/ArrayTransformer.h	[new file with mode: 0644]	blob
src/AST/Makefile		diff \| blob \| history
src/AST/RunTimes.h		diff \| blob \| history
src/AST/TopLevel.h		diff \| blob \| history
src/STPManager/Makefile	[moved from src/const-evaluator/Makefile with 59% similarity]	diff \| blob \| history
src/STPManager/STP.cpp	[new file with mode: 0644]	blob
src/STPManager/STP.h	[new file with mode: 0644]	blob
src/STPManager/STPManager.cpp		diff \| blob \| history
src/STPManager/STPManager.h	[new file with mode: 0644]	blob
src/absrefine_counterexample/AbsRefine_CounterExample.h	[new file with mode: 0644]	blob
src/absrefine_counterexample/AbstractionRefinement.cpp	[new file with mode: 0644]	blob
src/absrefine_counterexample/CounterExample.cpp	[new file with mode: 0644]	blob
src/absrefine_counterexample/Makefile	[moved from src/abstraction-refinement/Makefile with 85% similarity]	diff \| blob \| history
src/abstraction-refinement/AbstractionRefinement.cpp	[deleted file]	blob \| history
src/c_interface/Makefile		diff \| blob \| history
src/c_interface/c_interface.cpp		diff \| blob \| history
src/counterexample/Makefile	[new file with mode: 0644]	blob
src/main/Globals.cpp		diff \| blob \| history
src/main/Globals.h		diff \| blob \| history
src/main/Makefile		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/parser/CVC.lex		diff \| blob \| history
src/parser/CVC.y		diff \| blob \| history
src/parser/Makefile		diff \| blob \| history
src/parser/let-funcs.h	[new file with mode: 0644]	blob
src/parser/parser.h		diff \| blob \| history
src/parser/smtlib.lex		diff \| blob \| history
src/parser/smtlib.y		diff \| blob \| history
src/printer/AssortedPrinters.cpp		diff \| blob \| history
src/printer/Makefile	[new file with mode: 0644]	blob
src/printer/PLPrinter.cpp		diff \| blob \| history
src/printer/SMTLIBPrinter.cpp		diff \| blob \| history
src/printer/printers.h		diff \| blob \| history
src/sat/core/Solver.h		diff \| blob \| history
src/sat/core/depend.mk	[new file with mode: 0644]	blob
src/sat/sat.h		diff \| blob \| history
src/sat/simp/SimpSolver.h		diff \| blob \| history
src/sat/simp/depend.mk		diff \| blob \| history
src/sat/unsound/UnsoundSimpSolver.h		diff \| blob \| history
src/sat/unsound/depend.mk	[new file with mode: 0644]	blob
src/simplifier/bvsolver.cpp		diff \| blob \| history
src/simplifier/bvsolver.h		diff \| blob \| history
src/simplifier/consteval.cpp	[moved from src/const-evaluator/consteval.cpp with 88% similarity]	diff \| blob \| history
src/simplifier/simplifier.cpp		diff \| blob \| history
src/simplifier/simplifier.h	[new file with mode: 0644]	blob
src/to-sat/CallSAT.cpp	[new file with mode: 0644]	blob
src/to-sat/ToCNF.cpp		diff \| blob \| history
src/to-sat/ToCNF.h		diff \| blob \| history
src/to-sat/ToSAT.cpp		diff \| blob \| history
src/to-sat/ToSAT.h	[new file with mode: 0644]	blob

STP Constraint Solver.

RSS Atom