z3-4.13.0
版本发布时间: 2024-03-08 03:21:18
Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)
4.13.0 release
Changes:
- 3049f578a8f98a0b0992eca193afe57a73b30ca3 add download of Arm64 to python packaging
- f9ce332b54332460d8705279127f9b2982af9db7 update release notes
- 6254844e2d86edf9515a2999c1dc566966a577dd update release notes
- 7b7084d3731945f3ed3d696c7cfd13c34e9f8704 Add LinuxBuildsArm64 to python wheels in release (#7155)
- e873664fe804ac5bc3831340928fa40d4816887a Downgrade arm cross compile toolchain to glibc 2.34 (#7153)
- 364da191223cf49e5b18fd4cb30ac9193e23555b remove test
- 620efbb67b6c43457620daebcce7faac92baaa26 add aacrhc
- aad8cbdd9d26b3c2b73b376bf8da7c78420f6cb1 Add LinuxBuildsArm64 ci azure-pipelines for testing (#7152)
- 017367d7af4b834c5062ceeba95668abbbcf2fa7 Handle cross compile within manylinux (#7150)
- e8c8d8aa7dca9cfa48b3c9b51cd2508d17fc9931 Put in workaround to rename manylinux_arm64 to manylinux_aarch64 (#7149)
See More
- d6f522e205a03f5d6c59fa415cf59d182e2b3e84 na
- 531bda39ac7f97656c831b1b6ed18f1ceb232ad5 fix alias bug
- 657aaf9a0fd9d6e427aca3f8228e77fd3472927a na
- 8679c08010fa180e165dbdf658ed09e8a5304898 fix test
- 22616da63bdb2c43d8dd9644ba1fb1f09a8a54fc updates
- 5be8872d6a90e6a4133fab4f25f5d880eff8ee11 na
- dfd5c27fec205f9fd939e6a208dac7ffab73cad4 na
- 803f0f0c65d1be10d684d69f8c36b70e73e59d64 na
- 5455603910da128969dda0fd533806da758db1e4 na
- 9888d87294eb91ace7dee171fd5ab3bbaefb37fc na
- f46c3782d69be9384dab169c0dfcd0786f045aaf bugfixes
- d774f07eb3a2f20e9fb58423aeb66b8b217d0cc9 add eval field to sls-valuation to track temporary values.
- 8f139e862c5a22d59ebc8f0127e1105c7ba04e0f updates to multiplication
- 2590d672f464d96c5777331237e8dcc8dc5c537c na
- 58474df4381b0102a68d778a8a9e1dd0c6253883 na
- 0e5b504c309f189af0840c3bce3071046396df71 remove bw setting
- a328366c7d0a533ac964080660b58ee63cbc1e1b move to single path mode for search
- 8f85df05edd24df573f108b27e6d888a4b270481 fb
- c451e4e50bfc6e1bbd5fd9f61b070463d1a7732a na
- 63804c52962837d33e1fe633ec68e6b0a30d603d na
- 74e73f2b8468ce2e43e9684b7f883f07d3e5a769 reorg to use datatypes
- 48026edd7fe21cdc3bb707b9246cde1e121f77bd move to hide bits
- acc9c21653f438676fb0294ad1133f3e5f001dc2 move to hide bits
- cfa6bd45347ca9b9047dae718e0ca4c91525e9af update python build dependencies
- 5379fabf9de6856b9ce716589a0c189dd0a6d11a include thread
- b14499f2301cba4c47e7d8574ad094b148dc0282 prepare for sls experiment
- cf72a916f8d7c8703aa45605588c0be387c3ec26 bugfixes, adding plugin solver
- 659e384ee716d3d9f70e7730684141b05439950d bugfixes
- cd6382f1c86eb3f785443baca643867a95f629fc fix alias bug
- 9cde4f7e05bfedd8e467044206820d91c0588d4d bugfixes
- d7e419b7ed2ea4df65334767db0ac48ef5ba4424 fixes and checks
- ab0459e5aa8d2b3389813ce5b656c9355f536951 bugfixes
- 7dc4ce8259b6352445601b8103ab121adcbb1ee2 use tuned gcd to compute mult inverse
- 4391c909609d0b03d3ad540e66338cc21fd2e43e na
- 991537836b1ee8b96a00850f6554b4c5a881a0a1 fixes based on unit tests
- 046db662f9ccb1706bae4180931e482f8b9aa879 na
- 388b2f5eec9c08155ef0947ca26d53479cd96739 n/a
- ddf2d283508c056d3270d6f50112662fb60f6cac add tests for evaluation
- 1cf008dd0a4433ed14442822bddd1611ddffac07 updates
- bd323d6fab6dff09642986bda2aa7b5b495f7dbe save
- f39756c74b3736a122ae93c72a805f63fb045084 initial stab at new bv-sls based on repair actions
- 10687082f11c84f0133ddac17f51d5a87d87afce Revert "For many linux build, use aarch64 instead of arm64 (#7147)" (#7148)
- 7694bca5f4938b6c331cef6b821bcefb2dce9a0a For many linux build, use aarch64 instead of arm64 (#7147)
- 77a07bb791361ad9b0a2ba7106e429e96b9c3c59 detect arm64 for manylinux setup
- 4050a43f2f81f11d7474576a02d878adb44f5f4b Add arm64 for linux python wheels to nightly (#7145)
- 57c20be6ebeb9b21276beff145e68d7e095bcd02 fix #7143: type punning in test
- 91886dafcae4d6b2717ae751af38422a2e8d7077 some code cleaning and complexity improvements (#7133)
- 2880ea39719971226e616d1077788288d6107632 convert formatting tabs to spaces (#7140)
- c67200ef72e42b2b3b9f72f46674ac433fabf8bb update versions
This list of changes was auto generated.
1、 CodeSignSummary-1c4708cb-d675-410e-8101-e154cb03e1ef.md 386B
2、 CodeSignSummary-6a432b08-de31-48b5-a184-2c4765968221.md 386B
3、 CodeSignSummary-9301d9a0-0849-4db4-9981-46e7e3875dc7.md 386B
4、 CodeSignSummary-fa15d05e-b828-4ecd-b332-7a65d35ccfe5.md 386B
5、 Microsoft.Z3.4.13.0.nupkg 29.37MB
6、 Microsoft.Z3.4.13.0.snupkg 41.8MB
7、 Microsoft.Z3.x86.4.13.0.nupkg 5.68MB
8、 Microsoft.Z3.x86.4.13.0.snupkg 38.3MB
9、 z3-4.13.0-arm64-glibc-2.35.zip 46.34MB
10、 z3-4.13.0-arm64-osx-11.0.zip 33.17MB
11、 z3-4.13.0-arm64-win.zip 50.55MB
12、 z3-4.13.0-x64-glibc-2.31.zip 46.21MB
13、 z3-4.13.0-x64-glibc-2.35.zip 46.34MB
14、 z3-4.13.0-x64-osx-11.7.10.zip 35.85MB
15、 z3-4.13.0-x64-win.zip 55.48MB
16、 z3-4.13.0-x86-win.zip 49.43MB
17、 z3-solver-4.13.0.0.tar.gz 4.62MB
18、 z3doc.zip 9.83MB
19、 z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_arm64.whl 25.89MB
20、 z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_x86_64.whl 28.71MB
21、 z3_solver-4.13.0.0-py2.py3-none-manylinux2014_aarch64.whl 53.01MB
22、 z3_solver-4.13.0.0-py2.py3-none-manylinux2014_x86_64.whl 54.65MB
23、 z3_solver-4.13.0.0-py2.py3-none-win32.whl 52.86MB
24、 z3_solver-4.13.0.0-py2.py3-none-win_amd64.whl 55.67MB