projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0fa57b) | patch
Simplification of EqualityEngine::areDisequal. Comparison for production : http...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 2 May 2014 21:25:56 +0000 (16:25 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 2 May 2014 21:25:56 +0000 (16:25 -0500)
commit0f8c9a8c83322c54027b6523afde1faa42530f19
treeb277a68315ccca9a4fd8c1485d2af1f31b5db366tree
parente0fa57b1d82647631984e01cbe700af39e348038commit | diff
Simplification of EqualityEngine::areDisequal.  Comparison for production : church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=6444&reference_id=6445&p=5.  Comparison for debug : http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=6449&reference_id=6446&p=5.
src/theory/uf/equality_engine.cpp diff | blob | history