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

author	Christopher L. Conway <christopherleeconway@gmail.com>
	Tue, 4 May 2010 19:31:24 +0000 (19:31 +0000)
committer	Christopher L. Conway <christopherleeconway@gmail.com>
	Tue, 4 May 2010 19:31:24 +0000 (19:31 +0000)
commit	67a3ba16218ca0a936a6f2430dce721a076885f3
tree	dff41999a0fb7a043c3421272e451cb2718010a4	tree
parent	437686e2050a622a3f7e68077aff46fd6af83cbd	commit \| diff

Adding general support for SMT2 set-info command

15 files changed:

src/expr/command.h		diff \| blob \| history
src/parser/antlr_input.cpp		diff \| blob \| history
src/parser/antlr_input.h		diff \| blob \| history
src/parser/antlr_input_imports.cpp		diff \| blob \| history
src/parser/cvc/cvc_input.cpp		diff \| blob \| history
src/parser/cvc/cvc_input.h		diff \| blob \| history
src/parser/input.cpp		diff \| blob \| history
src/parser/input.h		diff \| blob \| history
src/parser/smt/smt_input.cpp		diff \| blob \| history
src/parser/smt/smt_input.h		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2_input.cpp		diff \| blob \| history
src/parser/smt2/smt2_input.h		diff \| blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/sexpr.h	[new file with mode: 0644]	blob