projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97eb2d7) | patch
Shared term manager tested and working
authorClark Barrett <barrett@cs.nyu.edu>
Wed, 7 Jul 2010 21:55:11 +0000 (21:55 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Wed, 7 Jul 2010 21:55:11 +0000 (21:55 +0000)
commit5b4b7727433f06c1788647b08e7da1ee1cc37bc9
tree065c5cf1f4257bf6e406336f0c57367055ffddf9tree
parent97eb2d77fddb9c690cc2ebc2caff98d62467b671commit | diff
Shared term manager tested and working
It is currently tracking all asserted equalities for simplicity.
Might want to check if this is a performance hit
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history
src/theory/shared_data.cpp diff | blob | history
src/theory/shared_data.h diff | blob | history
src/theory/shared_term_manager.cpp diff | blob | history
src/theory/shared_term_manager.h diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
test/regress/regress0/arr2.smt [new file with mode: 0644] blob
test/unit/Makefile.am diff | blob | history
test/unit/theory/shared_term_manager_black.h [new file with mode: 0644] blob