]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db60e10) | patch
changed regression names
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 7 Sep 2009 00:07:31 +0000 (00:07 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 7 Sep 2009 00:07:31 +0000 (00:07 +0000)
commit661690b12ba8d40ccc703b592702415091c1f4c5
tree2ee9db055cb0298e829c798a149c4d86910c6e54tree | snapshot
parentdb60e10e8e7e575eb4e6d623fe1d61b48c3da52acommit | diff
changed regression names

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@199 e59a4935-1847-0410-ae03-e826735625c1
Makefile diff | blob | history
README diff | blob | history
scripts/Makefile.in diff | blob | history
src/parser/CVC.y diff | blob | history
src/parser/let-funcs.cpp diff | blob | history
STP Constraint Solver.