• 32614722efac9e9386c3cfa35fa35e0ec9783af3 fix #6176
• 1b83a4556b9e5e7d6375129bbf2fce4955a6e8ea fix #6178
• 5b219aab76a7443687d4a36846eaa80e43dfe348 add mutual recursive datatypes to c++ API #6179
• 2e13c0bf4162567df007c27b431030ffdb761691 add API and example for one dimensional algebraic datatype #6179
• 81cb575c22b01ba376d2ec6d607481686011d9ee simplify
• 2e5202911427061541de9c9fae7d7627e2f49512 add command-line overwrite capability to setup.py
• 2c8df54b70f5456efd0b2c3f4917d2b314098f19 enable fresh for python wrapper for user-propagator
• 914cfca24bf1aba5ec6071b332274d99471372d3 updated release notes
• 111d27cbee66c2a24c590a50209591bb9323fb5f remove dependency on pragma
• dead0c9de230dc9ea03da8dc01d4b62f8646f261 reverting relative path
• afcfc80c4260db4041891ff2e7dce2be46a21efd the relative path seems out of sync with how it is set up in node.ts
• 7f1893d78175ee64bce836eb15a5daa9771a620c add missing MkSub to NativeContext
• 7ded856bb14692c7310f62f89d167f76334fb0df script to test jsdoc
• 393c63fe0cc5afe1c32b2a46f154d8e0bce267e6 fix #6114
• 527914db05d80da4d0a070485ddd87720f514c66 update documentation to use latest conventions
• b5a89eb4abd2ca62a37958ba5f394cfe47b0a1da add missing generation of z3.z3 for pydoc and add some explanations to logging function declaration
• 95c3dd9224b538b940dbb9d91f0ae7d42f3f70d5 Added missing decide-callback for tactics (#6166)
• 6e5ced0080671da5f3a8661eb7085e7f08575e81 optimizations to api ctx ref counting
• eb2ee34dfef58ad3564c0e0d36395957f641e21b fix typo
• aefd336c186ce35111c77bbea8009292c6982d7e set OCaml default behaivor to enable concurrent dec ref #6160
• 6c5747a80e6853ad54449dbb188d277a499b0798 guard against lemmas that are already true
• 4ecb61aeaa29984eb23cd62e9491bd3fa447b0f3 neatify
• b743e210f8e2be03150032b5be07540818fa91d3 give java dynamic lib a chance for extra flags for #5848
• 2696775088d709e456a263fd4a92852932e12ffc remove stale assertion
• 6688c1d62a111d35291ab11bd0101d6a911961ab prepare for #6160
• b29cdca936e7dc7efebc17f5430ce74f342ff839 integrate factorization to Grobner
• 7c177584f31e9b2f0aa90d64338deb8b6c755e1a add propagators to grobner
• af80bd18ce10daad8c2ae6715629b657a10ca9ae Flush the trace stream before displaying sat results (#6162)
• 2f5fef92b7210c5465c3ebb8cebc2158ca835e1d Cache param descrs when modifying solver params (#6156)
• 4a192850f2ece0a1a714420820566419456a2335 add var_factors
• 981c82c8147d0b15d7791ea12d9b63979e365b66 fix initialization order
• 894fb836e2c4cf47f23cc9e5ca809ddc547d1595 fix build break (debug assertion) and isolate gomory functionality
• b253db2c0a11afef809645149e8e2b7fe7baf2e1 redundant parenthesis
• dec87fe4d970d0b59480fe85773bbaf177566137 fix issue with set-logic for eval_smtlib2_string
• 1378e713ba9cadfb1cc36fa5d114e2f038c4516a fix #6157
• a3eb9da1913217b0dc8da4a7480c948cde9976d4 fix #6158
• 8e23af33d761d5268d6698efb63287ece02c0554 fix build
• b81f70f6fcc7850369c3131ebc11a4ffca9da393 split nla_grobner to separate file
• 7d0c789af0f8678af445ea53b5fc6a31569ef78d propagate has-length over map/mapi
• 8900db527fdf76275c98d81901b90b023cc0e9ec add diagnostics for grobner
• ca80d996176f26fc171b2a131d7dcf6bd112a38d fix #6153
• 43cf0530664ba62e77e590b56133b07d463a1f6b fix #6128
• faf6c02cf83eadd94b0565b9dc9682d114a5fcb5 remove --js from nightly and release doc builds as the npm run 'check-engine' fails
• d5779bf99c49ff264ed0ff30f397007fe16c95a4 handle trivial equalities in simplify_leaf
• 4dc88f0993dbe1d118b3ac3c4e553e3398c8dda4 add --js to nightly and release scripts, nb @ritave
• 2e797045fad7fd4ab9427599e5dbcebbc69f1c39 remove space
• 316ed778e0de6dfe8c8ee7144db236632d035766 Tune Grobner equations
• f33c933241640396065087a5485aa42240f2e36b Add substitution routine to pdd
• 5c54d6564b93d9d345e10303bcb03f1faf2a7c59 fix #6143
• 8b29f401523e350caa75e3993942a654340260d7 Fix build on Mac (#6146)
• 49b7e9084fa4fa0eff5ba1d1e0919ce692626894 Merge branch 'master' of https://github.com/z3prover/z3
• 7ae1a338a7917c3dd944aa09e222b818c895c281 parallel-tactic: fix deadlocking race between shutdown and get_task (#6152)
• 99212a2726d2d1de8ba5d404d89bd9643983fc0c Use int64 for ocaml api functions that require it (#6150)
• 1f2346073a79eb144199fe4c4c389dac16f5cba0 Fixed missing assignment for binary clauses (#6148)
• 9dd529bb126951c582aa8c832ea86d6b82754a9e missing initialization of List for cmd interpreter
• b68af0c1e590c5fdd8543a5deaa99f90e4407a77 working on reconciling perf for arithmetic solvers
• 9d9414c1110bc65108202cdcc473c703d12b54f1 inc version number
• 0c42d3b079483bb449faf36864a32e5a71093942 small format update

This list of changes was auto generated.