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	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
yoni206	6fefd71563	Dismissing a redundant assertion (#9118 ) solves cvc5/cvc5-projects#418. This assertion is redundant: we just pass the old kind while the children were not converted.	2022-09-06 08:19:55 -05:00

Author

SHA1

Message

Date

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

yoni206

6fefd71563

Dismissing a redundant assertion (#9118 )

solves cvc5/cvc5-projects#418.
This assertion is redundant: we just pass the old kind while the children were not converted.

2022-09-06 08:19:55 -05:00

3 Commits