]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f26a74b) | patch
Updating CMS2 to fix bug in Conglomerate.cpp
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 19 Apr 2010 09:38:32 +0000 (09:38 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 19 Apr 2010 09:38:32 +0000 (09:38 +0000)
commitf9f33b96ccdf2a06e8fad36f8c4cdb387267c8a0
treea14d367cf4c5b7db577ba8c95f06f079aa81500btree | snapshot
parentf26a74bc2e04ae195b958e116c601689df390d6ccommit | diff
Updating CMS2 to fix bug in Conglomerate.cpp

The Conglomeration aborted early when re-adding clauses, leading to a
bug that occured when UNSAT was found out while re-adding clauses. The
state of Conglomerate was left in a half-freed position, which lead to
Segfault when calling ~Conglomerate

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@692 e59a4935-1847-0410-ae03-e826735625c1
src/sat/cryptominisat2/Conglomerate.cpp diff | blob | history
src/sat/cryptominisat2/Solver.cpp diff | blob | history
src/sat/cryptominisat2/VERSION diff | blob | history
STP Constraint Solver.