]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Fix slowdown.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 6 Aug 2010 01:59:14 +0000 (01:59 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 6 Aug 2010 01:59:14 +0000 (01:59 +0000)
commita222bb3205555ad7e5ec74c265098523867b0992
treedec359776d40e74db9c5ae8023db237112fb0499
parent2556f7c211e1acd71ec913718e062e857c5550c3
Fix slowdown.

r965 removed a cache update that caused bitblaster.cvc to run 10 times slower. This update adds back in the cache update as well as changes to ensure that by the end of SimplifyTerm the invariant that actualInput maps to something that hasBeenSimplified(output) holds for.

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