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

author	Andres Noetzli <andres.noetzli@gmail.com>
	Wed, 30 Mar 2022 14:30:11 +0000 (07:30 -0700)
committer	GitHub <noreply@github.com>
	Wed, 30 Mar 2022 14:30:11 +0000 (14:30 +0000)
commit	a9dd62372b490ba36bf7fad3d6a9883949c341a0
tree	73ad0cdafde38dda8b0ab3e40bc5dfad29c853a6	tree
parent	86d874b47193c7eed99b2da44682c419b64b451b	commit \| diff

[API] Move `UnknownExplanation` to `cvc5_types.h` (#8450)

This also fixes some minor issues in the `parseenums.py` script.

22 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/cpp/cvc5_types.cpp	[new file with mode: 0644]	blob
src/api/cpp/cvc5_types.h		diff \| blob \| history
src/api/java/CMakeLists.txt		diff \| blob \| history
src/api/java/io/github/cvc5/api/Result.java		diff \| blob \| history
src/api/parseenums.py		diff \| blob \| history
src/api/python/cvc5.pxd		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history
src/main/command_executor.cpp		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/smt/assertions.cpp		diff \| blob \| history
src/smt/command.cpp		diff \| blob \| history
src/smt/optimization_solver.h		diff \| blob \| history
src/smt/smt_solver.cpp		diff \| blob \| history
src/smt/sygus_solver.cpp		diff \| blob \| history
src/theory/smt_engine_subsolver.cpp		diff \| blob \| history
src/util/result.cpp		diff \| blob \| history
src/util/result.h		diff \| blob \| history
src/util/synth_result.cpp		diff \| blob \| history
src/util/synth_result.h		diff \| blob \| history