]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6620a78) | patch
All fixed. RNA example is running again. I had introduced some Abstraction-refinement...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 21 Sep 2009 23:42:04 +0000 (23:42 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 21 Sep 2009 23:42:04 +0000 (23:42 +0000)
commitaaf2b566cef07925ed47a46f01e4c13a201db84c
tree2b03846f23ba44f13486392fba3a016e2c9423fftree | snapshot
parent6620a78c7be307af8b67ed2850124ae9ea31297fcommit | diff
All fixed. RNA example is running again. I had introduced some Abstraction-refinement code in AST.h. It seems to have pushed the system to limits of memory consumption

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