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

author	Clark Barrett <clarkbarrett@google.com>
	Thu, 23 Apr 2015 16:43:52 +0000 (09:43 -0700)
committer	Clark Barrett <clarkbarrett@google.com>
	Thu, 23 Apr 2015 16:43:52 +0000 (09:43 -0700)
commit	dea679ce032c130d210d54c2e5482f95db1ff04a
tree	6c36f68150172b20717f7d504274ab0bf82791b0	tree
parent	d95fe7675e20eaee86b8e804469e6db83265a005	commit \| diff

A few more minor updates to match google repository with CVC4 repository
(mostly whitespace differences).

39 files changed:

config/ax_prog_doxygen.m4		diff \| blob \| history
examples/api/java/Strings.java		diff \| blob \| history
examples/api/strings.cpp		diff \| blob \| history
proofs/lfsc_checker/libwriter.cpp		diff \| blob \| history
proofs/lfsc_checker/libwriter.h		diff \| blob \| history
proofs/lfsc_checker/print_smt2.cpp		diff \| blob \| history
proofs/lfsc_checker/print_smt2.h		diff \| blob \| history
proofs/lfsc_checker/sccwriter.cpp		diff \| blob \| history
proofs/lfsc_checker/sccwriter.h		diff \| blob \| history
proofs/signatures/ex_bv.plf		diff \| blob \| history
proofs/signatures/th_bv.plf		diff \| blob \| history
src/theory/quantifiers/conjecture_generator.cpp		diff \| blob \| history
src/theory/quantifiers/conjecture_generator.h		diff \| blob \| history
src/theory/quantifiers/quant_conflict_find.cpp		diff \| blob \| history
src/theory/quantifiers/quant_conflict_find.h		diff \| blob \| history
test/regress/regress0/fmf/fc-pigeonhole19.smt2		diff \| blob \| history
test/regress/regress0/fmf/fc-unsat-pent.smt2		diff \| blob \| history
test/regress/regress0/fmf/fc-unsat-tot-2.smt2		diff \| blob \| history
test/regress/regress0/quantifiers/simp-typ-test.smt2		diff \| blob \| history
test/regress/regress0/strings/at001.smt2		diff \| blob \| history
test/regress/regress0/strings/bug001.smt2		diff \| blob \| history
test/regress/regress0/strings/bug002.smt2		diff \| blob \| history
test/regress/regress0/strings/escchar.smt2		diff \| blob \| history
test/regress/regress0/strings/escchar_25.smt2		diff \| blob \| history
test/regress/regress0/strings/fmf001.smt2		diff \| blob \| history
test/regress/regress0/strings/fmf002.smt2		diff \| blob \| history
test/regress/regress0/strings/leadingzero001.smt2		diff \| blob \| history
test/regress/regress0/strings/loop008.smt2		diff \| blob \| history
test/regress/regress0/strings/loop009.smt2		diff \| blob \| history
test/regress/regress0/strings/regexp001.smt2		diff \| blob \| history
test/regress/regress0/strings/regexp002.smt2		diff \| blob \| history
test/regress/regress0/strings/regexp003.smt2		diff \| blob \| history
test/regress/regress0/strings/reloop.smt2		diff \| blob \| history
test/regress/regress0/strings/str006.smt2		diff \| blob \| history
test/regress/regress0/strings/str007.smt2		diff \| blob \| history
test/regress/regress0/strings/substr001.smt2		diff \| blob \| history
test/regress/regress0/strings/type001.smt2		diff \| blob \| history
test/regress/regress0/strings/type002.smt2		diff \| blob \| history
test/regress/regress0/strings/type003.smt2		diff \| blob \| history

RSS Atom