z3-4.8.12
版本发布时间: 2021-07-13 23:11:44
Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)
4.8.12 release
Changes:
- 3a402ca2c14c3891d24658318406f80ce59b719f Update release.yml for Azure Pipelines
- 75a5de99cae69f94bf12716342e0576b5f14b2c3 Update release.yml for Azure Pipelines
- 82e477ac02449f8d4aa3d7ceccdef1ae2441d912 bounds
- 0752b1385c090a2aba82bc47392402943917a9be add length axioms
- a49a5b3a0b23494e01881b3642956b2979d2f335 add release note for 4.8.12 prepare for addressing #5406
- 34677e0e7c05a198707843fedfba318d4e69450a fix update of bb
- e5c5caea450a71abaaebb94c1145fd9d00f506d2 add call to function
- f74adb1ebde0d5e5e8bdbebaa172c3befd22d049 ubv2s step3
- b6a3891ac4320418b814d2d2cde165813d624ae5 str.from_ubv step2
- 1bc10cebc54d2a53ccf9ee5fb0b66530310780d7 add ubv2s step 1
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
toint64_t
instead ofuint64_t
to match them_slack
member of theconstraint
struct, which has typeint64_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.
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