z3-4.12.6

4.12.6 release

Changes:

• fa2c0e0 enable release publish
• 85425a6 Update nightly.yaml for Azure Pipelines (#7139)
• 19f5e7f ci: Really fix set-output. (#7138) [ #7136 ]
• 019c064 Update coverage.yml
• c0621cb ci: Stop using deprecated ::set-output. (#7136)
• 143a35d Fix typos. (#7137)
• 785f71b prepare for 12.6
• 79b7d8a throttle squash-store #7134
• a3d00ce Improved Java phantom references (#7131)
• f7691d3 fix generic example

See More

• 199ef30 conditionally depend on importlib_resources (#7116)
• 84d592c fix #7121
• 2b14793 #7117
• 155dfb1 Fix some typos in identifiers. (#7118)
• dba2f78 ci: Update microsoft/setup-msbuild to v2 from v1.3. (#7119)
• 4d06c39 replace DEBUG_CODE by #ifdef Z3DEBUG in nlsat
• f1d97c7 allow callbacks to be nested
• 53f89a8 Fix some typos. (#7115)
• 937d4aa move files from lib and java directory to bin
• c40e72a include debug output
• f4eaa6f improve logging
• 683070a finish encoding of n'th root
• 8555f25 add todo note, and log more lemmas
• f4474a3 typo
• 446a9de distinguish vs-arch from arch identifier
• d743e1b add note that the encoding is a first approximation
• b9528b1 update self-validator to handle root expressions
• 548b9d0 move libz3.so from lib to bin, remove lib from distribution
• 7970e4f add clause persistence to sat/smt solver
• 3cec3fc bypass replaying new clause within propagation
• 3b90816 add option to persist clauses #7109
• a2fa4ff update assembly names
• c926705 update assembly names
• b9bec18 copy over dotnet files
• bc70282 mute some compiler warnings
• 9425c41 port remaining egraph update
• a5a819c port updates to egraph from poly
• 24ffef8 fix typo
• e295ac9 update build-win-signed-cmake
• e398f84 update build-win-signed-cmake
• bd082ab update mk-win-dist-cmake
• 14fb235 update mk-win-dist-cmake
• 736d634 move windows builds to use mk_win_dist_cmake in nightly
• cfc8774 move windows builds to use mk_win_dist_cmake in nightly
• 05d625b fixing paths and re-add arm64
• 485a018 add back legacy build-win-signed
• 9db834c add back legacy build-win-signed
• 2280e95 Improve instructions for working with the Julia API (#7108)
• 0d24ec3 add 'dist' to folder path
• 4260206 include variable ReleaseVersion in Nightly
• 30c14f5 include variable ReleaseVersion in Nightly
• d231913 remove period
• 93cbcd0 rename
• 77b98d5 update folder names to align with mk_win_dist_cmake
• bd2d96e update folder names to align with mk_win_dist_cmake
• 06466be disable arm64 nightly
• 28d62bf move to use release.yml version for windows build
• 5cac9b8 fix build warnings
• ca0e9a1 remove explicit option for shared build, set to Release mode. .so artifacts take 800MB in distribution
• ec6640d Update nightly.yaml
• 8507297 update ubuntu builds
• 432432b update ubuntu builds
• d624eec Update nightly.yaml
• 0a1a57c Update nightly.yaml for Azure Pipelines
• f16afe5 Update nightly.yaml for Azure Pipelines
• 9a095cc Update nightly.yaml for Azure Pipelines
• e820701 fix #7107
• e26344e update nightly
• 5551f1e update nightly
• 5c4ad4f cd to dist in nightly.yaml
• d3fbb9d add line continuations to nightly.yaml
• 4b4e057 install ninja
• ac1f971 move nightly builds of Unixes to use cmake
• 738c5b6 add warning messages for #7100
• 50deece fix #7098
• 99ebbd6 porting unix distribution script to cmake
• 28c44a6 fix #7105
• 67e5ba9 update release scripts
• f811801 remove optional Julia build
• 5d4303f build Julia for x64
• e0bed3b build Julia for x64
• 680b0f5 add download stage for arm64
• b3b95db move installation directories to under bin
• 9bd8e35 adapt paths to new distribution
• f7ed4ad update path for win distributions
• bef67f8 special purpose dotnet copy
• 4be8b7d update win-dist
• 908aaa0 fix #7101
• 2b68394 fix #7103
• f8a3b6f fix #7102
• 2af1cff updating java cmake scrip
• 527f824 update java install/build
• c8c2e3a update java install/build
• 637ffcd Update mk_win_dist_cmake.py
• dec5715 Expose forall and exists to Julia (#7099)
• 9d59d86 update cmake build
• ee2be7d attempting to build ARM
• bdb9106 Api (#7097)
• 1335466 update minor version number
• 1b94d43 fix build
• fad4283 prepare for integer intervals
• 98c9fa7 prepare for handling integer intervals
• 36453c5 use while (true) in do loops with continue
• be7856c fix #7027
• 125a82b improved diagnostics
• 8d4e7fa add diagnostics option to new arithmetic solver
• 839b710 add ability to multiply term
• 0ebd8d6 prepare for printing more cases of root objects in SMT
• 69f118e use assignment
• 414c33f Bump mymindstorm/setup-emsdk from 13 to 14 (#7095)

This list of changes was auto generated.