6 Commits

Author	SHA1	Message	Date
Mathias Preiner	56e14c4639	Move public headers into top-level include directory. (#9555) ... This PR moves the public API headers into a top-level include directory. This makes it easier to find the public API of cvc5 and makes the install headers script obsolete. Fixes #9553 Fixes #9556	2023-03-07 23:39:29 +00:00
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