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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Thu, 9 Aug 2018 02:21:47 +0000 (19:21 -0700)
committer	GitHub <noreply@github.com>
	Thu, 9 Aug 2018 02:21:47 +0000 (19:21 -0700)
commit	91d85704313de6be9fd382833f5cedd39e24a6fa
tree	057adfdad9d586428482d9bd58e9c8124bddc47b	tree
parent	b4d4006d08a32b107257b0edaba95679d0b0c65b	commit \| diff

Plug solver API object into parser. (#2240)

35 files changed:

examples/api/java/Makefile.am		diff \| blob \| history
examples/nra-translate/normalize.cpp		diff \| blob \| history
examples/nra-translate/smt2info.cpp		diff \| blob \| history
examples/nra-translate/smt2todreal.cpp		diff \| blob \| history
examples/nra-translate/smt2toisat.cpp		diff \| blob \| history
examples/nra-translate/smt2tomathematica.cpp		diff \| blob \| history
examples/nra-translate/smt2toqepcad.cpp		diff \| blob \| history
examples/nra-translate/smt2toredlog.cpp		diff \| blob \| history
examples/sets-translate/sets_translate.cpp		diff \| blob \| history
examples/translator.cpp		diff \| blob \| history
src/api/cvc4cpp.cpp		diff \| blob \| history
src/api/cvc4cpp.h		diff \| blob \| history
src/compat/cvc3_compat.cpp		diff \| blob \| history
src/compat/cvc3_compat.h		diff \| blob \| history
src/main/command_executor.cpp		diff \| blob \| history
src/main/command_executor.h		diff \| blob \| history
src/main/driver_unified.cpp		diff \| blob \| history
src/main/interactive_shell.cpp		diff \| blob \| history
src/main/interactive_shell.h		diff \| blob \| history
src/parser/cvc/cvc_input.h		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/parser_builder.cpp		diff \| blob \| history
src/parser/parser_builder.h		diff \| blob \| history
src/parser/smt1/smt1.cpp		diff \| blob \| history
src/parser/smt1/smt1.h		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
src/parser/tptp/tptp.cpp		diff \| blob \| history
src/parser/tptp/tptp.h		diff \| blob \| history
test/system/ouroborous.cpp		diff \| blob \| history
test/system/smt2_compliance.cpp		diff \| blob \| history
test/unit/main/interactive_shell_black.h		diff \| blob \| history
test/unit/parser/parser_black.h		diff \| blob \| history
test/unit/parser/parser_builder_black.h		diff \| blob \| history

RSS Atom