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

..

cpp

examples: Enable FF examples when built with cocoa. (#10121)

2023-10-25 19:30:59 +00:00

java

Add setStringInput to the parser APIs (#10230)

2023-12-15 19:50:57 +00:00

python

Add setStringInput to the parser APIs (#10230)

2023-12-15 19:50:57 +00:00

smtlib

Add docs for parser examples (#10227)

2023-12-15 18:48:15 +00:00