MyGit

z3-4.8.12

Z3Prover/z3

版本发布时间: 2021-07-13 23:11:44

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

4.8.12 release

Changes:

See More
  • 805bb5828953c65560856e056710a44a0fb8bcfc fix #5404
  • de8b2041e6d09d86a243831db49c8b57bef7700d make bpp work with nullptr
  • 4c53655be7543555936bf6ded5a4c915a1c9c874 add z3doc build to release script
  • 2ccfb1937de2bda061b2f869b61d1ac3ac5c9e71 na
  • a4f4975092030837f3e6bb2a8df162771dc6494c #5336
  • cab107651459ee74d7a7cf90cafcbb76bffaa2a2 #5336
  • 18a76ab82c29a2777674499c3efdf0e71f477fa5 #5336
  • 10ad5bae216e1f6df8d6d6a6206964afa1b7a469 increment version
  • e05f5ef6d14291a83a3f7df6afa04de6a6cc8033 na
  • 5fac396c2fb0ae8d9df350cb36cd3cbe00bc2947 simplify some verbose trace-stream
  • bc2e6ce037a947c449ae291788924a2b0ff41e1e Update release.yml for Azure Pipelines
  • 66fc98015493d6506439e0e0217f353257e59cc2 add helper axioms for int2bv #5396
  • 34885562e0debe961b73935c6d02e71d6628238d try without #!/bin/env python #5397
  • 0f8d2d1d51b814edda853dacd8a7b88a45fad33a fix #5399
  • 2973d3bdc1fd01e710f312e15508445a9716ce3f fix #5392
  • 897cbf347bcf73ac986d50636b15f09968130880 fix #5381
  • 29c6d423806346b75724d94398e92bfe80730442 is-char is overloaded #5389
  • 4f184b6aa9d42da757fba16cf7e5dd7882ed54aa fix #5376
  • c2595b9bc80ef7b3d9c9d864541bf6c28f91989d #5379
  • af5b2a417917e162086691b46bed37758f4f4ee8 #5376
  • ca05c668479d25cc5ae8496b068de16a988e3d91 #5376
  • 8a33391708b282f93d0418ea0235f56a1e6fd265 Expose optimize.assertAndTrack to Java (#5387)
  • 0c7625cd26fa14188f3d3300622c8aec4ecbf369 Remove size argument in OCaml's Z3.mk_re_intersect (#5383)
  • bdcfba1324ec834bd194d28f017798fdbb390322 use sort* not ast* #5386
  • 2a8d00d8152a433b736d133fd599529c58d6e42f fix #5378
  • e5aa02b8f5edb862c7492ac93cee8d21f7f6ee2d fix #5382
  • 7255a2afd1cf5896dba2e49cd3a570760ad5fa71 fix #5379
  • d5c6abe14d3edc18667e5828144816ec756289fb #close 5363
  • 55daa2424c192dcf19d05c955db1abc9ab6431fa fix #5362
  • f3737f68310ef101922fdc2e0ca607528612968b #5361
  • 161d38397bb5107d45d12c6d38c3475eea587c76 In src/sat/sat_local_search.*: Changed the return type of constraint_slack to int64_t instead of uint64_t to match the m_slack member of the constraint struct, which has type int64_t. (#5360)
  • 45228bf8fb2c3bc07abade538b8f5d64f4a3a067 #5323 heap use after free
  • ed9341e3b017973555f18dca4a2d218f8501efec #5336
  • 02644b5b7129f35df0d5ea7225e8711e1bd33fde #5336
  • 8d37495b7c83f749eec8a4c33b7c51b82c1b0e19 merge
  • 4a0a678e3f8c01dd8468133e594b71b2f9984512 #5336
  • f7d1cce69a8dc1fc3a90bf325984a38329481b0f #5336
  • 2138ef2ad05bacf3bc488364d7f994d927e289cb build
  • 93a4939d494aa415c1c1092546f63fea50aa622a #5336
  • 2174bccdba73e9ab27adf594378ad5029194e63c #5336
  • d016cb1da5768317193237982fb5be2956a02851 #5336
  • 9038dfd30de27770672d790f58bea7f64c97667b #5336
  • d73ceaddc729fefc37cb86fc9a384c4e6dcafcc4 #5336
  • 0b3a8522ac20e91bcf5d667063a5146d901ab23f #5336
  • 1dedfe31649866a0d458d5eef587a5bec73f0ebd #5336
  • df9084ba23ba03e2d57c66c7a053295a37c23eff #5336
  • 3311bd074f979345b386301f3e04a305c5e0a32c #5336
  • 6b5680f13e27bbc54b288f937358e5bc4097b4ce #5336
  • 38fc97d18c18fd152fe112d4dc7d34d58c9e80f6 #5336
  • 29a2838bc9a9d9667faf17497700a26d9e9f5523 #5338 #5349
  • f95d0b721665bcf92e7e560036d8ce80ee7f8388 #5349 #5338
  • fbc3aa93a57846a4eb06c2f12a3e0d6839fbe875 #5336
  • 589f99eea9a2cf019ecfcedc9f91925e78762053 Fix Flake8 violations in Python API (#5332)
  • d61d5081a2f195b10b90165228429a4da4fa9803 Delete unused NuGet release script. (#5351)
  • dc6a8fde34d62492853a28979b287cc15c62bd8c fix #5340
  • 9c6b29164dff7b42683ce3b84b0c9c9adbbf2b08 #5337
  • 206d7709d335991826bb7dd4c607f58aa9507c38 Update README.md
  • 082ec0f49988712c683b1737356e27f2d6416455 #5336
  • 08b4c4ea1403e82dfa56e02af218b58547727dc0 #5336
  • fb6cd8e1320197d36d0ccdb6dfb2b2d5a29ea73a #5324
  • bdf6a17b892fa6f07166ba5cea4753383f479d13 #5324
  • c6f0afa008b2aef5bbe16d11813a6e3ce459726e #5324
  • c1ab7987f62f2ed969d8ba3a211690430988e5b7 #5324
  • a60295020b243f122bc36d317bd15c1926b1810e #5324
  • d8905885ed1cc7694f03d66bdb2dd78daeee2b9b #5324
  • 5d3f48cc8d598508e1b56b265b31f702f4497311 na
  • 3a5b88e52b5dbb0748b5ae30310d1d525860d192 set status to CANCELLED on the total_iterations threshold bailout
  • b1002638ab05c519fd2933733326d4b067d47a2e #5324
  • 9989ef65539d1fa5cc2a9941cb02a96773f38370 #5324
  • 92ec81d1085f861bc296cad95f21eae2351a8172 #5140
  • 3da9d91866fa18aee1281a1ea6d2d7ab55589740 #5333
  • 73bb3e4352a36b8f0861a96d20ef721708dc1930 #5324
  • 29ac26eab3e0db9c61ce708625f670f9278e8e5a #5324
  • 34fc0cdd5c85e9b851ff535ff485c7e70a7c586c #5324
  • 9afc59d5b45fc7f22f192e7105f4701ed1f5ce80 #5324
  • ed49c1eae3667b7c02304b7e77299be33e77117b #5324
  • c388d99c355451eaf22b98c81b97db0d9056450c #5324
  • eed87807c5a7efaeabc67544a30671157c88c673 #5324
  • 1935e8696673371077b49f109143b3c24163aea0 #5324
  • 6f56d87694952e983afe7304183dd4193a38d73e #5324
  • 7cd901019f38c5cf3fdd68e323fed3293704a20a #5324
  • 71ff987f6b2cc46756525ea636aebe05a23f9f9b #5324
  • 82e481f6d9876a6e0c39704943c766b9c52dd363 #5324
  • df95ed64e0db5b38b9541ac968a0e00fe7e82c36 #5324
  • 1fd6b66ecc4b17fba5972d7d3b77c58a79b6d52f #fix #5328
  • 85b672ee85bf79b4f215366f2f5b74690c0a6a8e #5324
  • f920079aacfe272db89b7efcc64a3d2ddfe0386b #5324
  • 08e7de3c0994bd3b48b086ee62af4a55faeb278a #5324

This list of changes was auto generated.

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

1、 CodeSignSummary-0994a540-745a-4829-a2b8-0cafbea6b77d.md 383B

2、 CodeSignSummary-0eca9bff-b4bb-4dfb-87e7-01965bd3c2d4.md 383B

3、 Microsoft.Z3.4.8.12.nupkg 27.29MB

4、 Microsoft.Z3.4.8.12.snupkg 34.18MB

5、 z3-4.8.12-x64-glibc-2.31.zip 42.22MB

6、 z3-4.8.12-x64-osx-10.15.7.zip 33.27MB

7、 z3-4.8.12-x64-win.zip 46.74MB

8、 z3-4.8.12-x86-win.zip 39.73MB

9、 z3-solver-4.8.12.0.tar.gz 4.24MB

10、 z3doc.zip 9.32MB

11、 z3_solver-4.8.12.0-py2.py3-none-macosx_10_15_x86_64.whl 18.2MB

12、 z3_solver-4.8.12.0-py2.py3-none-manylinux1_x86_64.whl 31.49MB

13、 z3_solver-4.8.12.0-py2.py3-none-win32.whl 31.41MB

14、 z3_solver-4.8.12.0-py2.py3-none-win_amd64.whl 33.89MB

查看:2021-07-13发行的版本