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

Author	SHA1	Message	Date
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
Andres Noetzli	7ed586537b	Fix `TypeNode::substitute()` for type constants (#7920 ) Fixes cvc5/cvc5-projects#395. The TypeNode::substitute() method did not account for type constants such as the Boolean type and was trying to use a NodeBuilder to build such constants instead. This commit fixes the issue by adding a special case for types without children.	2022-01-11 17:19:15 +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

Andres Noetzli

7ed586537b

Fix TypeNode::substitute() for type constants (#7920 )

Fixes cvc5/cvc5-projects#395. The
TypeNode::substitute() method did not account for type constants such
as the Boolean type and was trying to use a NodeBuilder to build such
constants instead. This commit fixes the issue by adding a special case
for types without children.

2022-01-11 17:19:15 +00:00

3 Commits