• 199ef30e0c528cc3b32277b65b15efb0618c2310 conditionally depend on importlib_resources (#7116)
• 84d592c1f2e42d16842222f1ed60a63661b9bf4c fix #7121
• 2b14793213363381f2ee0d674242aad9863e30c0 #7117
• 155dfb10c49172bec5aeab459f288c290f721e31 Fix some typos in identifiers. (#7118)
• dba2f788df715e7cb78881ff291f569d3df19778 ci: Update microsoft/setup-msbuild to v2 from v1.3. (#7119)
• 4d06c399cc977f905290250997e0e1ab96c3d37f replace DEBUG_CODE by #ifdef Z3DEBUG in nlsat
• f1d97c7a3a5ed37a23226f1bffe359421115b7ac allow callbacks to be nested
• 53f89a81c181926956dc26bfcd6466acf1579b41 Fix some typos. (#7115)
• 937d4aa8f464ff98ff0465e333f9645b11213651 move files from lib and java directory to bin
• c40e72aaa3e3a7fea2824d2cf4d66958fc202ea8 include debug output
• f4eaa6fc984659e5118a77d8aec1dc1c8fa8b6b0 improve logging
• 683070a175eb6d9621d7464f7cbb013897df07a4 finish encoding of n'th root
• 8555f2558778e4416e361b5fe64248dac37d10d3 add todo note, and log more lemmas
• f4474a3edb0e56f11d1e45e4318b2c7256306811 typo
• 446a9dec080fd0d18825e791e6215e4b6d3738f2 distinguish vs-arch from arch identifier
• d743e1b47c44b5f53d67952f9be327e7b5af1b3a add note that the encoding is a first approximation
• b9528b1c5681d04efa8fe7fd9686194bfaec289a update self-validator to handle root expressions
• 548b9d091fda2c20a62ca97dddef8b6d5cdf11c6 move libz3.so from lib to bin, remove lib from distribution
• 7970e4fe510c05bf5a021c594c6c13bfcd88b62b add clause persistence to sat/smt solver
• 3cec3fc63dd2e41e72fba19235bd5682b3c6e76c bypass replaying new clause within propagation
• 3b90816025b05e7dfb5d24b2d3906173e175e0bd add option to persist clauses #7109
• a2fa4ff1bcefaf6499a200185c1c5500bcb20a13 update assembly names
• c9267055c2dc6b579023d4b52ae63095f78dc184 update assembly names
• b9bec1861a9c5f25cd6585b6a90f68ad3277c3f6 copy over dotnet files
• bc70282a180e7d703bd15fd98ee0c4755619f015 mute some compiler warnings
• 9425c419add21de09c088bb775f37e56038fc3c2 port remaining egraph update
• a5a819c2916b64deee0069c71c07fa1edaef9067 port updates to egraph from poly
• 24ffef8ac505ddb2ffbe2a57165be9ff9ed1ca31 fix typo
• e295ac93af00e80652a10a7fcf1c417a087611b2 update build-win-signed-cmake
• e398f84e857bb1338b89ae609c8b7d452216eb57 update build-win-signed-cmake
• bd082ab65389808a336094514722f67d6a3ccdfb update mk-win-dist-cmake
• 14fb235dd8d4bd50b4eb2b81fb948d65e960104d update mk-win-dist-cmake
• 736d6348e60b8742ea1c0a6d761b2f101ca06807 move windows builds to use mk_win_dist_cmake in nightly
• cfc8774dac5ca09a60adce7ffda30b58562d8f3b move windows builds to use mk_win_dist_cmake in nightly
• 05d625bf0bf711051447d8b0ec5bc2b8b5b7b8b0 fixing paths and re-add arm64
• 485a018c59c7c3faada92ffe6bf1761987b0eca6 add back legacy build-win-signed
• 9db834c223ceda1a06bc32326763bfe391a6978f add back legacy build-win-signed
• 2280e9562af30da2f1fa93990b6b92687d601647 Improve instructions for working with the Julia API (#7108)
• 0d24ec361340510768cf5ed3b2764c816d60b26d add 'dist' to folder path
• 426020639131761351153bf6824ce09d90abcce6 include variable ReleaseVersion in Nightly
• 30c14f533edf359b27a9ba536f597af79f4a29b1 include variable ReleaseVersion in Nightly
• d231913c04d1e947ccc34ddd476267601d5d7c2f remove period
• 93cbcd00bd460812b3623518957c5b604e3b50ab rename
• 77b98d5b02c2f0ffe5411b3c09ff26c830f2b832 update folder names to align with mk_win_dist_cmake
• bd2d96eacba6af3f7766fe58770fd2f71eddcd08 update folder names to align with mk_win_dist_cmake
• 06466be999a48be0fd889f5d1a344e6a4161dd5a disable arm64 nightly
• 28d62bfedb39787aaac09c197826de661c311cd1 move to use release.yml version for windows build
• 5cac9b84e4b4ce3b16f7d43a3e65efcd1c74bc39 fix build warnings
• ca0e9a1526e7f97d6728e806e3f2f9e61636b306 remove explicit option for shared build, set to Release mode. .so artifacts take 800MB in distribution
• ec6640d7939dab2f1088557032805ebfec922d47 Update nightly.yaml
• 85072974b992b16c0fa7dacc7f6e15f41fd9217f update ubuntu builds
• 432432be9c8cc154fd84c9cbae873ad910f867c3 update ubuntu builds
• d624eec9765b3e80794a1e5b9122da3a2f1acbda Update nightly.yaml
• 0a1a57cf01769fd400860bd72ec6a9ecd50f50bb Update nightly.yaml for Azure Pipelines
• f16afe55d64031c551b13a9adf1e1acc2a9106eb Update nightly.yaml for Azure Pipelines
• 9a095cc9e62650cfa985fab398637d208a82d6c0 Update nightly.yaml for Azure Pipelines
• e820701f9d0fdd7be96057fec6ec8f178aa275e7 fix #7107
• e26344efd7d47e7d3698f35efca72a484564bf63 update nightly
• 5551f1e35bc7c40e0218b69cb1a66dfd9e2dec39 update nightly
• 5c4ad4fdd7217aa4c086b7cc99a8b37a437b7f07 cd to dist in nightly.yaml
• d3fbb9d0c5a286c5194503278ca1b92ccb807b58 add line continuations to nightly.yaml
• 4b4e057441fc3d28a73bc1fe4891db093957a458 install ninja
• ac1f9719a433b2874d6121c699fb00d9f61c85cc move nightly builds of Unixes to use cmake
• 738c5b6d0d7314f701f27f13cb966eb76588e312 add warning messages for #7100
• 50deece29e2de6d3e77ebca2118b92a363f8da52 fix #7098
• 99ebbd634156f8618d138df5afdb8e2f3a08f803 porting unix distribution script to cmake
• 28c44a6ed0661a0f128bebc22d7d57eaab6ec390 fix #7105
• 67e5ba9f7983cf0787526253457759eea672b624 update release scripts
• f81180173b0ecf6fa5ffc54c9243c6603bf957e0 remove optional Julia build
• 5d4303f2689c865b184384743d0a220914b095fe build Julia for x64
• e0bed3bcfac8cf5e1b1086dd5b32f425e5117fa5 build Julia for x64
• 680b0f523ff41d14f09a25abe598f64e6479ee57 add download stage for arm64
• b3b95dbc5cba6ef2780730984ccf68be75b675e4 move installation directories to under bin
• 9bd8e355818f73392945c52d40485a87e462f3f6 adapt paths to new distribution
• f7ed4adfbb77c2c23c2890f68a9e3303d324fb1e update path for win distributions
• bef67f8523bd87f7abd349a5bf84f40cea0ba2a3 special purpose dotnet copy
• 4be8b7d88c8640897cad1aa39c904139908a812d update win-dist
• 908aaa06f7dbc31fb2fb206600ede6535fef81c1 fix #7101
• 2b683941b78e4003b9406a9ec235b1dfabf7d00d fix #7103
• f8a3b6f5212b68565f3227448482dd4add8eaea5 fix #7102
• 2af1cff11f495bd07b97a0ecc1a663390372a0f0 updating java cmake scrip
• 527f824adff5715b112d14b748ae4a37a5726d6a update java install/build
• c8c2e3a7b729d7fbcfcbf0d6369a9f8511aaac50 update java install/build
• 637ffcd491697014e86a35b59b670cc938989631 Update mk_win_dist_cmake.py
• dec5715f034048f959e0e868c7844f86d15ee5d1 Expose forall and exists to Julia (#7099)
• 9d59d86a1c9a657f284fc562cb80467b0dc0e24a update cmake build
• ee2be7d64225af60e190e3ba3137acac33be964b attempting to build ARM
• bdb9106f996c838f387c1602f29e9665feccea2f Api (#7097)
• 133546625c411bb174c66b58341b534713331592 update minor version number
• 1b94d43a8bab976e42fc05f41f371a3f806927e2 fix build
• fad428381a3e8e448e096e57d27b59a464660afe prepare for integer intervals
• 98c9fa7faf937f67fba51bd6658ec71944ded5d2 prepare for handling integer intervals
• 36453c5949a7c4cffa5ba8df495cf5167ee972c6 use while (true) in do loops with continue
• be7856c57ddde2b0aafd2d541a56c60f9d0c08ad fix #7027
• 125a82bea54946b85cf4e0ea8bbaf4742320f97d improved diagnostics
• 8d4e7fac6bf22c847b225c83a1865466686ad958 add diagnostics option to new arithmetic solver
• 839b7101aef34dce0a33147642f93e0994222e2b add ability to multiply term
• 0ebd8d655bf3bc67832f513e7b5ce4e6d819693b prepare for printing more cases of root objects in SMT
• 69f118e77f662920380ec061410efa2511441573 use assignment
• 414c33f92d50907bd7b5b1ccba35451b23281620 Bump mymindstorm/setup-emsdk from 13 to 14 (#7095)

This list of changes was auto generated.