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

author	Alex Ozdemir <aozdemir@hmc.edu>
	Wed, 2 Feb 2022 23:45:42 +0000 (15:45 -0800)
committer	GitHub <noreply@github.com>
	Wed, 2 Feb 2022 23:45:42 +0000 (23:45 +0000)
commit	638865782039398a8455df663afebe4969657e6b
tree	7bf864349c7c02f011bd5ec47f7a8e67c1b66763	tree
parent	59e8eb3e946e183999fd8584dfb31e21cc436e74	commit \| diff

Change name of Python API's package from pycvc5 to cvc5. (#7953)

In the process, I changed a CMake target name from pycvc5 to
cvc5_base_py_api. I could not change the target to cvc5, because that
name is taken.

59 files changed:

.github/actions/run-tests/action.yml		diff \| blob \| history
docs/api/python/CMakeLists.txt		diff \| blob \| history
docs/api/python/base/datatype.rst		diff \| blob \| history
docs/api/python/base/datatypeconstructor.rst		diff \| blob \| history
docs/api/python/base/datatypeconstructordecl.rst		diff \| blob \| history
docs/api/python/base/datatypedecl.rst		diff \| blob \| history
docs/api/python/base/datatypeselector.rst		diff \| blob \| history
docs/api/python/base/grammar.rst		diff \| blob \| history
docs/api/python/base/kind.rst		diff \| blob \| history
docs/api/python/base/op.rst		diff \| blob \| history
docs/api/python/base/result.rst		diff \| blob \| history
docs/api/python/base/roundingmode.rst		diff \| blob \| history
docs/api/python/base/solver.rst		diff \| blob \| history
docs/api/python/base/sort.rst		diff \| blob \| history
docs/api/python/base/term.rst		diff \| blob \| history
docs/api/python/base/unknownexplanation.rst		diff \| blob \| history
examples/api/python/bitvectors.py		diff \| blob \| history
examples/api/python/bitvectors_and_arrays.py		diff \| blob \| history
examples/api/python/combination.py		diff \| blob \| history
examples/api/python/datatypes.py		diff \| blob \| history
examples/api/python/exceptions.py		diff \| blob \| history
examples/api/python/extract.py		diff \| blob \| history
examples/api/python/floating_point.py		diff \| blob \| history
examples/api/python/helloworld.py		diff \| blob \| history
examples/api/python/id.py		diff \| blob \| history
examples/api/python/linear_arith.py		diff \| blob \| history
examples/api/python/quickstart.py		diff \| blob \| history
examples/api/python/relations.py		diff \| blob \| history
examples/api/python/sequences.py		diff \| blob \| history
examples/api/python/sets.py		diff \| blob \| history
examples/api/python/strings.py		diff \| blob \| history
examples/api/python/sygus-fun.py		diff \| blob \| history
examples/api/python/sygus-grammar.py		diff \| blob \| history
examples/api/python/sygus-inv.py		diff \| blob \| history
examples/api/python/transcendentals.py		diff \| blob \| history
examples/api/python/utils.py		diff \| blob \| history
src/api/python/CMakeLists.txt		diff \| blob \| history
src/api/python/__init__.py.in		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history
src/api/python/cvc5_python_base.pyx	[new file with mode: 0644]	blob
src/api/python/pycvc5.pyx	[deleted file]	blob \| history
src/api/python/setup.py.in		diff \| blob \| history
src/api/python/wheels/build_wheel.py		diff \| blob \| history
test/api/python/boilerplate.py		diff \| blob \| history
test/api/python/issue4889.py		diff \| blob \| history
test/api/python/issue5074.py		diff \| blob \| history
test/api/python/issue6111.py		diff \| blob \| history
test/api/python/proj-issue306.py		diff \| blob \| history
test/api/python/reset_assertions.py		diff \| blob \| history
test/api/python/sep_log_api.py		diff \| blob \| history
test/api/python/two_solvers.py		diff \| blob \| history
test/unit/api/python/test_datatype_api.py		diff \| blob \| history
test/unit/api/python/test_grammar.py		diff \| blob \| history
test/unit/api/python/test_op.py		diff \| blob \| history
test/unit/api/python/test_result.py		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
test/unit/api/python/test_to_python_obj.py		diff \| blob \| history

RSS Atom