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
3d8ce5a158
Convert enum Kind_t to an enum class. ( #10070 )
2023-09-28 08:37:06 -05: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
Aina Niemetz
7ec3005875
Refactor and update copyright headers. ( #6316 )
2021-04-12 19:31:43 +00: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
bbf9eee55d
Rename test/unit/expr to test/unit/node. ( #6156 )
...
This is in preparation for renaming src/expr to src/node.
2021-03-17 18:07:48 +00:00
