]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
* Remove NEQ. NEQ is converted by the CVC parser into NOT(=(..)). This makes our...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Sep 2009 12:37:55 +0000 (12:37 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Sep 2009 12:37:55 +0000 (12:37 +0000)
commit5124dc05e9275e47dca3dd011e23134a0077923d
treefabeea4ad243dcfd12ce5882211dac2396fdd1ae
parentbd9e8c41d621ecff6d0cf3b34c894dd9cc1fcd8d
* Remove NEQ. NEQ is converted by the CVC parser into NOT(=(..)). This makes our internal format slightly more canonical. If this change works OK, I'd like to later remove: NAND, NOR, etc.
* Move the sat headers into sat/sat.h. AST.h now contains a forward declaration of just the types it needs. This should speed up compilation.
* Reduce the number of compiler warnings.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@180 e59a4935-1847-0410-ae03-e826735625c1
15 files changed:
src/AST/AST.cpp
src/AST/AST.h
src/AST/ASTKind.kinds
src/AST/BitBlast.cpp
src/AST/ToCNF.cpp
src/AST/ToSAT.cpp
src/AST/Transform.cpp
src/AST/printer/AssortedPrinters.cpp
src/AST/printer/CPrinter.cpp
src/AST/printer/PLPrinter.cpp
src/AST/printer/SMTLIBPrinter.cpp
src/bitvec/consteval.cpp
src/parser/CVC.y
src/parser/smtlib.y
src/simplifier/simplifier.cpp