Fix performance issue in a DFS search (bug 474)
(cherry picked from commit f056522a587d1b080224992355be070b73d97a3b)
Fix to portfolio builds
(cherry picked from commit f46ba71e78054af63b529eb3271952c55beba37e)
Merge release branch '1.0.x'

For clarity 1.0.x is always a subset of master even after cherry-picking
Fix bug 476: when CxxTest is not found, make the error less fatal-looking
Merge from 1.0.x (bugfix for 476).
adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user attributes in quantifiers (was broken)
adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user attributes in quantifiers (was broken)

(cherry-picked from commit 206edb6f11674e954f5762a1db9712131151a276)
Merge branch '1.0.x'
Ignore unknown term annotations (giving a warning).  Resolves bug 479.
Merge branch '1.0.x' (getting fix for bug 479)
SMT-LIB compliance fix to get-assignment; resolves bug 480
Merge branch '1.0.x', getting fix for bug 480
* fixed bug 481 by adding check for division by 0 in bit-vector division circuit
* added printing for total bit-vector division kinds for debugging purposes
Merge pull request #1 from lianah/1.0.x

* fixed bug 481 by adding check for division by 0 in bit-vector division...
Merge pull request #2 from CVC4/1.0.x

1.0.x
Changing the rewriter to use Boute's Euclidean definition of division.
Merge remote-tracking branch 'main-repo/1.0.x' into 1.0.x
Adding unit test for different versions of division.
Merging in patch from branch '1.0.x'.
Fix printing of EXISTS in CVC language printer