z3-4.8.16

4.8.16 release

Changes:

• 312e037 wasm build: disable error handler (#5996)
• 39f57fb update release notes
• bd6b302 Document gotcha with z3-js (#5994)
• 0529e88 enable pypi
• 459cfc8 fix #5993
• 8e509d3 remove test
• 8778f4d updated release script
• 5a2c92f format
• 81189d6 Added bit2bool to the API (#5992)
• 0dd0fd2 remove buggy prototype

See More

• e6e00d8 update nightly/release scripts to produce arm64 for what is tested
• d9f3625 change default output to print objective value
• e3c3584 remove out
• ec57d3b missing switch cases
• 5393f1d #5980
• a180254 fix #5980
• b7169e2 fix #5985
• a1ead5f #5986
• 9b66d86 add shortcut to serialize/deserialize based on question at FV hangout
• 09b0c4b fix #5988
• df98166 na
• 98c7069 add rewrite for hoisting multipliers over modular inverses
• c727e2d add rc2 option
• 4a59ae4 fixes
• 7496f11 na
• b5309d5 na
• c131eb4 build fix
• f4c500c fix build
• 807121a wip
• 8e70112 Update z3.py
• 11d992a wip: tweak GC further (#5982)
• e11496b Added decide-callback to user-propagator (#5978)
• 9ecd4f8 MANIFEST.in will now include pyproject.toml (#5979)
• c33611e include map for non vs builds
• cc36dd1 include map for non vs builds
• 3cc9d7f improve pre-processing
• a634876 sort muxes
• 7d47e45 Add a hacky patch so that Z3 on M1 hardware can link to libs properly (#5974)
• ddbe17d #5965
• 3f5eb7f re-enable pre-process
• c9fa00a expose recursive functions with own op-code over API
• c0b455e Add cmake setup.py build dep (#5972)
• 9834d7a Setup.py fix dependencies (#5971)
• 032768b setup.py: copy generated python files correctly (#5975)
• b264e6c Reverted reusing can_propagate (#5966)
• ac55e29 disable propagation
• eb2dd92 Merge branch 'master' of https://github.com/z3prover/z3
• c996a66 separate pre-processing, add callback parameter to push/pop in python API
• b0d8b27 Fixed registering expressions in push/pop (#5964)
• f43d9d0 Z3_add_rec_def body is not a macro (#5963)
• 4f4e9a9 fix a tiny typo (#5960)
• 0b20a4e Added rewriting distinct with bitvectors to false if bit-size is too low (#5956)
• f55b233 #5778
• 011c1b2 remove refs to bare_str
• 405a26c allow adding constraints during on_model
• 005b8e3 arc -> arch
• fe834b9 update regex
• c98eda0 nightly osx arm64 wheel
• d6d9b25 Allow adding constraints in the model_eh callback
• fbd35fb skip unit tests for arm
• 91ca028 arm64
• 3821eb4 fpflags
• f3789e2 id doesn't use mk_util
• 67434a3 again
• 9533dba missing arg specifier
• 746a416 more passing of parameters
• cb6aba2 more arm
• 7955326 no uname on nt
• 1346a16 #5952
• babac78 syntax error?
• 83d2aa8 add arm64 build path
• 2e91d66 Update mk_util.py
• c47bd1d add arm64 auto-detect
• 8c2909f working on python make for arm
• 1953165 set ARM64 if detected under OSX
• a863a91 Allow nightly builds to complete even if package signing fails - NOT published to nuget.org (#5951)
• 0fa0feb allow add_expr during pop
• b0dce5b remove debug asserts
• 2f63747 #5778
• cebbc71 #5778 ensure else value so that defaults align across equivalence class
• ac2523a Fix null ref on access of Entry[] contents (#5947)
• bd70c79 Update target_arch_detect.cpp
• a5d588c add example for #5933
• 053cb72 handle return status
• 4f6811a with simplification
• 05ec77c revert
• 321745f #5941
• 03a2d9a fix #5942
• 46cc54f outdated warning
• 3427215 add stubs to control memory usage
• 4b495e4 nits
• d0ef594 nits
• 25feb0e #5938 catch also rewriter_exception that can be raised on cancelation and memory pressure
• ef28f0e #5778
• 2fedcbd #5778
• 229ea56 #5778
• 97115e5 #5778
• 4cc3327 #5778
• c7922d6 #5778
• 81084b8 #5778 #5937
• 5154295 #5932
• 28e9458 break self recursion #5937
• dd27f7e #5935
• b0605a9 Update nightly.yaml
• 431c3af fix #5929 - add parameter bv_le2extract to allow disabling the disassembly to extract
• cb1e16f Update nightly.yaml for Azure Pipelines
• da00dee disable arm
• ae07a53 Update nightly.yaml for Azure Pipelines
• ff97120 Merge branch 'master' of https://github.com/z3prover/z3
• a9a8432 try add ARM path for MacOS
• 7bb969a Fixed problem with registering bitvector functions (#5923)
• 3828130 fix #5922 use 0u to help type inference
• 0bf2875 Merge pull request #5921 from Z3Prover/jfleisher/nugetpublic
• 42da976 Continue on error in GitHub tagging
• a4af26e Shorten public feed to Z3Nightly
• 32233e1 set default to true to avoid regression failures
• bb4a2b9 remove project from public/org level feed
• 365b8f3 change default to not include auxiliary functions in model as this seems to break fewer'
• d790523 #5917
• b8c61ca continue on error in deploy
• 3ffc3c2 continue on github tagging error
• 1ee3de5 temporary workaround for build
• d9e93d5 revert to buildid in version number
• 13a33a3 fix authentication input
• 16f4795 Use camel case service name
• 7bf2df1 Update nightly nuget service connection
• a24a922 fix #5915
• 8273a20 test publish to public project feed
• ce04c16 Jfleisher/nightlynuget (#5916)
• 815c971 #5778
• 4b14192 #5778
• 9011100 Update .gitignore
• 20bd59b #5778 - missed tracking literal assignment justification
• 00608cd notes
• a418678 increment version number

This list of changes was auto generated.