7 Commits

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
Aina Niemetz	7ec3005875	Refactor and update copyright headers. (#6316)	2021-04-12 19:31:43 +00:00
Andrew Reynolds	04a494e251	Replace calls to NodeManager::mkSkolem with SkolemManager::mkDummySkolem (#6291) ... This is in preparation for refactoring skolem creation throughout the code base to improve proofs and migrate Theory::expandDefinitions to Rewriter::expandDefinitions. This PR also eliminates some unused code in TheoryArithPrivate. Followup PRs will start formalizing/eliminating calls to mkDummySkolem.	2021-04-07 18:36:15 +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