Daniel Larraz
2d240c467a
Fix duplicate C++ declarations in Sphinx documentation ( #12069 )
2025-09-08 15:08:58 +00:00
Daniel Larraz
ec9cbcb6ce
doc: Fix toctree consistency issues ( #12090 )
...
This PR addresses two issues reported by Sphinx. First, the
`docs/api/python/base/modes.rst` document was not included in any
toctree. Second, the `proofrule.rst` and `cvc5proofrule.rst` documents
were included in multiple toctrees. The latter is resolved by including
each document in only one toctree and referencing it elsewhere in the
documentation using cross-references.
2025-08-23 22:10:09 +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
651f196032
ci: Treat all Doxygen warnings as errors ( #12068 )
...
This PR increases the quality requirements for the cvc5 C++ API
documentation by treating all warnings reported by Doxygen 1.9.8 as
errors.
2025-08-23 22:01:43 +00:00
Aina Niemetz
e900af3059
docs: Add docs for OptionCategory. ( #12016 )
2025-07-03 22:23:04 +00:00
Aina Niemetz
91201c459e
Fix docs in preparation for upcoming release. ( #11983 )
2025-06-17 13:22:02 +00:00
Aina Niemetz
0647c4c107
Update copyright headers. ( #11561 )
...
Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com >
2025-01-23 17:54:20 +00:00
Aina Niemetz
1b9eab5c0e
docs: Restructure and extend proofs docs. ( #11045 )
2024-07-16 23:07:30 +00:00
Aina Niemetz
5788258717
docs: Add docs for C API. ( #11044 )
2024-07-16 18:50:32 +00:00
