MyGit

z3-4.13.0

Z3Prover/z3

版本发布时间: 2024-03-08 03:21:18

Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)

4.13.0 release

Changes:

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.

相关地址:原始地址 下载(tar) 下载(zip)

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

查看:2024-03-08发行的版本