z3-4.10.2

4.10.2 release

Changes:

• 69b1337 inc release number
• 2a8e73f Merge branch 'master' of https://github.com/z3prover/z3
• 6d71d9e update coding style to C++11
• 1eb84fe Mark override methods appropriately. (#6207)
• 8e0d9bf Remove remainder workaround for pre-MSVC2013. (#6204)
• eba29a2 Use std::hexfloat more. (#6203)
• 75339c6 Fix doxygen warnings in C API docs. (#6202)
• 7823757 Enable more tests on non-Windows. (#6199)
• 44100a3 CI: Fix Android NDK home environment variable (#6198)
• ee80414 sketch initial for mpz/mpq numeral creation

See More

• 9c35971 Update RELEASE_NOTES.md
• 8551b21 fix #6194
• b6c80e8 fix #6193
• cd7ef11 add decide callbacks to propagator API
• 3e8daa5 fix re.range symbolic argument bug in z3str3 (#6189)
• 63ea7bd Revert "Bump docker/build-push-action from 3.0.0 to 3.1.0 (#6192)"
• 32bb60e Bump docker/build-push-action from 3.0.0 to 3.1.0 (#6192)
• 70895b2 Improve intra-doc linking. (#6191)
• 43f2b84 fix typo
• 5c2c0ae force-push on new_eq, new_diseq in user propagator, other fixes to Python bindings for user propagator
• 3e38bbb Make sure all headers do #pragma once. (#6188)
• 3a8eb1e increase version number
• 1155ea6 add await
• 212a065 try .ast
• 7c0ec21 try to add basic expression simplification

This list of changes was auto generated.