]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
* Make GetUnsignedConst a member function of ASTNode.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 11 Jun 2010 05:29:42 +0000 (05:29 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 11 Jun 2010 05:29:42 +0000 (05:29 +0000)
commit91c5d9967dbea3b4ca8163f9a2cc6cbffb323baf
tree1df69c3fc65270533626b7b522e4f72aa9d0f84e
parentd77b4a202aa9932c9073efda6b322d20168ac591
* Make GetUnsignedConst a member function of ASTNode.
* In GetUnsignedConst check the position of the maximum bit only if the size is > , not >=

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@832 e59a4935-1847-0410-ae03-e826735625c1
src/AST/ASTNode.cpp
src/AST/ASTNode.h
src/AST/ASTmisc.cpp
src/absrefine_counterexample/CounterExample.cpp
src/printer/CPrinter.cpp
src/printer/PLPrinter.cpp
src/printer/SMTLIB1Printer.cpp
src/printer/SMTLIB2Printer.cpp
src/simplifier/consteval.cpp
src/simplifier/simplifier.cpp
src/to-sat/BitBlastNew.cpp