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>
	Thu, 21 Jan 2010 21:47:07 +0000 (21:47 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Thu, 21 Jan 2010 21:47:07 +0000 (21:47 +0000)
commit	9c685df9d733b2eac17750210eaf4980afac01d1
tree	db53f1eacf63e7b0d488a30fb103c262cc779229	tree \| snapshot
parent	6a8e078d2c0f0edcb98e870f2b849ec4f3cc3161	commit \| diff

fixed an important problem with YACC STACK DEPTH. It was too low previously. Now fixed.

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

STP Constraint Solver.

RSS Atom

scripts/Makefile.common		diff \| blob \| history
src/absrefine_counterexample/CounterExample.cpp		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/parser/CVC.y		diff \| blob \| history
src/to-sat/ToSAT.cpp		diff \| blob \| history