git.unchartedbackwaters.co.uk Git

smccam [Fri, 31 Oct 2008 23:28:04 +0000 (23:28 +0000)]

Add an OPTIMIZE Makefile flag to make it easier to enable optimization
or debugging without otherwise breaking the build. Plus some other
cosmetic changes to Makefile comments.

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

commit | commitdiff | tree

smccam [Fri, 31 Oct 2008 23:26:17 +0000 (23:26 +0000)]

Add -DTR1_UNORDERED_MAP, analogous to -DEXT_HASH_MAP, to allow use of
another, newer, quasi-standard STL hash table class.

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

commit | commitdiff | tree

smccam [Fri, 31 Oct 2008 23:24:01 +0000 (23:24 +0000)]

Die with an explicit error message if the user tries a multi-character
option, rather than silently ignoring the remaining characters

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

commit | commitdiff | tree

smccam [Fri, 31 Oct 2008 18:50:00 +0000 (18:50 +0000)]

Add svn:ignore properties for a number of files that are automatically
generated in the build process, so they don't clutter the output of
"svn stat".

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

commit | commitdiff | tree

smccam [Fri, 31 Oct 2008 18:45:04 +0000 (18:45 +0000)]

Remove from SVN files that are automatically generated in the
configure and build processes. Copy the changes to Makefile back to
the original Makefile.in. After this change, you'll need to re-run
"configure".

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

commit | commitdiff | tree

smccam [Fri, 31 Oct 2008 18:38:37 +0000 (18:38 +0000)]

Fix a couple of apparent precedence problems in AST (pointed out by
GCC warnings). Interestingly, these don't seem to change any regression
results.

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

commit | commitdiff | tree

smccam [Fri, 31 Oct 2008 18:36:07 +0000 (18:36 +0000)]

Include <cstring> in ASTUtil.h, for its use of strcmp(). Good
practice, and required by picky newer versions of g++.

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

commit | commitdiff | tree

katelman [Wed, 22 Oct 2008 19:18:17 +0000 (19:18 +0000)]

Round $n$ as I try to incorporate my work from the summer. Major updates
include (a) the newest version of MiniSat, (b) improved CNF conversion, and (c)
various other improvements.

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