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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Fri, 11 Mar 2022 21:41:54 +0000 (15:41 -0600)
committer	GitHub <noreply@github.com>
	Fri, 11 Mar 2022 21:41:54 +0000 (21:41 +0000)
commit	5278d7deb81773f8a801966f7aa7e8475efa5d84
tree	c6a185668f96ad475f8bbadc1fd5eed4e3bcff03	tree
parent	27d2b3463c0da8e70ccacbb79efb267281ffd670	commit \| diff

Update abduction and interpolation API to not use pass/return by reference (#8263)

13 files changed:

src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/java/io/github/cvc5/api/Solver.java		diff \| blob \| history
src/api/java/jni/solver.cpp		diff \| blob \| history
src/api/python/cvc5.pxd		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history
src/smt/command.cpp		diff \| blob \| history
src/smt/command.h		diff \| blob \| history
src/smt/solver_engine.cpp		diff \| blob \| history
src/smt/solver_engine.h		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history