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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Tue, 6 Apr 2021 02:31:28 +0000 (19:31 -0700)
committer	GitHub <noreply@github.com>
	Tue, 6 Apr 2021 02:31:28 +0000 (19:31 -0700)
commit	d2e454e0dfc06e16fe0a4228168b21cf1311fc35
tree	65063161aa9e21348182b13251524c58b0ca49c5	tree
parent	00a20b53ce998f52b18303a7a680e6a00acc098c	commit \| diff

New C++ Api: Rename and move headers. (#6292)

73 files changed:

.github/workflows/ci.yml		diff \| blob \| history
examples/api/bitvectors.cpp		diff \| blob \| history
examples/api/bitvectors_and_arrays.cpp		diff \| blob \| history
examples/api/combination.cpp		diff \| blob \| history
examples/api/datatypes.cpp		diff \| blob \| history
examples/api/extract.cpp		diff \| blob \| history
examples/api/helloworld.cpp		diff \| blob \| history
examples/api/linear_arith.cpp		diff \| blob \| history
examples/api/sequences.cpp		diff \| blob \| history
examples/api/sets.cpp		diff \| blob \| history
examples/api/strings.cpp		diff \| blob \| history
examples/api/sygus-fun.cpp		diff \| blob \| history
examples/api/sygus-grammar.cpp		diff \| blob \| history
examples/api/sygus-inv.cpp		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/simple_vc_cxx.cpp		diff \| blob \| history
examples/simple_vc_quant_cxx.cpp		diff \| blob \| history
examples/translator.cpp		diff \| blob \| history
src/CMakeLists.txt		diff \| blob \| history
src/api/cpp/cvc5.cpp	[new file with mode: 0644]	blob
src/api/cpp/cvc5.h	[new file with mode: 0644]	blob
src/api/cpp/cvc5_kind.h	[new file with mode: 0644]	blob
src/api/cvc4cpp.cpp	[deleted file]	blob \| history
src/api/cvc4cpp.h	[deleted file]	blob \| history
src/api/cvc4cppkind.h	[deleted file]	blob \| history
src/api/java/CMakeLists.txt		diff \| blob \| history
src/api/java/genkinds.py		diff \| blob \| history
src/api/parsekinds.py		diff \| blob \| history
src/api/python/CMakeLists.txt		diff \| blob \| history
src/api/python/cvc4.pxd		diff \| blob \| history
src/api/python/genkinds.py.in		diff \| blob \| history
src/expr/symbol_manager.h		diff \| blob \| history
src/expr/symbol_table.cpp		diff \| blob \| history
src/fix-install-headers.sh		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/parser/cvc/cvc.h		diff \| blob \| history
src/parser/input.h		diff \| blob \| history
src/parser/parse_op.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/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
src/parser/tptp/Tptp.g		diff \| blob \| history
src/parser/tptp/tptp.cpp		diff \| blob \| history
src/parser/tptp/tptp.h		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/smt/command.cpp		diff \| blob \| history
src/smt/command.h		diff \| blob \| history
test/api/boilerplate.cpp		diff \| blob \| history
test/api/issue4889.cpp		diff \| blob \| history
test/api/issue5074.cpp		diff \| blob \| history
test/api/ouroborous.cpp		diff \| blob \| history
test/api/reset_assertions.cpp		diff \| blob \| history
test/api/sep_log_api.cpp		diff \| blob \| history
test/api/smt2_compliance.cpp		diff \| blob \| history
test/api/two_solvers.cpp		diff \| blob \| history
test/unit/main/interactive_shell_black.cpp		diff \| blob \| history
test/unit/node/node_black.cpp		diff \| blob \| history
test/unit/parser/parser_black.cpp		diff \| blob \| history
test/unit/parser/parser_builder_black.cpp		diff \| blob \| history
test/unit/printer/smt2_printer_black.cpp		diff \| blob \| history
test/unit/test_api.h		diff \| blob \| history
test/unit/theory/regexp_operation_black.cpp		diff \| blob \| history

RSS Atom