Aina Niemetz
cf8c5f3ade
NodeManager as a static thread_local singleton is no more. ( #11816 )
...
Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com >
2025-04-16 01:39:01 +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
82be2ff2fc
c api: Add term creation functions and tests. ( #10804 )
2024-06-11 21:41:39 +00:00
Aina Niemetz
5eeb791635
Revert "c api: Add tests for op. ( #10828 )"
...
This reverts commit 6efe0fae41
2024-06-11 07:32:57 -07:00
Aina Niemetz
6efe0fae41
c api: Add tests for op. ( #10828 )
...
This is based on #10827 .
2024-06-11 02:48:34 +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
fdf9ce7138
Update copyright headers. ( #10459 )
2024-03-12 09:35:09 -07:00
Aina Niemetz
0a8baa0f0a
Update copyright headers. ( #9736 )
2023-05-09 18:06:18 +00:00
Mathias Preiner
d01e59c13b
Update copyright headers for release 1.0 ( #8539 )
2022-04-05 20:38:57 +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
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
881464ade1
Turn kinds in python API into a proper Enum ( #7686 )
...
This PR does multiple things:
- the kinds are changed from custom objects to a proper enum.Enum class
(including according changes to the cython code and the kind generation scripts)
- all examples and tests are modified to account for the change how to use kinds
(Kind instead of kinds)
- add docstrings to the kind enum values
- add a custom documenter that properly renders enums via autodoc
- extend doxygen setup so that we can write comments as rst (allowing us to copy
the documentation for kinds from the cpp api to the other apis)
2021-12-08 04:16:03 +00:00
yoni206
24663f1c4b
Translating API tests to Python — part 2 ( #7651 )
...
This PR translates the remaining cpp API tests to python.
2021-12-01 01:38:45 +00:00
