projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec29471) | patch
remove instantiator framework
authorMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 15:13:58 +0000 (15:13 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 15:13:58 +0000 (15:13 +0000)
commite820acb9e220389e9a7e23bcffd97f1d0354f612
tree2c968d847c87ec363cf6add1ac3cf8cfbf4902a1tree
parentec29471e427bf25034a93c182b424730d439a90acommit | diff
remove instantiator framework

(this commit was certified error- and warning-free by the test-and-commit script.)
14 files changed:
src/expr/mkexpr diff | blob | history
src/expr/mkkind diff | blob | history
src/expr/mkmetakind diff | blob | history
src/theory/Makefile.am diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
src/theory/instantiator_tables_template.cpp [deleted file] blob | history
src/theory/mkinstantiator [deleted file] blob | history
src/theory/mkrewriter diff | blob | history
src/theory/mktheorytraits diff | blob | history
src/theory/term_registration_visitor.cpp diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/uf/theory_uf.h diff | blob | history