]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00cfb06) | patch
Fix compiling of the SMT-LIB Parser, Fix regression test script on bash.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 6 Jan 2009 02:31:09 +0000 (02:31 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 6 Jan 2009 02:31:09 +0000 (02:31 +0000)
commita53510af89ef4a9b9d7951fd641fcc6e03c82322
tree1019e08354418e2aa91177b0caae02cd5f45124dtree | snapshot
parent00cfb06c78c2614907f3d42950f99419e47ccfc1commit | diff
Fix compiling of the SMT-LIB Parser, Fix regression test script on bash.

The make files for the smtlib parser referred to to old locations of the SAT solver. The regression tests used
lots to many arguments to ulimit, it didn't run in my bash shell.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@49 e59a4935-1847-0410-ae03-e826735625c1
AST/AST.h diff | blob | history
Makefile.smt diff | blob | history
bin/run_tests diff | blob | history
bin/run_tests.smt diff | blob | history
parser/Makefile.smt diff | blob | history
STP Constraint Solver.