projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c6f44c) | patch
Flatten libcvc4 build structure; remove some #include interdependences
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 6 Nov 2013 21:58:16 +0000 (16:58 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 11 Nov 2013 00:47:35 +0000 (18:47 -0600)
commit726603e0e5a5482cf98538079790747e43313276
tree12e41e99a21a16cf9cff7374a84d9a6527f03c8btree
parent6c6f44c32a6bb957c1e82ae75fbf62db2e286595commit | diff
Flatten libcvc4 build structure; remove some #include interdependences
81 files changed:
configure.ac diff | blob | history
src/Makefile.am diff | blob | history
src/compat/Makefile.am diff | blob | history
src/context/Makefile [deleted file] blob | history
src/context/Makefile.am [deleted file] blob | history
src/decision/Makefile [deleted file] blob | history
src/decision/Makefile.am [deleted file] blob | history
src/expr/Makefile.am diff | blob | history
src/expr/attribute.h diff | blob | history
src/expr/expr_template.cpp diff | blob | history
src/expr/node.cpp diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/expr/node_manager_attributes.h [new file with mode: 0644] blob
src/expr/type.cpp diff | blob | history
src/expr/type_checker_template.cpp diff | blob | history
src/expr/type_node.cpp diff | blob | history
src/expr/type_node.h diff | blob | history
src/parser/Makefile.am diff | blob | history
src/printer/Makefile [deleted file] blob | history
src/printer/Makefile.am [deleted file] blob | history
src/printer/ast/ast_printer.cpp diff | blob | history
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/proof/Makefile [deleted file] blob | history
src/proof/Makefile.am [deleted file] blob | history
src/prop/Makefile [deleted file] blob | history
src/prop/Makefile.am [deleted file] blob | history
src/prop/bvminisat/Makefile [deleted file] blob | history
src/prop/minisat/Makefile [deleted file] blob | history
src/smt/Makefile [deleted file] blob | history
src/smt/Makefile.am [deleted file] blob | history
src/smt/boolean_terms.cpp diff | blob | history
src/smt/model_postprocessor.cpp diff | blob | history
src/theory/Makefile [deleted file] blob | history
src/theory/Makefile.am [deleted file] blob | history
src/theory/Makefile.subdirs diff | blob | history
src/theory/arith/Makefile [deleted file] blob | history
src/theory/arith/Makefile.am [deleted file] blob | history
src/theory/arrays/Makefile [deleted file] blob | history
src/theory/arrays/Makefile.am [deleted file] blob | history
src/theory/arrays/theory_arrays_rewriter.cpp [new file with mode: 0644] blob
src/theory/arrays/theory_arrays_rewriter.h diff | blob | history
src/theory/arrays/theory_arrays_type_rules.h diff | blob | history
src/theory/booleans/Makefile [deleted file] blob | history
src/theory/booleans/Makefile.am [deleted file] blob | history
src/theory/builtin/Makefile [deleted file] blob | history
src/theory/builtin/Makefile.am [deleted file] blob | history
src/theory/bv/Makefile [deleted file] blob | history
src/theory/bv/Makefile.am [deleted file] blob | history
src/theory/datatypes/Makefile [deleted file] blob | history
src/theory/datatypes/Makefile.am [deleted file] blob | history
src/theory/datatypes/datatypes_rewriter.h diff | blob | history
src/theory/datatypes/theory_datatypes_type_rules.h diff | blob | history
src/theory/example/Makefile [deleted file] blob | history
src/theory/example/Makefile.am [deleted file] blob | history
src/theory/idl/Makefile [deleted file] blob | history
src/theory/idl/Makefile.am [deleted file] blob | history
src/theory/quantifiers/Makefile [deleted file] blob | history
src/theory/quantifiers/Makefile.am [deleted file] blob | history
src/theory/quantifiers/symmetry_breaking.h diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history
src/theory/quantifiers/theory_quantifiers.h diff | blob | history
src/theory/rewriter.h diff | blob | history
src/theory/rewriter_attributes.h diff | blob | history
src/theory/rewriterules/Makefile [deleted file] blob | history
src/theory/rewriterules/Makefile.am [deleted file] blob | history
src/theory/strings/Makefile [deleted file] blob | history
src/theory/strings/Makefile.am [deleted file] blob | history
src/theory/theory.h diff | blob | history
src/theory/uf/Makefile [deleted file] blob | history
src/theory/uf/Makefile.am [deleted file] blob | history
src/theory/uf/equality_engine.h diff | blob | history
src/theory/uf/theory_uf.h diff | blob | history
src/theory/uf/theory_uf_model.cpp diff | blob | history
src/theory/uf/theory_uf_strong_solver.h diff | blob | history
src/util/datatype.cpp diff | blob | history
test/unit/Makefile.am diff | blob | history
test/unit/expr/attribute_white.h diff | blob | history
test/unit/expr/node_manager_black.h diff | blob | history