projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f8aaff) | patch
Improve computeCareGraph functions to check shared term equality status once per...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 21 Mar 2017 21:39:25 +0000 (16:39 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 21 Mar 2017 21:39:25 +0000 (16:39 -0500)
commit18d2fd549d5058a6ea3ee782568bbc3ce00189ea
tree2c9c58f61f8fd30d61e5c007c3faabbf504af1f7tree
parent6f8aaff4519161f85a057322f87cb8863738c916commit | diff
Improve computeCareGraph functions to check shared term equality status once per equivalence class pair.
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
src/theory/sets/theory_sets_private.cpp diff | blob | history
src/theory/sets/theory_sets_private.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history
src/theory/uf/theory_uf.h diff | blob | history