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: 5a6207e) | patch

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Wed, 12 Aug 2009 23:24:32 +0000 (23:24 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Wed, 12 Aug 2009 23:24:32 +0000 (23:24 +0000)
commit	f8c45bded1f943290b8ca693233053b0e404757b
tree	3980b89de90feb5ac754ce33b018071e0de7b3ae	tree \| snapshot
parent	5a6207e4f9987bbc47a9bb90c7c0a4e6b1724df7	commit \| diff

minor changes

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

Makefile.common		diff \| blob \| history
configure		diff \| blob \| history
make-scripts/Makefile.in	[moved from Makefile.in with 99% similarity]	diff \| blob \| history
make-scripts/config.info	[new file with mode: 0644]	blob
src/AST/ToSAT.cpp		diff \| blob \| history
src/bitvec/consteval.cpp		diff \| blob \| history
src/c_interface/c_interface.cpp		diff \| blob \| history
src/parser/CVC.y		diff \| blob \| history
src/parser/smtlib.y		diff \| blob \| history
tests/bio-tests/4-alpha-helices-3-rungs-macros.cvc		diff \| blob \| history

STP Constraint Solver.