]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0001fe9) | patch
Fix. x bvmod 0, now evaluates to x, not to 0.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 20 Mar 2011 04:05:24 +0000 (04:05 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 20 Mar 2011 04:05:24 +0000 (04:05 +0000)
commita7834933a7dbe4862f46af164314021bad95e2e0
tree6e13a1518887ffcc05f221b6d512144129adef91tree | snapshot
parent0001fe91f1d099880cd2cbaa7ead3e8f331d759ccommit | diff
Fix. x bvmod 0, now evaluates to x, not to 0.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1221 e59a4935-1847-0410-ae03-e826735625c1
src/simplifier/consteval.cpp diff | blob | history
STP Constraint Solver.