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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Fri, 1 Apr 2022 19:45:36 +0000 (12:45 -0700)
committer	GitHub <noreply@github.com>
	Fri, 1 Apr 2022 19:45:36 +0000 (19:45 +0000)
commit	506a7b8c4a9e118b46d0417a1f060e0a9da8e647
tree	2d37b56afc0caadd04f8df5ff2a9a4b5756c5f37	tree
parent	c5d2f79e86d460addd922649a64a57eeb10ec059	commit \| diff

Python API: Do not rename enumerators. (#8507)

Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
Co-authored-by: mudathirmahgoub <mudathirmahgoub@gmail.com>
Co-authored-by: Gereon Kremer <gkremer@stanford.edu>

30 files changed:

docs/api/python/base/quickstart.rst		diff \| blob \| history
examples/api/python/bags.py		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/extract.py		diff \| blob \| history
examples/api/python/floating_point.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/genenums.py.in		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/unit/api/python/test_op.py		diff \| blob \| history
test/unit/api/python/test_solver.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