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
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
Andrew Reynolds	00534c3504	Fix another case of model blocking for non-constant evaluation (#9596 ) Fixes cvc5/cvc5-projects#612.	2023-03-27 16:57:24 +00:00

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

Andrew Reynolds

00534c3504

Fix another case of model blocking for non-constant evaluation (#9596 )

Fixes cvc5/cvc5-projects#612.

2023-03-27 16:57:24 +00:00

3 Commits