Move tuple/record update elimination from ppRewrite to expandDefinition (#2839)
-rw-r--r-- 420 .clang-format
-rw-r--r-- 156 .gitignore
-rw-r--r-- 1517 .mailmap
-rw-r--r-- 3043 .travis.yml
-rw-r--r-- 1999 AUTHORS
-rw-r--r-- 20360 CMakeLists.txt
-rw-r--r-- 5913 COPYING
-rw-r--r-- 14486 INSTALL.md
-rw-r--r-- 7920 NEWS
-rw-r--r-- 6117 README.md
-rw-r--r-- 6581 RELEASE-NOTES
-rw-r--r-- 1495 THANKS
drwxr-xr-x - cmake
-rwxr-xr-x 14022 configure.sh
drwxr-xr-x - contrib
-rw-r--r-- 2059 cvc4autoconfig.h.in
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - licenses
drwxr-xr-x - proofs
drwxr-xr-x - src
drwxr-xr-x - test