Daniel Larraz
f30f3a00e3
doc: Avoid duplicate indexing of cvc5.pythonic.Length ( #12097 )
...
The `Length` function in the Pythonic API applies to both strings and
sequences, so its documentation appears in `strings.rst` and
`sequences.rst`. To avoid duplicate entries in the index, one occurrence
is marked with `:noindex:`.
2025-09-08 15:07:48 +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
Alex Ozdemir
13adc386d0
pythonic docs: is_tautology ( #10687 )
2024-04-25 18:49:41 +00:00
yoni206
91572c54c6
Add strings and sequences to the pythonic API documentation ( #10654 )
...
This PR adds the documentation for strings and sequences in the pythonic API.
2024-04-19 07:34:00 -05:00
Alex Ozdemir
fdbbbefd0f
More external FF documentation ( #10049 )
...
- document the (extension) theory itself
- add a pythonic API example
2023-11-10 20:10:27 +00:00
yoni206
918b21d36a
Updating missing features in pythonic API ( #9929 )
...
Following cvc5/cvc5_pythonic_api#86 .
2023-08-07 19:25:31 +00:00
Aina Niemetz
9c176f263b
docs: Do not use explicit line numbers in literalinclude. ( #8690 )
2022-05-02 20:13:00 +00:00
Alex Ozdemir
b2c7ea88a3
Write-up for Pythonic API quickstart ( #8566 )
2022-04-05 02:49:30 +00:00
Alex Ozdemir
1ae29f4353
Bump Pythonic (transcendentals) & exception example ( #8553 )
...
- Bump version of Pythonic API to include transcendentals.
- Document Pythonic API's transcendentals.
- Add exception Pythonic API example.
2022-04-04 20:11:30 +00:00
Andrew Reynolds
904f7c5524
Add a few miscellaneous pieces of documentation ( #8533 )
2022-04-02 01:02:47 +00:00
Gereon Kremer
ea5e75d04a
Integrate pythonic api ( #8131 )
...
We decided we want to ship the pythonic API together with our base python API.
This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 02:16:09 +00:00
Gereon Kremer
8002adccc9
Use Add instead of Plus ( #8043 )
...
This fixes the current documentation builds for the pythonic API
2022-02-04 01:19:08 +00:00
Alex Ozdemir
082ffeaffc
Rename python APIs ( #7950 )
...
Rename python APIs to "base" and "pythonic"
2022-01-14 21:45:19 +00:00
