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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Sat, 26 Mar 2022 05:40:42 +0000 (22:40 -0700)
committer	GitHub <noreply@github.com>
	Sat, 26 Mar 2022 05:40:42 +0000 (05:40 +0000)
commit	748c884353be09ae4fb69642ce3e13ad4cdf624c
tree	2b9d888c50be5e6085c860779a7adf321367fc6c	tree
parent	d49f537e5bc394d9b6e6728c1875062aa2b1e39c	commit \| diff

api: Rename *SortConstructor* to *UninterpretedSortConstructor*. (#8406)

21 files changed:

docs/api/java/CMakeLists.txt		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/api/Solver.java		diff \| blob \| history
src/api/java/io/github/cvc5/api/Sort.java		diff \| blob \| history
src/api/java/jni/solver.cpp		diff \| blob \| history
src/api/java/jni/sort.cpp		diff \| blob \| history
src/api/python/cvc5.pxd		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history
src/expr/symbol_table.cpp		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
test/unit/api/cpp/datatype_api_black.cpp		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/java/DatatypeTest.java		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/java/SortTest.java		diff \| blob \| history
test/unit/api/python/test_datatype_api.py		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history
test/unit/api/python/test_sort.py		diff \| blob \| history