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

author	Mathias Preiner <mathias.preiner@gmail.com>
	Fri, 25 Mar 2022 23:57:10 +0000 (16:57 -0700)
committer	GitHub <noreply@github.com>
	Fri, 25 Mar 2022 23:57:10 +0000 (23:57 +0000)
commit	cc808da53dc0644232576c5c1ba0ced03610b7fb
tree	db9ebf57bb5f6e8f2a9d281656c5be61799a71ea	tree
parent	457a5f563649eab95350b0df819dfec2d6a67221	commit \| diff

api: Unify mkOp variants. (#8369)

Co-authored-by: Gereon Kremer <nafur42@gmail.com>

24 files changed:

examples/api/cpp/bitvectors.cpp		diff \| blob \| history
examples/api/cpp/extract.cpp		diff \| blob \| history
examples/api/cpp/floating_point_arith.cpp		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/cpp/cvc5_checks.h		diff \| blob \| history
src/api/cpp/cvc5_kind.h		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/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/smt2/smt2.h		diff \| blob \| history
test/api/cpp/issue6111.cpp		diff \| blob \| history
test/api/cpp/proj-issue344.cpp		diff \| blob \| history
test/api/cpp/proj-issue345.cpp		diff \| blob \| history
test/api/cpp/proj-issue377.cpp		diff \| blob \| history
test/api/cpp/proj-issue484.cpp		diff \| blob \| history
test/unit/api/cpp/op_black.cpp		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/cpp/term_black.cpp		diff \| blob \| history
test/unit/api/cpp/term_white.cpp		diff \| blob \| history
test/unit/api/python/test_op.py		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history