github Z3Prover/z3 z3-4.13.0

latest releases: z3-4.15.3, z3-4.15.2, z3-4.15.1...
18 months ago

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.

Don't miss a new z3 release

NewReleases is sending notifications on new releases.