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: 0bed50b) | patch

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Sun, 6 Sep 2009 23:41:17 +0000 (23:41 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Sun, 6 Sep 2009 23:41:17 +0000 (23:41 +0000)
commit	db60e10e8e7e575eb4e6d623fe1d61b48c3da52a
tree	a1f134a85a52718e146a1f08da7f0035efefa71f	tree \| snapshot
parent	0bed50bf6c5df6eb44d385ff075833aaf74ffcc9	commit \| diff

changed regressall to regresscvc

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

INSTALL		diff \| blob \| history
README		diff \| blob \| history
scripts/Makefile.in		diff \| blob \| history
src/AST/AST.cpp		diff \| blob \| history
src/AST/Transform.cpp		diff \| blob \| history
src/AST/printer/PLPrinter.cpp		diff \| blob \| history
src/parser/CVC.y		diff \| blob \| history
src/parser/let-funcs.cpp		diff \| blob \| history
src/simplifier/simplifier.cpp		diff \| blob \| history

STP Constraint Solver.