Skip to content

z3-4.13.0

Compare
Choose a tag to compare
@jfleisher jfleisher released this 07 Mar 19:21

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

This list of changes was auto generated.