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

author	Alex Ozdemir <aozdemir@hmc.edu>
	Fri, 14 Jan 2022 21:45:19 +0000 (13:45 -0800)
committer	GitHub <noreply@github.com>
	Fri, 14 Jan 2022 21:45:19 +0000 (21:45 +0000)
commit	082ffeaffc2975da6da574e0f0ed65a007691a18
tree	7a011ac25b093773cc426e40743d41f047c7d464	tree
parent	1ff195a3d5cc9d60547160d9de68e09d3f8a570a	commit \| diff

Rename python APIs (#7950)

Rename python APIs to "base" and "pythonic"

59 files changed:

docs/api/api.rst		diff \| blob \| history
docs/api/python/base/datatype.rst	[new file with mode: 0644]	blob
docs/api/python/base/datatypeconstructor.rst	[new file with mode: 0644]	blob
docs/api/python/base/datatypeconstructordecl.rst	[new file with mode: 0644]	blob
docs/api/python/base/datatypedecl.rst	[new file with mode: 0644]	blob
docs/api/python/base/datatypeselector.rst	[new file with mode: 0644]	blob
docs/api/python/base/grammar.rst	[new file with mode: 0644]	blob
docs/api/python/base/kind.rst	[new file with mode: 0644]	blob
docs/api/python/base/op.rst	[new file with mode: 0644]	blob
docs/api/python/base/python.rst	[new file with mode: 0644]	blob
docs/api/python/base/quickstart.rst	[new file with mode: 0644]	blob
docs/api/python/base/result.rst	[new file with mode: 0644]	blob
docs/api/python/base/roundingmode.rst	[new file with mode: 0644]	blob
docs/api/python/base/solver.rst	[new file with mode: 0644]	blob
docs/api/python/base/sort.rst	[new file with mode: 0644]	blob
docs/api/python/base/term.rst	[new file with mode: 0644]	blob
docs/api/python/base/unknownexplanation.rst	[new file with mode: 0644]	blob
docs/api/python/python.rst		diff \| blob \| history
docs/api/python/pythonic/arith.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/array.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/bitvec.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/boolean.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/dt.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/fp.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/internals.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/pythonic.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/quant.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/quickstart.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/set.rst	[new file with mode: 0644]	blob
docs/api/python/pythonic/solver.rst	[new file with mode: 0644]	blob
docs/api/python/regular/datatype.rst	[deleted file]	blob \| history
docs/api/python/regular/datatypeconstructor.rst	[deleted file]	blob \| history
docs/api/python/regular/datatypeconstructordecl.rst	[deleted file]	blob \| history
docs/api/python/regular/datatypedecl.rst	[deleted file]	blob \| history
docs/api/python/regular/datatypeselector.rst	[deleted file]	blob \| history
docs/api/python/regular/grammar.rst	[deleted file]	blob \| history
docs/api/python/regular/kind.rst	[deleted file]	blob \| history
docs/api/python/regular/op.rst	[deleted file]	blob \| history
docs/api/python/regular/python.rst	[deleted file]	blob \| history
docs/api/python/regular/quickstart.rst	[deleted file]	blob \| history
docs/api/python/regular/result.rst	[deleted file]	blob \| history
docs/api/python/regular/roundingmode.rst	[deleted file]	blob \| history
docs/api/python/regular/solver.rst	[deleted file]	blob \| history
docs/api/python/regular/sort.rst	[deleted file]	blob \| history
docs/api/python/regular/term.rst	[deleted file]	blob \| history
docs/api/python/regular/unknownexplanation.rst	[deleted file]	blob \| history
docs/api/python/z3compat/arith.rst	[deleted file]	blob \| history
docs/api/python/z3compat/array.rst	[deleted file]	blob \| history
docs/api/python/z3compat/bitvec.rst	[deleted file]	blob \| history
docs/api/python/z3compat/boolean.rst	[deleted file]	blob \| history
docs/api/python/z3compat/dt.rst	[deleted file]	blob \| history
docs/api/python/z3compat/fp.rst	[deleted file]	blob \| history
docs/api/python/z3compat/internals.rst	[deleted file]	blob \| history
docs/api/python/z3compat/quant.rst	[deleted file]	blob \| history
docs/api/python/z3compat/quickstart.rst	[deleted file]	blob \| history
docs/api/python/z3compat/set.rst	[deleted file]	blob \| history
docs/api/python/z3compat/solver.rst	[deleted file]	blob \| history
docs/api/python/z3compat/z3compat.rst	[deleted file]	blob \| history
docs/conf.py.in		diff \| blob \| history

RSS Atom