Daniel Larraz
5b85cad4ee
doc: Add missing references to c examples ( #12089 )
...
This PR also adds a `:skip:` directive to suppress missing-example
warnings for languages without an equivalent version.
2025-08-23 22:09:10 +00:00
Aina Niemetz
1a3a935fb5
Python API: Refactor to expose TermManager. ( #10488 )
...
This refactors the base Python API to expose TermManager (related to
previous refactor of the C++ API to expose TermManager in #10426 ).
2024-03-14 14:34:58 -07:00
Aina Niemetz
9c176f263b
docs: Do not use explicit line numbers in literalinclude. ( #8690 )
2022-05-02 20:13:00 +00:00
Gereon Kremer
f65550a404
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 .
2022-04-02 18:31:32 +00:00
Aina Niemetz
506a7b8c4a
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 >
2022-04-01 19:45:36 +00:00
Gereon Kremer
3f4895d558
Some random documentation issues ( #7921 )
...
This PR fixes a few issues in the documentation, mostly about examples that were not included where they should be.
2022-01-18 20:32:17 +00:00
Alex Ozdemir
082ffeaffc
Rename python APIs ( #7950 )
...
Rename python APIs to "base" and "pythonic"
2022-01-14 21:45:19 +00:00
