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

author	Clark Barrett <barrett@cs.nyu.edu>
	Sun, 27 Dec 2015 03:20:27 +0000 (19:20 -0800)
committer	Clark Barrett <barrett@cs.nyu.edu>
	Sun, 27 Dec 2015 03:20:27 +0000 (19:20 -0800)
commit	815f2c96856e96e977b725254b65d68fc0323947
tree	1d11fc7b9da181ca4a5c7d92b6e53ba549f1de3e	tree
parent	36eb9ee46b9fa3d4b14c943bc2f434663a2844ef	commit \| diff

Merged my changes from experimental branch (new array decision procedure,
translation to bit-vectors for QF_NIA).

13 files changed:

examples/README		diff \| blob \| history
src/options/arrays_options		diff \| blob \| history
src/options/smt_options		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/theory/arrays/array_info.cpp		diff \| blob \| history
src/theory/arrays/array_info.h		diff \| blob \| history
src/theory/arrays/theory_arrays.cpp		diff \| blob \| history
src/theory/arrays/theory_arrays.h		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/theory/theory_test_utils.h		diff \| blob \| history
test/unit/theory/theory_engine_white.h		diff \| blob \| history
test/unit/theory/theory_white.h		diff \| blob \| history