git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

projects / francis / stp.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: ee128c8) | patch

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Fri, 14 Aug 2009 16:57:27 +0000 (16:57 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Fri, 14 Aug 2009 16:57:27 +0000 (16:57 +0000)
commit	6cd2f7fdc148f737a16e05b830c8de95a749abd6
tree	7810e63554e3e6a721665c093e78ba2c17f85782	tree \| snapshot
parent	ee128c81ff6167f087a404e1dbc28c7b3be06211	commit \| diff

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

scripts/Makefile.common	[moved from make-scripts/Makefile.common with 100% similarity]	blob \| history
scripts/Makefile.in	[moved from make-scripts/Makefile.in with 100% similarity]	blob \| history
scripts/config.info	[moved from make-scripts/config.info with 100% similarity]	blob \| history
scripts/configure	[moved from make-scripts/configure with 100% similarity]	blob \| history
scripts/format_config.xml	[moved from make-scripts/format_config.xml with 100% similarity]	blob \| history
scripts/liblinks.sh	[moved from make-scripts/liblinks.sh with 100% similarity]	blob \| history
scripts/run_bigarray_tests.pl	[moved from bin/run_bigarray_tests with 100% similarity]	blob \| history
scripts/run_cvc_tests.pl	[moved from bin/run_tests with 100% similarity]	blob \| history
scripts/run_smt_tests.pl	[moved from bin/run_smt_tests with 87% similarity]	diff \| blob \| history

STP Constraint Solver.