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
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
Gereon Kremer	898f11d094	Add doc page about transcendentals (#6755) ... This PR adds a theory reference page for the transcendental extension.	2021-07-05 21:13:47 -05:00