Daniel Larraz
67975ea890
ci: Treat all Sphinx warnings as errors ( #12112 )
...
It also fixes a couple of indentation issues in the documentation.
2025-09-16 14:33:19 +00:00
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
Daniel Larraz
6f32ee5ca0
doc: Pass TermManager to Solver in Java examples ( #11232 )
...
It also replaces calls to deprecated functions of `Solver` with the
corresponding function of `TermManager`.
---------
Co-authored-by: mudathirmahgoub <mudathirmahgoub@gmail.com >
2024-09-26 21:00:25 +00:00
mudathirmahgoub
590af04a10
Remove reference to solver from java objects ( #9147 )
2022-10-04 17:06:02 +00: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
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
mudathirmahgoub
6f8f56513c
Add documentation for QuickStart.java ( #7730 )
...
Improve java documentation: add QuickStart and a java API overview.
2021-12-06 17:31:47 -08:00
