z3-4.13.3
4.13.3 release
Changes:
- 54d30f2 add _0 to platform tag for pypi
- 6e3b99f downgrade to macos13 in builds until fully supported by pypi
- b268b56 update release notes
- 00f1f1b fix typo in setup.py
- fe71b75 remove : from setup.py
- 5dc1b1a remove hard-wired osx=11.0
- 48aa2f6 setup python dist to remove internal build suffix for macos
- da614c6 remove m_level attribute, use s->get_scope_level directly
- 6bd46b0 fix #7363. Replay relevancy on unit literals that are re-asserted during backtracking.
- cfd00ad add slice solver option to command context
See More
- 8a95dd4 A slice solver option for interactive use case
- 0fec7ef micro-tuning
- c6cd25c mico-tuning
- 24d7b05 refactor and optimize git operations for commit messages and failure analysis (#7412)
- 2ae4ac8 fix build
- b60e1a2 fixup variables
- 969511a fixup std-order / inv-order
- 66bb310 reset before manager is deallocated
- a98c925 optimize var_subst
- f5db6bf install Julia for macos build
- e58eb9f fix indentation for mbp
- 3586b61 remove default destructors
- b170f10 reorder template definition
- 6dec943 Bump docker/build-push-action from 6.7.0 to 6.9.0 (#7408)
- d686e92 disambiguate
- 93ff89b add == for const_ref and ref to disambiguate equality.
- c7af973 fixes for #7402
- 328616b fix build warnings
- 8c39863 fix typo in arch for setup.py
- 4cefc51 add sequoia to os versions #7407
- 19f63cd add sequoia to os versions #7407
- 86b9718 fix build warnings
- 551cc53 fix un-intialized variable warnings
- 2c94a3a fix build warnings
- 7da58b9 fix build warnings
- 30b4fe6 2nd attempt to use uniform java library location under bin #7406
- b65afd4 attempt to use uniform java library location under bin #7406
- 5413018 Update euf_ac_plugin.cpp
- 826835f fixes to build warnings
- 2ac6f8b increment minor revision number
- c2b2626 remove --java option
- 2123d38 Update nightly.yaml for Azure Pipelines
- fc1c6b4 try to build java on linux/arm nightly
This list of changes was auto generated.