]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb549d0) | patch
There was link error due to versionString.cpp. It has been fixed
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 9 Sep 2009 15:06:00 +0000 (15:06 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 9 Sep 2009 15:06:00 +0000 (15:06 +0000)
commitb717f73a69d4043aa6bf6baee2a3bdeb3666bc3b
tree0b04db0700f459c2448c9c74021d8606fbfc1d80tree | snapshot
parentcb549d0ce92fa3014fd23aceccb28a799400fb3ccommit | diff
There was link error due to versionString.cpp. It has been fixed

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@211 e59a4935-1847-0410-ae03-e826735625c1
clean-install.sh diff | blob | history
src/AST/Makefile diff | blob | history
src/main/Makefile diff | blob | history
STP Constraint Solver.