Mathias Preiner
f19f42f377
Update copyright headers, add missing header documentation. ( #11990 )
...
Adds missing header documentation for new files, remove carriage returns
from new files.
2025-06-18 19:41:07 +00:00
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
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
fdf9ce7138
Update copyright headers. ( #10459 )
2024-03-12 09:35:09 -07: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
mudathirmahgoub
115d3d200b
Add parser to the java api ( #10088 )
2023-11-28 11:53:30 -06:00
