]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c60f180) | patch
Improvement. Better constant bit propagation of multiplication and division. I wanted...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 2 Jan 2012 02:28:47 +0000 (02:28 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 2 Jan 2012 02:28:47 +0000 (02:28 +0000)
commit4dc7a965e70c8c7df61b8322907640e5cb26419f
treeeac058009a332c3c6f90463f807651a37f136de5tree | snapshot
parentc60f180f36555742293e5850fde382262cb0d39dcommit | diff
Improvement. Better constant bit propagation of multiplication and division. I wanted to clean this up before checkin, but I'm short on time.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1459 e59a4935-1847-0410-ae03-e826735625c1
src/simplifier/constantBitP/ConstantBitP_Division.cpp [new file with mode: 0644] blob
src/simplifier/constantBitP/ConstantBitP_Multiplication.cpp [new file with mode: 0644] blob
src/simplifier/constantBitP/ConstantBitPropagation.cpp diff | blob | history
src/simplifier/constantBitP/FixedBits.cpp diff | blob | history
STP Constraint Solver.