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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Tue, 15 Mar 2022 22:51:42 +0000 (15:51 -0700)
committer	GitHub <noreply@github.com>
	Tue, 15 Mar 2022 22:51:42 +0000 (22:51 +0000)
commit	e8ef445fe7b026e8bee8d76a7ad40cfcf1072517
tree	04d27150491810298a48cceb5fd67ff3f262b1df	tree
parent	55e02fa8ed99769cdc3546090f42daaeb326b639	commit \| diff

api: Remove Sort::isFirstClass(). (#8312)

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/java/io/github/cvc5/api/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
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