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>
	Wed, 14 Oct 2009 19:53:48 +0000 (19:53 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Wed, 14 Oct 2009 19:53:48 +0000 (19:53 +0000)
commit	2a6be219044f950d3b3c9e4ebbd5ed07119e2a15
tree	d37a11530f467eeb0f02c7477417b3b28d23c081	tree \| snapshot
parent	c126604703f0aeb26d014e9df44cb9291060a3bd	commit \| diff

All userdefined flags are now local to STPManager. not global anymore

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

44 files changed:

scripts/Makefile.common		diff \| blob \| history
src/AST/ASTBVConst.cpp		diff \| blob \| history
src/AST/ASTUtil.cpp		diff \| blob \| history
src/AST/ArrayTransformer.cpp		diff \| blob \| history
src/AST/ArrayTransformer.h		diff \| blob \| history
src/AST/UsefulDefs.h		diff \| blob \| history
src/STPManager/STP.cpp		diff \| blob \| history
src/STPManager/STPManager.cpp		diff \| blob \| history
src/STPManager/STPManager.h		diff \| blob \| history
src/STPManager/UserDefinedFlags.h	[new file with mode: 0644]	blob
src/absrefine_counterexample/AbstractionRefinement.cpp		diff \| blob \| history
src/absrefine_counterexample/CounterExample.cpp		diff \| blob \| history
src/c_interface/c_interface.cpp		diff \| blob \| history
src/c_interface/c_interface.h		diff \| blob \| history
src/main/Globals.cpp		diff \| blob \| history
src/main/Globals.h		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/parser/CVC.y		diff \| blob \| history
src/parser/smtlib.y		diff \| blob \| history
src/simplifier/consteval.cpp		diff \| blob \| history
src/simplifier/simplifier.cpp		diff \| blob \| history
src/simplifier/simplifier.h		diff \| blob \| history
src/to-sat/CallSAT.cpp		diff \| blob \| history
src/to-sat/SimpBool.cpp		diff \| blob \| history
src/to-sat/ToSAT.cpp		diff \| blob \| history
tests/c-api-tests/Makefile		diff \| blob \| history
tests/c-api-tests/array-cvcl-02.c		diff \| blob \| history
tests/c-api-tests/b4-c.c		diff \| blob \| history
tests/c-api-tests/b4-c2.c		diff \| blob \| history
tests/c-api-tests/biosat-rna.cpp		diff \| blob \| history
tests/c-api-tests/cvc-to-c.cpp		diff \| blob \| history
tests/c-api-tests/getbvunsignedlonglong-check.c		diff \| blob \| history
tests/c-api-tests/multiple-queries.c		diff \| blob \| history
tests/c-api-tests/parsefile-using-cinterface.c		diff \| blob \| history
tests/c-api-tests/print.c		diff \| blob \| history
tests/c-api-tests/push-pop-1.c		diff \| blob \| history
tests/c-api-tests/push-pop.c		diff \| blob \| history
tests/c-api-tests/simplify.c		diff \| blob \| history
tests/c-api-tests/simplify1.c		diff \| blob \| history
tests/c-api-tests/stp-counterex.c		diff \| blob \| history
tests/c-api-tests/stp-div-001.c		diff \| blob \| history
tests/c-api-tests/stpcheck.c		diff \| blob \| history
tests/c-api-tests/x.c		diff \| blob \| history
tests/c-api-tests/y.c		diff \| blob \| history

STP Constraint Solver.

RSS Atom