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>
	Tue, 11 Aug 2009 16:18:36 +0000 (16:18 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 11 Aug 2009 16:18:36 +0000 (16:18 +0000)
commit	9e8b606f6416cd7a928ed42d9899afcdd2fdcc2b
tree	fbda94927ef1eb75720f6f487a2b9f084ff2a87e	tree \| snapshot
parent	82b4d9903c3ec4ecf6cb516d138cd23f7bd726bd	commit \| diff

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

57 files changed:

big-test/histar-big-tests/chained-call-slowdown/README	[deleted file]	blob \| history
big-test/histar-big-tests/chained-call-slowdown/test	[deleted file]	blob \| history
big-test/histar-big-tests/chained-call-slowdown/test.c	[deleted file]	blob \| history
big-test/histar-big-tests/slow-with-cvs/README	[deleted file]	blob \| history
big-test/histar-big-tests/slow-with-cvs/test.c	[deleted file]	blob \| history
tests/big-test/dsa_chop_allopt.stp	[moved from big-test/dsa_chop_allopt.stp with 100% similarity]	blob \| history
tests/big-test/dsa_chop_allopt.stp.cvc	[moved from big-test/dsa_chop_allopt.stp.cvc with 100% similarity]	blob \| history
tests/big-test/dsa_chop_dc.stp	[moved from big-test/dsa_chop_dc.stp with 100% similarity]	blob \| history
tests/big-test/dsa_chop_dc.stp.cvc	[moved from big-test/dsa_chop_dc.stp.cvc with 100% similarity]	blob \| history
tests/big-test/dsa_chop_noopt-nossa.stp	[moved from big-test/dsa_chop_noopt-nossa.stp with 100% similarity]	blob \| history
tests/big-test/dsa_chop_noopt-nossa.stp.cvc	[moved from big-test/dsa_chop_noopt-nossa.stp.cvc with 100% similarity]	blob \| history
tests/big-test/dsa_chop_noopt-ssa.stp	[moved from big-test/dsa_chop_noopt-ssa.stp with 100% similarity]	blob \| history
tests/big-test/dsa_chop_noopt-ssa.stp.cvc	[moved from big-test/dsa_chop_noopt-ssa.stp.cvc with 100% similarity]	blob \| history
tests/big-test/dsa_chop_noopt.stp	[moved from big-test/dsa_chop_noopt.stp with 100% similarity]	blob \| history
tests/big-test/dsa_chop_noopt.stp.cvc	[moved from big-test/dsa_chop_noopt.stp.cvc with 100% similarity]	blob \| history
tests/bio-tests/4-alpha-helices-2-rungs-more-bits-simplified.cvc	[new file with mode: 0644]	blob
tests/bio-tests/4-alpha-helices-2-rungs-more-bits.cvc	[new file with mode: 0644]	blob
tests/bio-tests/4-alpha-helices-2-rungs.cvc	[new file with mode: 0644]	blob
tests/bio-tests/4-alpha-helices-3-rungs-32bits.cvc	[new file with mode: 0644]	blob
tests/bio-tests/4-alpha-helices-3-rungs.cvc	[new file with mode: 0644]	blob
tests/bio-tests/Makefile.cvc	[new file with mode: 0644]	blob
tests/c-api-tests/array-cvcl-02.c	[moved from c-api-tests/array-cvcl-02.c with 100% similarity]	blob \| history
tests/c-api-tests/b4-c.c	[moved from c-api-tests/b4-c.c with 100% similarity]	blob \| history
tests/c-api-tests/b4-c2.c	[moved from c-api-tests/b4-c2.c with 100% similarity]	blob \| history
tests/c-api-tests/cvc-to-c.cpp	[moved from c-api-tests/cvc-to-c.cpp with 100% similarity]	blob \| history
tests/c-api-tests/getbvunsignedlonglong-check.c	[moved from c-api-tests/getbvunsignedlonglong-check.c with 100% similarity]	blob \| history
tests/c-api-tests/multiple-queries.c	[moved from c-api-tests/multiple-queries.c with 100% similarity]	blob \| history
tests/c-api-tests/parsefile-using-cinterface.c	[moved from c-api-tests/parsefile-using-cinterface.c with 100% similarity]	blob \| history
tests/c-api-tests/print.c	[moved from c-api-tests/print.c with 100% similarity]	blob \| history
tests/c-api-tests/push-pop-1.c	[moved from c-api-tests/push-pop-1.c with 100% similarity]	blob \| history
tests/c-api-tests/push-pop.c	[moved from c-api-tests/push-pop.c with 100% similarity]	blob \| history
tests/c-api-tests/sbvmod.c	[moved from c-api-tests/sbvmod.c with 100% similarity]	blob \| history
tests/c-api-tests/simplify.c	[moved from c-api-tests/simplify.c with 100% similarity]	blob \| history
tests/c-api-tests/simplify1.c	[moved from c-api-tests/simplify1.c with 100% similarity]	blob \| history
tests/c-api-tests/squares-leak.c	[moved from c-api-tests/squares-leak.c with 100% similarity]	blob \| history
tests/c-api-tests/stp-counterex.c	[moved from c-api-tests/stp-counterex.c with 100% similarity]	blob \| history
tests/c-api-tests/stp-div-001.c	[moved from c-api-tests/stp-div-001.c with 100% similarity]	blob \| history
tests/c-api-tests/stpcheck.c	[moved from c-api-tests/stpcheck.c with 100% similarity]	blob \| history
tests/c-api-tests/t.cvc	[moved from c-api-tests/t.cvc with 100% similarity]	blob \| history
tests/c-api-tests/x.c	[moved from c-api-tests/x.c with 100% similarity]	blob \| history
tests/c-api-tests/y.c	[moved from c-api-tests/y.c with 100% similarity]	blob \| history
tests/histar-big-tests/histar-long-query14143.cvc	[moved from big-test/histar-big-tests/histar-long-query14143.cvc with 100% similarity]	blob \| history
tests/histar-big-tests/histar-long-query14262.cvc	[moved from big-test/histar-big-tests/histar-long-query14262.cvc with 100% similarity]	blob \| history
tests/histar-big-tests/histar-long-query14281.cvc	[moved from big-test/histar-big-tests/histar-long-query14281.cvc with 100% similarity]	blob \| history
tests/histar-big-tests/histar-long-query14286.cvc	[moved from big-test/histar-big-tests/histar-long-query14286.cvc with 100% similarity]	blob \| history
tests/histar-big-tests/histar-long-query14295.cvc	[moved from big-test/histar-big-tests/histar-long-query14295.cvc with 100% similarity]	blob \| history
tests/histar-big-tests/histar-long-query14398.cvc	[moved from big-test/histar-big-tests/histar-long-query14398.cvc with 100% similarity]	blob \| history
tests/histar-big-tests/histar-long-query14426.cvc	[moved from big-test/histar-big-tests/histar-long-query14426.cvc with 100% similarity]	blob \| history
tests/histar-big-tests/histar-long-query14466.cvc	[moved from big-test/histar-big-tests/histar-long-query14466.cvc with 100% similarity]	blob \| history
tests/histar-big-tests/histar-long-query14510.cvc	[moved from big-test/histar-big-tests/histar-long-query14510.cvc with 100% similarity]	blob \| history
tests/sample-smt-tests/610dd9dc.T.stp.smt_71	[moved from sample-smt-tests/610dd9dc.T.stp.smt_71 with 100% similarity]	blob \| history
tests/sample-smt-tests/convert-tiff2jpg-query-1831.smt_68	[moved from sample-smt-tests/convert-tiff2jpg-query-1831.smt_68 with 100% similarity]	blob \| history
tests/sample-smt-tests/working_54.smt	[moved from sample-smt-tests/working_54.smt with 100% similarity]	blob \| history
tests/sample-smt-tests/working_55.smt	[moved from sample-smt-tests/working_55.smt with 100% similarity]	blob \| history
tests/sample-tests/egt-1899.cvc	[moved from sample-tests/egt-1899.cvc with 100% similarity]	blob \| history
tests/sample-tests/long-by-hand.cvc	[moved from sample-tests/long-by-hand.cvc with 100% similarity]	blob \| history
tests/sample-tests/test000013.cvc	[moved from sample-tests/test000013.cvc with 100% similarity]	blob \| history

STP Constraint Solver.

RSS Atom