• e6e00d894fe2ebcfdb0be06558dba4b14d3e853d update nightly/release scripts to produce arm64 for what is tested
• d9f3625f93cb7989962e42faa0e968c006bb9034 change default output to print objective value
• e3c35840bb67ef1bc4c42699d305ab4ac69b4778 remove out
• ec57d3b15c0e0f3a7192bd3c0213a9ab3b8a7084 missing switch cases
• 5393f1d98fb3aef28ffed2694c43821d64c1ad66 #5980
• a180254c1a7b220d77175557c5d832a5063c4e65 fix #5980
• b7169e2a41121a979072d3f17075b2f0604e30ba fix #5985
• a1ead5f47d4f596f7f59202cf6f8752c8e165b2a #5986
• 9b66d8600bdb527098792efdb00f154f39e1a067 add shortcut to serialize/deserialize based on question at FV hangout
• 09b0c4bc9db7548674b65357f3bbb5939c1ec289 fix #5988
• df981666fd4c99e744be145ba4df35c9908ed896 na
• 98c7069f75b19df1aed92087cc4fef34a76c38b7 add rewrite for hoisting multipliers over modular inverses
• c727e2d048ef010983528c8c7e90197f93054ea4 add rc2 option
• 4a59ae41b30b9b0b817f312a0ac2da7162392314 fixes
• 7496f1154249cc3d139f96188183367fa4ecef7b na
• b5309d5fd073c1e056b3ce436c393b28e13afe10 na
• c131eb4db1c03484605c729ec6f6876e4aa5ff2f build fix
• f4c500c5197f559870e1fd78bd52496024493c4e fix build
• 807121aa03161fbd777a4ae57e865a958bb89684 wip
• 8e701128322ed9ea6e9f42573e9346c811099fab Update z3.py
• 11d992a3352e2b1d172af5c3b3e066ce28cd65cc wip: tweak GC further (#5982)
• e11496bc65beb4b15aa7805413254d3c73407cc7 Added decide-callback to user-propagator (#5978)
• 9ecd4f840683e6928cc693b7235de7128321c1f1 MANIFEST.in will now include pyproject.toml (#5979)
• c33611e9e07fb3a49acfd63ab9659169d41078c5 include map for non vs builds
• cc36dd1e0d4d998d62b6f8e8c1807c56699e0729 include map for non vs builds
• 3cc9d7f4438ffb56bb909c8bed8a84c133acede2 improve pre-processing
• a634876180430cf110e9d11691f816cd1f7b96dd sort muxes
• 7d47e45c6b734ce89b511817c3589a382f241878 Add a hacky patch so that Z3 on M1 hardware can link to libs properly (#5974)
• ddbe17d581d9835f9bc57079383eefce2b841162 #5965
• 3f5eb7fcf29dad76498e560826f9474016358027 re-enable pre-process
• c9fa00aec1442464c9cc2ab6f3d2e5c749232b6e expose recursive functions with own op-code over API
• c0b455e01089fdafd2dadd5124d2080dff777823 Add cmake setup.py build dep (#5972)
• 9834d7aae0faf2b1cc9b96c7c20b087f96374c51 Setup.py fix dependencies (#5971)
• 032768b0fc2a6350950ac3065f50ca29eb5495f0 setup.py: copy generated python files correctly (#5975)
• b264e6c2904456beae27ce19ec4997251034e42c Reverted reusing can_propagate (#5966)
• ac55e29a56d78bc0bbba26c7346ba0f45431f99b disable propagation
• eb2dd92d3782f6173558ff3617bd1be701693019 Merge branch 'master' of https://github.com/z3prover/z3
• c996a66da04c882bc47dccacbf3507f1ab56f8e7 separate pre-processing, add callback parameter to push/pop in python API
• b0d8b27f37cf184fe632ec84f19785dc20a9ff80 Fixed registering expressions in push/pop (#5964)
• f43d9d00d4ba7ee040d7e3736a848926a842c082 Z3_add_rec_def body is not a macro (#5963)
• 4f4e9a9963309518c7cdd92a01ae5429533d6369 fix a tiny typo (#5960)
• 0b20a4ebf4b8e3e0188ccbb5dad9b51a88966f04 Added rewriting distinct with bitvectors to false if bit-size is too low (#5956)
• f55b23322860a8e186ae919daa4796ac4850a82e #5778
• 011c1b2dd2bd394ac043668e289bfdabbe2b1f27 remove refs to bare_str
• 405a26c5856ba726c31582eaf51103d01f1b51a7 allow adding constraints during on_model
• 005b8e3cf85d00dd7360d901580aba9925725c56 arc -> arch
• fe834b9e4e5519891da0d053ea9caea4640aaaa5 update regex
• c98eda03f7c834f771f7e5f1ddfc5517c1029dbd nightly osx arm64 wheel
• d6d9b25c6854989afcb2b7a72f92759ec2cecde9 Allow adding constraints in the model_eh callback
• fbd35fb58d333b28208eb9da696aa10824e99370 skip unit tests for arm
• 91ca02864cb8552c837a848e8e681373720f6e48 arm64
• 3821eb4134c977a4a35f57d5384de843d4c2991e fpflags
• f3789e21a349626ae351abd4c1d38a24e57387a5 id doesn't use mk_util
• 67434a309670297b435d230fb054e49f3c8e446d again
• 9533dbaf5c956aee76211b9da5db6b2f49d2259c missing arg specifier
• 746a4161af454a89bc6d4308d73e47c1021815cc more passing of parameters
• cb6aba2315e71c0be80451456a75962512fbda92 more arm
• 79553261d189b0583f68bbbc48fb9fc81f45128f no uname on nt
• 1346a168a1346405a313c2a9eceb2560576f8e02 #5952
• babac78c999437ce7fe5c5c9e9e3eab45ded95b2 syntax error?
• 83d2aa85ec7276a53b8978756bc94e7214b5097d add arm64 build path
• 2e91d6688883552f635c53f0d30469ec65b8f00c Update mk_util.py
• c47bd1d01f8abdd4937f761e0d32e46c61d46d7f add arm64 auto-detect
• 8c2909f52bda61ce2422f6fb6484fa69a651e59d working on python make for arm
• 19531654227522416cd37d48e7407d1ae055ec4b set ARM64 if detected under OSX
• a863a91b130bd0e2a7af2f4ce9f7943df71555a8 Allow nightly builds to complete even if package signing fails - NOT published to nuget.org (#5951)
• 0fa0feb97930a72b550bf0032e57a0ec8d3df63c allow add_expr during pop
• b0dce5b27d063e954ef0ea506c4600a5ddcb6d25 remove debug asserts
• 2f63747c7b8786b2a8ddf255221074fb7a71d62b #5778
• cebbc7133077bcbcc3e10e94851c1b6ced43c2a5 #5778 ensure else value so that defaults align across equivalence class
• ac2523af82c96c7a767a8d4c36432dd38522284a Fix null ref on access of Entry[] contents (#5947)
• bd70c79b255d2c0e43bea6cb256a9251b9b9f5ea Update target_arch_detect.cpp
• a5d588ce0979c5a60b716e88e87249a65beb5074 add example for #5933
• 053cb72cc2b470895524b4ba5ca5ec95ea0e472e handle return status
• 4f6811a6a26b071a0b8dd906fa4fef4b7ebebdae with simplification
• 05ec77cb56b56bec3bc5edcba2b38f1a3dfc9675 revert
• 321745fdb1915a9f0995d0587da441363bcbe03f #5941
• 03a2d9a0183982b8ad412f94640c736a800a59e7 fix #5942
• 46cc54fbabb3e44dce8da329270d7109ba90d1e6 outdated warning
• 34272152bb11c2bdffe6e4d76bbfcf0985499161 add stubs to control memory usage
• 4b495e4b96ac65efe31e241efa8d1a4679a2d848 nits
• d0ef5948aad0e98ce1f07ed750a83169924d173b nits
• 25feb0ebedbddb9c512d86243b292dfc02238af3 #5938 catch also rewriter_exception that can be raised on cancelation and memory pressure
• ef28f0e2f0ab7cbdb5a0c3a5f40fb90f36ab047a #5778
• 2fedcbd41e64335b0c690ecb2ac76bf8a3e591d5 #5778
• 229ea569f1a8c5db6efff51e76b1ab75b8075d91 #5778
• 97115e5ebdcad46bd8cd9ce5fa208cfa645e4b04 #5778
• 4cc33277fae793c07bec850faa2394aa9fbf8951 #5778
• c7922d69acd01895453f5efdc5baf84b2d735107 #5778
• 81084b8232cd9e2ec85d0d96e8d34ce3b16e86d3 #5778 #5937
• 5154295202100d561bc3a1355bb12ac3aeb25154 #5932
• 28e94583da0974894b74a351fe215d44dc680840 break self recursion #5937
• dd27f7e9378ba5df6545414a71338b33a30b081e #5935
• b0605a9d364d4d89e42713dd60baec604981aea2 Update nightly.yaml
• 431c3af4099c51d145be69917f9b0a5b85bb5ad2 fix #5929 - add parameter bv_le2extract to allow disabling the disassembly to extract
• cb1e16fd76dc2f35ef3a7f290a4e0bab10fe97f6 Update nightly.yaml for Azure Pipelines
• da00deead895ccb51ec6c2d637922857b84f0da4 disable arm
• ae07a537640e5ebed1e262727e06f4fd8115354a Update nightly.yaml for Azure Pipelines
• ff97120861f52ced96e6de767a9441828473a9ed Merge branch 'master' of https://github.com/z3prover/z3
• a9a843294e3a80692fba6f7fb346eef7e62f76bc try add ARM path for MacOS
• 7bb969ab52b5ce55bc5b03c0c66e7b6f84bc6ac8 Fixed problem with registering bitvector functions (#5923)
• 3828130791bf8e60038b46b0d6602cb7e43fb344 fix #5922 use 0u to help type inference
• 0bf287551852ebe1b9d238980547102c6a783e27 Merge pull request #5921 from Z3Prover/jfleisher/nugetpublic
• 42da9760f904784c964c2fc2e7f503634105073e Continue on error in GitHub tagging
• a4af26e2f02fe274882f750b5871811db67446a9 Shorten public feed to Z3Nightly
• 32233e1bf1b62afd98407e16efb9df1318e6caad set default to true to avoid regression failures
• bb4a2b97b67abdafe73c89af354e90cc2bbd7565 remove project from public/org level feed
• 365b8f328179da0ceb3545dbafb327bdee0c8b47 change default to not include auxiliary functions in model as this seems to break fewer'
• d790523c592a384933e9120a8900c9703bd74976 #5917
• b8c61ca27811ffed8553f44cafb09db645ae688a continue on error in deploy
• 3ffc3c2f9786b96667dd4b700d839eacc49051d9 continue on github tagging error
• 1ee3de540934a5c47a7ed72a7eca3de1b008f280 temporary workaround for build
• d9e93d5f7cd45923a7fdb429f35712dbb96d826e revert to buildid in version number
• 13a33a3966b364a455aacbdac3e94e25baa2dd79 fix authentication input
• 16f47954c073432895947eeee4c59f9a861cc312 Use camel case service name
• 7bf2df1b7afe4f3fb4e6dbbd6783ec67a8381694 Update nightly nuget service connection
• a24a9226883dd697548f0cc7662e43a6894d2d0c fix #5915
• 8273a20498077fa2dce79539c261d2c563b990ef test publish to public project feed
• ce04c16a6fd099d0c6ba9c6a38873e341a80d9e7 Jfleisher/nightlynuget (#5916)
• 815c971c9ac85669b5f16b82821ef5a1d2d2d801 #5778
• 4b1419261faee8b9b3122f95e54b5ea328529af3 #5778
• 9011100df27d5b8f5984dd8d9b424ecf37b37c6e Update .gitignore
• 20bd59bb20268ba97f9f286b7c0fbd72687f5862 #5778 - missed tracking literal assignment justification
• 00608cd719d608f8cd653a8c4ea32490cc1cce3c notes
• a418678cd43f67e98b97052bf6675e397c6edb00 increment version number

This list of changes was auto generated.