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
00d912f521
parser: Refactor symbol manager to be associated to term manager. ( #10939 )
2024-06-18 23:21:47 +00:00
Andrew Reynolds
2923715aa6
Add declarations interface to SymbolManager ( #10473 )
...
Partially addresses https://github.com/cvc5/cvc5/discussions/10454 .
2024-03-19 18:39:35 +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
Daniel Larraz
6a33a2f89d
Fix python api coverage failure ( #10233 )
2023-12-15 16:14:26 -06:00
Andrew Reynolds
68fc815e03
Add setStringInput to the parser APIs ( #10230 )
...
This PR:
Updates the functionality of setIncrementalStringInput / appendIncrementalStringInput to a more intuitive behavior where append does not replace the current contents of the input.
Adds setStringInput to the API and updates the interactive shell to use this interface.
Updates the examples
Adds new unit tests
2023-12-15 19:50:57 +00:00
Daniel Larraz
3e07a656e7
Add parser to the python api ( #10222 )
2023-12-14 09:08:05 -06:00
