]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06f2acc) | patch
fixed the problem with Alvin Cheung's testcase. The problem was that ITE-array expres...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 6 May 2010 17:06:42 +0000 (17:06 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 6 May 2010 17:06:42 +0000 (17:06 +0000)
commitb8405619a957d5c315d587892ff7ce8a056d31f3
treef876ba7dfb854edd20c9523e86adc8ac9738c679tree | snapshot
parent06f2acc56609a58a8687c6f768aa7dabc4ce9637commit | diff
fixed the problem with Alvin Cheung's testcase. The problem was that ITE-array expressions were not being handled correctly in SimplifyWrite_InPlace(). Fixed that

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