ada/cvc5

Fork 0

mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00

Commit Graph

Author	SHA1	Message	Date
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
Mathias Preiner	d01e59c13b	Update copyright headers for release 1.0 (#8539 )	2022-04-05 20:38:57 +00:00
yoni206	40272d5f3a	Translating API tests to Python — part 1 (#7597 ) This PR translates some of the API tests from here to Python. The other tests are translated in a private branch and will be added in a separate PR.	2021-11-16 18:56:37 +00:00

Author

SHA1

Message

Date

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

Mathias Preiner

d01e59c13b

Update copyright headers for release 1.0 (#8539 )

2022-04-05 20:38:57 +00:00

yoni206

40272d5f3a

Translating API tests to Python — part 1 (#7597 )

This PR translates some of the API tests from here to Python. The other tests are translated in a private branch and will be added in a separate PR.

2021-11-16 18:56:37 +00:00

3 Commits