Hans-Jörg
0a35879fc1
Make Proof Rule enum a part of the API ( #9925 )
...
This pull requests makes the enum that lists all proof rules a part of the API.
It also renames the enum from PfRule to ProofRule. It also renames some unrelated types and function names that share the PfRule name (such as DslPfRule).
This rename unfortunately touches many files since PfRule is not an uncommon type. (second to last commit)
2023-09-27 00:58:03 +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
3c18371323
Document special member functions in python API ( #8513 )
...
This PR documents relevant special member functions __getitem__ and __iter__ for some classes in the base python API.
2022-04-01 13:12:10 -07: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
Aina Niemetz
8ef22792d2
Python api: Various fixes in docs. ( #8480 )
2022-04-01 05:45:33 +00:00
Mathias Preiner
f66e2adea0
docs: Remove api namespace. ( #8455 )
2022-03-31 02:30:21 +00:00
Andrew Reynolds
ba24986fe2
Add SynthResult to the API ( #8370 )
...
Does not modify the code to return a SynthResult yet, just adds the class.
Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com >
2022-03-23 21:56:33 +00:00
Alex Ozdemir
6388657820
Change name of Python API's package from pycvc5 to cvc5. ( #7953 )
...
In the process, I changed a CMake target name from pycvc5 to
cvc5_base_py_api. I could not change the target to cvc5, because that
name is taken.
2022-02-02 23:45:42 +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
