z3-4.13.0
4.13.0 release
Changes:
- 3049f57 add download of Arm64 to python packaging
- f9ce332 update release notes
- 6254844 update release notes
- 7b7084d Add LinuxBuildsArm64 to python wheels in release (#7155)
- e873664 Downgrade arm cross compile toolchain to glibc 2.34 (#7153)
- 364da19 remove test
- 620efbb add aacrhc
- aad8cbd Add LinuxBuildsArm64 ci azure-pipelines for testing (#7152)
- 017367d Handle cross compile within manylinux (#7150)
- e8c8d8a Put in workaround to rename manylinux_arm64 to manylinux_aarch64 (#7149)
See More
- d6f522e na
- 531bda3 fix alias bug
- 657aaf9 na
- 8679c08 fix test
- 22616da updates
- 5be8872 na
- dfd5c27 na
- 803f0f0 na
- 5455603 na
- 9888d87 na
- f46c378 bugfixes
- d774f07 add eval field to sls-valuation to track temporary values.
- 8f139e8 updates to multiplication
- 2590d67 na
- 58474df na
- 0e5b504 remove bw setting
- a328366 move to single path mode for search
- 8f85df0 fb
- c451e4e na
- 63804c5 na
- 74e73f2 reorg to use datatypes
- 48026ed move to hide bits
- acc9c21 move to hide bits
- cfa6bd4 update python build dependencies
- 5379fab include thread
- b14499f prepare for sls experiment
- cf72a91 bugfixes, adding plugin solver
- 659e384 bugfixes
- cd6382f fix alias bug
- 9cde4f7 bugfixes
- d7e419b fixes and checks
- ab0459e bugfixes
- 7dc4ce8 use tuned gcd to compute mult inverse
- 4391c90 na
- 9915378 fixes based on unit tests
- 046db66 na
- 388b2f5 n/a
- ddf2d28 add tests for evaluation
- 1cf008d updates
- bd323d6 save
- f39756c initial stab at new bv-sls based on repair actions
- 1068708 Revert "For many linux build, use aarch64 instead of arm64 (#7147)" (#7148)
- 7694bca For many linux build, use aarch64 instead of arm64 (#7147)
- 77a07bb detect arm64 for manylinux setup
- 4050a43 Add arm64 for linux python wheels to nightly (#7145)
- 57c20be fix #7143: type punning in test
- 91886da some code cleaning and complexity improvements (#7133)
- 2880ea3 convert formatting tabs to spaces (#7140)
- c67200e update versions
This list of changes was auto generated.