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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Tue, 19 May 2020 19:51:19 +0000 (14:51 -0500)
committer	GitHub <noreply@github.com>
	Tue, 19 May 2020 19:51:19 +0000 (14:51 -0500)
commit	02b88b7665df5a6b1a2bce231d7567efdcc4b20a
tree	ceff0419b0d08b551620a1b7ec239ebf0e069823	tree
parent	eebfe6389321c24329d9b58f699ad67486cc30e0	commit \| diff

Update enum and option names for sygus languages (#4388)

This ensures sygus is interpreted as sygus version 2; sygus1 must be used to specify sygus version 1.

Required for the 1.8 release.

RSS Atom

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.cpp		diff \| blob \| history
src/printer/printer.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/util/result.cpp		diff \| blob \| history
src/util/sexpr.cpp		diff \| blob \| history