projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90d8299) | patch
naive rewriting to fix minisat invariant; rewrite x == x ==> TRUE
authorMorgan Deters <mdeters@gmail.com>
Thu, 11 Mar 2010 21:53:38 +0000 (21:53 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 11 Mar 2010 21:53:38 +0000 (21:53 +0000)
commit3cf73e344987c2449943ca3a97054565eb9d5726
tree7e9448caaabb7cb3261de74031070eb5c50b864dtree
parent90d829959edf8ad97bd837230933c8443f63b95bcommit | diff
naive rewriting to fix minisat invariant; rewrite  x == x  ==>  TRUE
src/smt/smt_engine.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/theoryof_table_middle.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history