projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6809eb4) | patch
fix for bug 429
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 24 Oct 2012 19:41:33 +0000 (19:41 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 24 Oct 2012 19:41:33 +0000 (19:41 +0000)
commitbaf045ed88c2f72f435547e2de6424992b8c0810
tree39598bfc0bf118e96bba6f076882829d6b0bd5f5tree
parent6809eb4a11f5cf2188f6492c683c9183045419a3commit | diff
fix for bug 429
* not all asserted units were tracked in the user trail, moved the tracking into uncheckedEnqueue
src/prop/minisat/core/Solver.cc diff | blob | history
test/regress/regress0/push-pop/Makefile.am diff | blob | history
test/regress/regress0/push-pop/arith_lra_01.smt2 diff | blob | history
test/regress/regress0/push-pop/arith_lra_02.smt2 diff | blob | history