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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Thu, 31 Mar 2022 20:50:45 +0000 (13:50 -0700)
committer	GitHub <noreply@github.com>
	Thu, 31 Mar 2022 20:50:45 +0000 (20:50 +0000)
commit	27fbec71eec8ad76ce7217301595961262c319cd
tree	1cfc333118b24decfeaa67b16cd28e4428138e0b	tree
parent	feb0643e8d02e6c26b2cf2a4325ac05542c47e73	commit \| diff

Sort, TypeNode: Rename functions related to datatypes. (#8472)

22 files changed:

src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/java/io/github/cvc5/Sort.java		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/dtype.cpp		diff \| blob \| history
src/expr/dtype_cons.cpp		diff \| blob \| history
src/expr/node_manager_template.cpp		diff \| blob \| history
src/expr/symbol_table.cpp		diff \| blob \| history
src/expr/type_node.cpp		diff \| blob \| history
src/expr/type_node.h		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/proof/lfsc/lfsc_node_converter.cpp		diff \| blob \| history
src/proof/lfsc/lfsc_printer.cpp		diff \| blob \| history
src/theory/datatypes/theory_datatypes_type_rules.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_abduct.cpp		diff \| blob \| history
src/theory/quantifiers/sygus/sygus_interpol.cpp		diff \| blob \| history
test/unit/api/cpp/sort_black.cpp		diff \| blob \| history
test/unit/api/java/SortTest.java		diff \| blob \| history
test/unit/api/python/test_sort.py		diff \| blob \| history