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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Sat, 2 Apr 2022 19:21:46 +0000 (14:21 -0500)
committer	GitHub <noreply@github.com>
	Sat, 2 Apr 2022 19:21:46 +0000 (19:21 +0000)
commit	40910fb3c633a22acf990ce4a544c8594b92b56d
tree	f3e1532c814d5a4e56c94c494e8088bbb47bb522	tree
parent	5dcb75066729d24fe17805049cd0df4ce8767302	commit \| diff

Remove variant of mkDatatypeDecl with one sort parameter (#8543)

Subsumed by the vector version.

Also marks more methods as experimetnal.

21 files changed:

examples/api/cpp/datatypes.cpp		diff \| blob \| history
examples/api/java/Datatypes.java		diff \| blob \| history
examples/api/python/datatypes.py		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/java/io/github/cvc5/DatatypeDecl.java		diff \| blob \| history
src/api/java/io/github/cvc5/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
test/unit/api/cpp/parametric_datatype_black.cpp		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/cpp/sort_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/java/SolverTest.java		diff \| blob \| history
test/unit/api/java/SortTest.java		diff \| blob \| history
test/unit/api/java/TermTest.java		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history
test/unit/api/python/test_sort.py		diff \| blob \| history
test/unit/api/python/test_term.py		diff \| blob \| history