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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Wed, 3 Apr 2019 22:54:55 +0000 (15:54 -0700)
committer	Aina Niemetz <aina.niemetz@gmail.com>
	Wed, 3 Apr 2019 22:54:55 +0000 (15:54 -0700)
commit	29685eaf8d49b12c04cbb4767f832cc623709aab
tree	64bd3d756d17b780557b4111e94a2c7fe451503c	tree
parent	03826e58d652e3cb007504d0d07a1826a9436537	commit \| diff

Update copyright headers.

16 files changed:

examples/api/bitvectors-new.cpp		diff \| blob \| history
examples/api/bitvectors_and_arrays-new.cpp		diff \| blob \| history
examples/api/combination-new.cpp		diff \| blob \| history
examples/api/datatypes-new.cpp		diff \| blob \| history
examples/api/extract-new.cpp		diff \| blob \| history
examples/api/helloworld-new.cpp		diff \| blob \| history
examples/api/linear_arith-new.cpp		diff \| blob \| history
examples/api/sets-new.cpp		diff \| blob \| history
examples/api/strings-new.cpp		diff \| blob \| history
src/options/bool_to_bv_mode.cpp		diff \| blob \| history
src/options/bool_to_bv_mode.h		diff \| blob \| history
src/preprocessing/passes/sep_skolem_emp.cpp		diff \| blob \| history
src/theory/fp/theory_fp.cpp		diff \| blob \| history
src/theory/theory_model_builder.cpp		diff \| blob \| history
test/system/sep_log_api.cpp		diff \| blob \| history
test/unit/expr/node_manager_white.h		diff \| blob \| history