Mathias Preiner
d01e59c13b
Update copyright headers for release 1.0 ( #8539 )
2022-04-05 20:38:57 +00:00
Mathias Preiner
bbcd471ed4
Introduce internal namespace and remove api namespace. ( #8443 )
...
The public cvc5 API now lives in the cvc5 namespace. All internal parts were moved into the (new) internal namespace.
The final hierarchy will be as follows:
cvc5
~~ public API
::context
::internal
::parser
::main
After this PR it will be:
cvc5
~~ public API
::internal
::context
::main
::parser
2022-03-29 23:23:01 +00:00
Mathias Preiner
4a58ed7daf
api: Unify mkTerm variants. ( #8357 )
2022-03-22 00:22:41 +00:00
Aina Niemetz
f33c9b608b
FP: Rename tester kinds. ( #8037 )
...
This renames FP tester kinds for consistency:
FLOATINGPOINT_ISINF -> FLOATINGPOINT_IS_INF
FLOATINGPOINT_ISN -> FLOATINGPOINT_IS_NORMAL
FLOATINGPOINT_ISNAN -> FLOATINGPOINT_IS_NAN
FLOATINGPOINT_ISNEG -> FLOATINGPOINT_IS_NEG
FLOATINGPOINT_ISPOS -> FLOATINGPOINT_IS_POS
FLOATINGPOINT_ISZ -> FLOATINGPOINT_IS_ZERO
2022-02-04 15:01:42 +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
