projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74e6f0b) | patch
fixing a bug in uf_engine application lookup backtracking
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 8 Feb 2012 16:04:24 +0000 (16:04 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 8 Feb 2012 16:04:24 +0000 (16:04 +0000)
commit5f686317747384555db15fccc725512b743a8b77
tree5b6dc8ed8d7a1326e338b0cce374b16c63045c72tree
parent74e6f0b1ec3937f409ea5108fc7fb47ffc732f64commit | diff
fixing a bug in uf_engine application lookup backtracking
this should also fix bug299
src/theory/uf/equality_engine.h diff | blob | history
src/theory/uf/equality_engine_impl.h diff | blob | history