projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 323090e) | patch
updating the equality engine to be able to give explanations for terms that were...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 6 Mar 2012 19:08:32 +0000 (19:08 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 6 Mar 2012 19:08:32 +0000 (19:08 +0000)
commitc409b60e8c507997a24ba9ea1c611da9132d1e10
tree4623893b2dc59bfa35b045a9cf1c7763ec4d6236tree
parent323090e50edd5da02292e76a5510d4d6ae2d7f94commit | diff
updating the equality engine to be able to give explanations for terms that were not in the databas (queried by areEqual and areDisequal)
and it's a bit better
http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=3738&category=&p=-1&reference_id=3731
src/theory/uf/equality_engine.h diff | blob | history
src/theory/uf/equality_engine_impl.h diff | blob | history