• cf6486f990dfa638977bfcd17d6cffd2c735ad34 bug in flatten/and/or introduced when skipping sub-expressions
• 4b5ee91b442d2f22d410c6c0fedb802ab0519013 na
• 09ee60ccced6c419dee472b31ce75317a83485de update comment
• 9d82c1d8a9a350341ba2f0a00bbc3f3f201c5ae9 fix deadlock in scoped_timer destructor (#5371)
• 94a2c91f397c2c155fdedf1c1cc75b6532f62e5f fix a few compiler warnings
• 1d9aad6ea9df35e939e34558b43a5a24eb823e19 improved regex merging avoiding unsat nontermination (#5728)
• e0d6e04493006d82758a9f393853dc97e82a533d fix c++
• 7a6070506dfe6f05a03e7e9ddf0166640b5d69ab #5727
• f01d096fb583bdc7fa46bc8f9db6dc5ffd706cab fix again
• ad91748b5f38ae46b5a5d84c1b2a8a21dd0ad4df Merge branch 'master' of https://github.com/z3prover/z3
• 83b47f1859cc596e20719ca8e5a6ca1a1c29f393 fix #5726
• be38b256c88052d4b62f308880631a6480359019 fixed bug in is_char_const_range (#5724)
• 25d54ebb403323de327d1394292bf110af4f348f fixing regression of issue 1224 (#5723)
• 4b813bac1c82db0bf6fcc074980ea93d72a35e1d na
• 6a039c2700e8e5ca04a913835fc3ab560cab0e84 Update z3++.h
• a7b1db611c62fd64aa7aeb1e108b2962f6611933 State graph dgml update and fixes in condition simplifier (#5721)
• bee742111a822151c3f47ef8b1c0fb1f19f2b189 na
• 7441bd706b89021f733fe7cb3dc6107badbc2a58 na
• 85e362277c251a2421452c29199b568d126ef52f Update z3++.h
• f0740bdf607520ae1d687e45534421e7a7a5ce1e move user propagte declare to context level
• 4856581b68d63929d8913240c9ce25360c0fba8f na
• 8ca023d541b3a80fc1fcd8384dcb3ed9f71990fe expose propagate created
• e1ffaa7faf1cdcde8e5a42769c5205121fc09e65 na
• 9c8800bdde04044edfce8d43e00693d5f3cd7d6e adding a new toy for Clemens
• 696345170410c79640f347948bc7126c41081ce4 na
• 59742004448c83343923040c06c7e1ed41e45614 fixes to previous push and streamlining
• 4e82a9af5fadb984aa18e0da885f631275a71bc5 pin expressions
• 6cc9aa356296f594a7d79463dd21b563f81c199f prepare user propagator declared functions for likely Clemens use case
• a288f9048ad48275cb78ccf87412bb1fc3c06638 Update regex union and intersection to maintain ANF (#5717)
• db62038845213e31d36f18172499d0fa42d52b3b Update nightly.yaml
• 4641a20f4fea6f23dc25be0d463615052d3cc13d #5700 - Add download x86 as part of release NuGet
• 122b0fec0f873c69db421a6ec0ed935dbaf82069 fix #5710
• a0999723543fab1efb1314b577e31752e5b95d3d fix #5714
• dd6a11b526426579133d5920d9c9ed0c34ec3632 fix #5715
• 2caa7e6e454fdb01236421b66b08561b5ab60029 remove EnumToNative as it drops reference counts, fixes #5713
• 2be93870c86761dd5bd3df93a8b92f1ddf94bf24 Cleanup regex info and some fixes in Derivative code (#5709)
• 3b58f548f73f56830e75ea5ed8586b30893201f2 remove dead code
• 03b5380a204179b479799c28f648abc4c3c707e2 na
• b1d167de5bd0aea754ecf881ad8cb85329d03e6c fix co-factoring'
• 5348af3c4c1828c682071cc54e388a43a8360189 fix co-factoring
• f40becf0999b6a61d8f41edc4548bcc4c61ac20d remove case for non-emptiness to combine with standard membership [ #5693 ]
• b2af7ea68fced2ced3bd9f23fbcbe7160f920cae stdout
• 9ec0f94ab9b1ecb6e5cf95b0bc0e010bc28b86f9 hoisting out blocker for empty [ #5693 ]
• fcdf8d49485c63e8c8ecda3d0a488f92c62055da include atomic
• b85f2f7e865828ba2f52efd37c1b399bcc2208ab #5704
• 0a7e003709ec46ddb8793f660c5f5bb6a1928d09 this one is for you Nuno
• 96e871c826fe7708ca8cd0061d38599bdcbe5bed add stub for testing updates to scoped_timer
• 0405a597d4b7c3997fa0aa2e670c808710093974 Fix return type of as_int64 (#5703)
• 51fa40ece5b52fef5d44ce16fad37e1e9d49bf1e fix spelling
• b69ad786f28fe222ff8f0cb4e8814b428624805d na
• e45ae326857aefeb711c2655f20ba93519bfc5c2 unsound equality propagation #5676
• a5bd1152355e93fb1fde2e0c8e74279f87b20ad1 replace_re axiom placeholder
• 773a2ae7bcc10564cf83ce97e7d150027ea7c5e9 na
• 60d5a004cebe112ce711a2055c800c9d4621258f na
• 04906bd957ae5076229509b55a928e8033889883 na
• 36f510553a91cd07fe24d531d52f96adc0d7b5aa na
• d74ff29c25f16f85b71da21630446dfda6672184 na
• 9f2b18cac514c9b79c0f7d0da3e96ecf5680ac1c add tactic name
• e3bd5badf2854b1c258861188efc2883c0419065 pass through for unary tactical
• 1e95fb44d167049ebdbe08a0f2633f5d119135cd add ability to register expressions during callback
• 50d50cdb481d243869194ea93269b71b58fec98f register forbidden functions with reduce_args for user-propagator
• 658a334ecf5a06553ad16d2104440e892b31c31c clear tactic user propagate state on solver destructor
• fdc253afddbd31e26114fdeaaadd8e4b8cf77297 update arithmetic contract for unbounded (#5696)
• 9b4f3a7075e8dd3d9bc3ce248753be0459a11731 start using lar_solver::is_feasible() (#5697)
• 7758b519bc093e37f70b769f90e36e7d76163377 Handle correctly cancelled run (#5695)
• 0242566792d858275b39175936ad35e1faa22c63 remove
• f0e9363e78f8283dc80b21642fb996f80a8ecc85 fix bug in smt_tactic_core for translating user-ids
• 0d055b83eb6d1ed47805eb74d8e761efdecab027 update input for doxygen #5400
• c845b22c15dd0b37524bbc71161dbace4df02d4a fix translation for equality propagation
• 1b0ac4940b9be79435153b94d6ea29f27fea62ef prevent stale user-propagators from being used on the same tactic after it was applied.
• da765355e8e15f7d2dbc4d693adde587b907fd71 don't rely on cleanup
• 3d528c8ef6f2de56d704d0e03d7ad224164c432d typo
• eae567ac3dccf1523b45ee3c22283995e3d47236 indirection for user ids
• 68b072e7f147738c3ab3431ae1398cc6dba3773b only use setup_and_check if there is no user propagator set.
• 1618c970dfcea7001df22a94e2a0bec06d973de5 adding checks
• 970347e797ee96cd3142d67714aa0597b0e19cb3 infeas
• 0077ddf33c5d00b19487dc0529ffdc0c6052fe23 try delay init for user propagator in smt_tactic
• 41aa7d7b60913ec17a50df8f998d2ca773070ac8 stack
• bfd61fec00fd9e8568c997dd82cc644d098d9010 enable user propagation on tactics
• cbdd7b06960374fbe2fe355a789f507683ea4d80 three smt2 examples added and one python example updated (#5690)
• 71cbb160d2be95f9d33ce3de6286de4e258afad1 fix regression from today, see #5676
• 87aec8819f887b2957a4da227c35ed54962d1ef5 fix #5687
• c6a5aa0cc4a83a7eab5913919ca46fcdd5c3a239 try th_lemma, update documentation of api functions for creating strings
• 3b4f976118e3dc4b5dbc369e7d50753abd8caa82 na
• 4daba290b15b6e7a064d01a87ab4f072bafc7f06 change user propagation to apply scheme similar to theory_recfun
• 3c1aedf21969810fd9e455cd8e0403454d19c74b fixing #5473
• 9e51691285d08cd7184bb6ad072c097431a49acc add virtual destructor
• b5efb87118bad39bd0145be5992fd8d8e507b599 base -> core
• 959f4c9440d34529063f79a544c3ffafb7b40d9d rename files to theory_user_propagator
• 5857236f2f61b2c6dfb113c2618e89b104182138 introducing base namespace for user propagator
• c083aa82ee4a79711b45378257e9e971ae235258 add debug information in user-propagate #5687
• 1e9e52a58f1614d40ae2a1c321ea6631acf778ae #5641
• d50c4bfcc1f14db5a277fc98f78494e6ffa8403c remove an unused var
• d50bfc6a500b8ccd921990d60b4a1010bb93d3f6 #5641
• 833dd6262376772d1d36db67ea5b8cd8a5cf282b fix #5681
• e8f5a29c31be8a15ee92a2b13c4b9d40be7d0f15 fix #5679
• fee4821106a9468a514828b7acda30e6199b6d6b include thread
• a7d24788c398614c54ed200f97b1b0f24c6267b7 wasm build issue
• 741c5f43f452271b020ef67387906696e74ffc76 Merge branch 'master' of https://github.com/z3prover/z3
• ca2c2bb802ffb7f1d25f8ffeabaf69a96c02167f ensure smt2log works with multi-threaded consumers, ease scenarios around #5655
• 4928c28e63e0d3844ed08f4d6dc3bdc3c344856b fix #5675
• 99d5215956fc8bd52bb4cc91bca829a2a8761a21 revert use of f format
• f83367a11ec852a5e48da4992140bdc819961538 mac builds
• 518ef9f9166a8aaafa58898b17c151424bfaf0d0 fix #5674
• 4587575649f0f92757eade3bb4eb130569f50307 if you read this commit message you probably are a programmer who has no life
• 43a827c931eb496913eb54e1d5d9837894a88567 Update release.yml for Azure Pipelines
• 71d5d2486c2894dfce13eda291333c4498100077 Update release.yml for Azure Pipelines
• 72f28f06e4d209c819741b6b97b85e728d9ab923 Update release.yml for Azure Pipelines
• b95ba89dbe94f9c3822aaedb7d36e05065420541 update release pipeline

This list of changes was auto generated.