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: 7ae08bc) | patch

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 18 Nov 2008 20:14:57 +0000 (20:14 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 18 Nov 2008 20:14:57 +0000 (20:14 +0000)
commit	67a323d15d30a2eae1de73127e868243fdf74969
tree	8408384e4bc98bf293fa5c7e9a29272f67ca7e39	tree \| snapshot
parent	7ae08bc062046d7d1546219e5c39db3e9db00425	commit \| diff

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

old-regressions-logs/2007-07-21-regress.log_bigarray-test	[moved from regressions/2007-07-21-regress.log_bigarray-test with 100% similarity]	blob \| history
old-regressions-logs/2007-07-22-regress.log	[moved from regressions/2007-07-22-regress.log with 100% similarity]	blob \| history
old-regressions-logs/2008-01-14-regress.log	[moved from regressions/2008-01-14-regress.log with 100% similarity]	blob \| history
old-regressions-logs/2008-01-14-regress.log-big-test	[moved from regressions/2008-01-14-regress.log-big-test with 100% similarity]	blob \| history
old-regressions-logs/2008-01-14-regress.log-bigarray-test	[moved from regressions/2008-01-14-regress.log-bigarray-test with 100% similarity]	blob \| history
old-regressions-logs/2008-01-15-regress.log	[moved from regressions/2008-01-15-regress.log with 100% similarity]	blob \| history
old-regressions-logs/2008-01-15-regress.log-bigarray-test	[moved from regressions/2008-01-15-regress.log-bigarray-test with 100% similarity]	blob \| history
old-regressions-logs/README	[moved from regressions/README with 100% similarity]	blob \| history

STP Constraint Solver.