5 Commits

Author	SHA1	Message	Date
Aina Niemetz	7a4a17b193	c api: Introduce C/C++ specific handling of public enums. (#9915) ... This introduces a general way to use public enums both in the C++ and the (upcoming) C API. For the C++ case, we now use enum classes rather than enums for public enums. This also includes definitions for C API to_string conversions for public enums. C API definitions in cvc5_types.h are only included from the C API, guarded via a macro (thus, for now, not included yet when the header is included).	2023-08-22 18:17:16 +00:00
Aina Niemetz	0a8baa0f0a	Update copyright headers. (#9736)	2023-05-09 18:06:18 +00:00
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	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	2bd4042490	unit: Add test for api::Kind. (#8322)	2022-03-16 20:26:09 +00:00