Aina Niemetz
0647c4c107
Update copyright headers. ( #11561 )
...
Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com >
2025-01-23 17:54:20 +00:00
Aina Niemetz
fdf9ce7138
Update copyright headers. ( #10459 )
2024-03-12 09:35:09 -07:00
Aina Niemetz
0a8baa0f0a
Update copyright headers. ( #9736 )
2023-05-09 18:06:18 +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
Mathias Preiner
2c77d85c05
Add missing space for check macro error messages. ( #6875 )
2021-07-14 06:57:13 +00:00
Aina Niemetz
7ec3005875
Refactor and update copyright headers. ( #6316 )
2021-04-12 19:31:43 +00:00
Aina Niemetz
f87f038c5f
Rename CVC4_ macros to CVC5_. ( #6327 )
2021-04-09 17:22:07 -07:00
Aina Niemetz
05a53a2ac4
Rename namespace CVC5 to cvc5. ( #6258 )
2021-04-01 16:56:14 +00:00
Aina Niemetz
a1466978fb
Rename namespace CVC4 to CVC5. ( #6249 )
2021-03-31 22:23:17 +00:00
Aina Niemetz
b302cb1f92
Update copyright headers to 2021. ( #6081 )
2021-03-09 07:27:03 +00:00
Aina Niemetz
88e091a390
google test: util: Migrate assert_white. ( #6011 )
2021-02-26 11:25:05 -08:00
