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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Thu, 3 May 2018 01:25:09 +0000 (20:25 -0500)
committer	Andres Noetzli <andres.noetzli@gmail.com>
	Thu, 3 May 2018 01:25:09 +0000 (18:25 -0700)
commit	716ce9168d846ea991f8404a78aeb1ccccfbce14
tree	5a617909b7d82ed2265693461f4f9f0a4c811f56	tree
parent	d3f4ac852146c41341e485d9035f3631993e3fa5	commit \| diff

Initial support for string standard in smt lib 2.6 (#1848)

48 files changed:

src/main/interactive_shell.cpp		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/options/language.cpp		diff \| blob \| history
src/options/language.h		diff \| blob \| history
src/options/language.i		diff \| blob \| history
src/options/options_template.cpp		diff \| blob \| history
src/parser/antlr_input.cpp		diff \| blob \| history
src/parser/parser_builder.cpp		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
src/parser/smt2/smt2_input.cpp		diff \| blob \| history
src/printer/printer.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/util/result.cpp		diff \| blob \| history
src/util/sexpr.cpp		diff \| blob \| history
test/regress/Makefile.tests		diff \| blob \| history
test/regress/regress0/strings/bug002.smt2		diff \| blob \| history
test/regress/regress0/strings/issue1189.smt2		diff \| blob \| history
test/regress/regress0/strings/leadingzero001.smt2		diff \| blob \| history
test/regress/regress0/strings/norn-31.smt2		diff \| blob \| history
test/regress/regress0/strings/norn-simp-rew.smt2		diff \| blob \| history
test/regress/regress0/strings/rewrites-v2.smt2		diff \| blob \| history
test/regress/regress0/strings/std2.6.1.smt2	[new file with mode: 0644]	blob
test/regress/regress0/strings/type001.smt2		diff \| blob \| history
test/regress/regress1/strings/artemis-0512-nonterm.smt2		diff \| blob \| history
test/regress/regress1/strings/bug615.smt2		diff \| blob \| history
test/regress/regress1/strings/bug686dd.smt2		diff \| blob \| history
test/regress/regress1/strings/bug799-min.smt2		diff \| blob \| history
test/regress/regress1/strings/fmf001.smt2		diff \| blob \| history
test/regress/regress1/strings/fmf002.smt2		diff \| blob \| history
test/regress/regress1/strings/issue1105.smt2		diff \| blob \| history
test/regress/regress1/strings/kaluza-fl.smt2		diff \| blob \| history
test/regress/regress1/strings/norn-360.smt2		diff \| blob \| history
test/regress/regress1/strings/norn-ab.smt2		diff \| blob \| history
test/regress/regress1/strings/norn-nel-bug-052116.smt2		diff \| blob \| history
test/regress/regress1/strings/norn-simp-rew-sat.smt2		diff \| blob \| history
test/regress/regress1/strings/pierre150331.smt2		diff \| blob \| history
test/regress/regress1/strings/regexp001.smt2		diff \| blob \| history
test/regress/regress1/strings/regexp002.smt2		diff \| blob \| history
test/regress/regress1/strings/regexp003.smt2		diff \| blob \| history
test/regress/regress1/strings/reloop.smt2		diff \| blob \| history
test/regress/regress1/strings/string-unsound-sem.smt2		diff \| blob \| history
test/regress/regress1/strings/type002.smt2		diff \| blob \| history
test/regress/regress1/strings/type003.smt2		diff \| blob \| history
test/regress/regress1/strings/username_checker_min.smt2		diff \| blob \| history

RSS Atom