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
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
Gereon Kremer	9dc2d55ce2	Move tests around (#8670 ) This PR moves two tests that dealt with particular issues out of unit/api/cpp (which should only have generic unit tests). They are now in unit/theory and api/cpp/.	2022-04-28 18:30:46 +00:00

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

Gereon Kremer

9dc2d55ce2

Move tests around (#8670 )

This PR moves two tests that dealt with particular issues out of unit/api/cpp (which should only have generic unit tests). They are now in unit/theory and api/cpp/.

2022-04-28 18:30:46 +00:00

2 Commits