projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23f134f) | patch
Scaffold the idiomatic API's documentation (#7715)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 30 Nov 2021 21:06:30 +0000 (13:06 -0800)
committerGitHub <noreply@github.com>
Tue, 30 Nov 2021 21:06:30 +0000 (21:06 +0000)
commit0b287939efd35e0e98adbd704e61be864ffeb5aa
tree6a2887d5e600f42ce6f3c13547960c12fdae6e0btree
parent23f134fa7309621be513ca3c728b7a3c03473a45commit | diff
Scaffold the idiomatic API's documentation (#7715)

Scaffolding the documentation, and fleshing it out for the Boolean functions and terms.
14 files changed:
docs/api/python/z3compat/arith.rst [new file with mode: 0644] blob
docs/api/python/z3compat/array.rst [new file with mode: 0644] blob
docs/api/python/z3compat/bitvec.rst [new file with mode: 0644] blob
docs/api/python/z3compat/boolean.rst [new file with mode: 0644] blob
docs/api/python/z3compat/commands.rst [new file with mode: 0644] blob
docs/api/python/z3compat/dt.rst [new file with mode: 0644] blob
docs/api/python/z3compat/fp.rst [new file with mode: 0644] blob
docs/api/python/z3compat/internals.rst [new file with mode: 0644] blob
docs/api/python/z3compat/quant.rst [new file with mode: 0644] blob
docs/api/python/z3compat/quickstart.rst [new file with mode: 0644] blob
docs/api/python/z3compat/set.rst [new file with mode: 0644] blob
docs/api/python/z3compat/solver.rst [new file with mode: 0644] blob
docs/api/python/z3compat/z3compat.rst diff | blob | history
docs/conf.py.in diff | blob | history