projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9e1aad) | patch
Follow renaming within pythonic API (#8532)
authorGereon Kremer <gkremer@cs.stanford.edu>
Sat, 2 Apr 2022 18:31:32 +0000 (20:31 +0200)
committerGitHub <noreply@github.com>
Sat, 2 Apr 2022 18:31:32 +0000 (18:31 +0000)
commitf65550a404fc83a66147ee0bf5e71afcd0f98f65
tree7196fc52da5ec8c92805a5ce4d77d6b5c5895140tree
parenta9e1aad9ae2bccd3c5fd9023528c9e379728e87dcommit | diff
Follow renaming within pythonic API (#8532)

We are renaming files in the pythonic API to make it look less like it is somehow part of z3 (but still acknowledge that we took code from z3Py properly). This PR follows the change in cvc5/cvc5_pythonic_api#80.
18 files changed:
cmake/FindCVC5PythonicAPI.cmake diff | blob | history
docs/api/api.rst diff | blob | history
docs/api/cpp/quickstart.rst diff | blob | history
docs/api/java/quickstart.rst diff | blob | history
docs/api/python/base/quickstart.rst diff | blob | history
docs/binary/quickstart.rst diff | blob | history
docs/conf.py.in diff | blob | history
docs/examples/bitvectors.rst diff | blob | history
docs/examples/bitvectors_and_arrays.rst diff | blob | history
docs/examples/combination.rst diff | blob | history
docs/examples/datatypes.rst diff | blob | history
docs/examples/extract.rst diff | blob | history
docs/examples/floatingpoint.rst diff | blob | history
docs/examples/helloworld.rst diff | blob | history
docs/examples/lineararith.rst diff | blob | history
docs/examples/quickstart.rst diff | blob | history
docs/examples/sets.rst diff | blob | history
src/api/python/CMakeLists.txt diff | blob | history