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
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

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

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

3 Commits