git.libre-soc.org Git - cvc5.git/commit

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Thu, 15 Sep 2011 06:53:33 +0000 (06:53 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Thu, 15 Sep 2011 06:53:33 +0000 (06:53 +0000)
commit	72f552ead344b13d90832222157b970ae3dec8ff
tree	b02854356d5c5f98b3873f858f38b6762135bdc1	tree
parent	62a50760346e130345b24e8a14ad0dac0dca5d38	commit \| diff

additional stuff for sharing,

38 files changed:

src/expr/kind_template.h		diff \| blob \| history
src/prop/minisat/core/Solver.cc		diff \| blob \| history
src/prop/sat.cpp		diff \| blob \| history
src/prop/sat.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/theory/Makefile.am		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
src/theory/arith/theory_arith.h		diff \| blob \| history
src/theory/arrays/theory_arrays.cpp		diff \| blob \| history
src/theory/arrays/theory_arrays.h		diff \| blob \| history
src/theory/bv/theory_bv.cpp		diff \| blob \| history
src/theory/bv/theory_bv.h		diff \| blob \| history
src/theory/datatypes/theory_datatypes.cpp		diff \| blob \| history
src/theory/mktheorytraits		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/shared_data.cpp	[deleted file]	blob \| history
src/theory/shared_data.h	[deleted file]	blob \| history
src/theory/shared_term_manager.cpp	[deleted file]	blob \| history
src/theory/shared_term_manager.h	[deleted file]	blob \| history
src/theory/shared_terms_database.cpp	[new file with mode: 0644]	blob
src/theory/shared_terms_database.h	[new file with mode: 0644]	blob
src/theory/term_registration_visitor.cpp	[new file with mode: 0644]	blob
src/theory/term_registration_visitor.h	[new file with mode: 0644]	blob
src/theory/theory.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/theory_test_utils.h		diff \| blob \| history
src/theory/uf/kinds		diff \| blob \| history
src/theory/uf/theory_uf.cpp		diff \| blob \| history
src/theory/uf/theory_uf.h		diff \| blob \| history
src/util/node_visitor.h		diff \| blob \| history
test/regress/regress0/uflra/Makefile.am		diff \| blob \| history
test/unit/Makefile.am		diff \| blob \| history
test/unit/prop/cnf_stream_black.h		diff \| blob \| history
test/unit/theory/shared_term_manager_black.h	[deleted file]	blob \| history
test/unit/theory/theory_black.h		diff \| blob \| history
test/unit/theory/theory_engine_white.h		diff \| blob \| history

RSS Atom