Andrew Reynolds fd0df78ad4 Enable flex smt2 parser by default (#9499) ...

Includes several fixes found during testing:

A check to avoid assertion failure in the flex parser
Changes atomic SEXPR to symbols instead of constant strings to avoid spurious error messages for non-standard characters
Changes to options configuration for Flex for performance (as a result, this does not fix check-synth doesn't flush output #9257).
Fix for --stdin-input-per-line to not set incremental by default for non-interactive inputs.
Note that TPTP parsing still uses the ANTLR parser.

Fixes #9258.
Fixes #8374.
Fixes #1862.
Fixes #791.
Fixes cvc5/cvc5-wishues#142.

2023-03-01 17:39:32 +00:00

..

CMakeLists.txt

Fixed CI actions on macOS. (#9448)

2023-01-24 19:01:36 +00:00

interactive_shell.py

Enable flex smt2 parser by default (#9499)

2023-03-01 17:39:32 +00:00