z3-4.8.12
4.8.12 release
Changes:
- 3a402ca Update release.yml for Azure Pipelines
- 75a5de9 Update release.yml for Azure Pipelines
- 82e477a bounds
- 0752b13 add length axioms
- a49a5b3 add release note for 4.8.12 prepare for addressing #5406
- 34677e0 fix update of bb
- e5c5cae add call to function
- f74adb1 ubv2s step3
- b6a3891 str.from_ubv step2
- 1bc10ce add ubv2s step 1
See More
- 805bb58 fix #5404
- de8b204 make bpp work with nullptr
- 4c53655 add z3doc build to release script
- 2ccfb19 na
- a4f4975 #5336
- cab1076 #5336
- 18a76ab #5336
- 10ad5ba increment version
- e05f5ef na
- 5fac396 simplify some verbose trace-stream
- bc2e6ce Update release.yml for Azure Pipelines
- 66fc980 add helper axioms for int2bv #5396
- 3488556 try without #!/bin/env python #5397
- 0f8d2d1 fix #5399
- 2973d3b fix #5392
- 897cbf3 fix #5381
- 29c6d42 is-char is overloaded #5389
- 4f184b6 fix #5376
- c2595b9 #5379
- af5b2a4 #5376
- ca05c66 #5376
- 8a33391 Expose optimize.assertAndTrack to Java (#5387)
- 0c7625c Remove size argument in OCaml's
Z3.mk_re_intersect(#5383) - bdcfba1 use sort* not ast* #5386
- 2a8d00d fix #5378
- e5aa02b fix #5382
- 7255a2a fix #5379
- d5c6abe #close 5363
- 55daa24 fix #5362
- f3737f6 #5361
- 161d383 In src/sat/sat_local_search.*: Changed the return type of
constraint_slacktoint64_tinstead ofuint64_tto match them_slackmember of theconstraintstruct, which has typeint64_t. (#5360) - 45228bf #5323 heap use after free
- ed9341e #5336
- 02644b5 #5336
- 8d37495 merge
- 4a0a678 #5336
- f7d1cce #5336
- 2138ef2 build
- 93a4939 #5336
- 2174bcc #5336
- d016cb1 #5336
- 9038dfd #5336
- d73cead #5336
- 0b3a852 #5336
- 1dedfe3 #5336
- df9084b #5336
- 3311bd0 #5336
- 6b5680f #5336
- 38fc97d #5336
- 29a2838 #5338 #5349
- f95d0b7 #5349 #5338
- fbc3aa9 #5336
- 589f99e Fix Flake8 violations in Python API (#5332)
- d61d508 Delete unused NuGet release script. (#5351)
- dc6a8fd fix #5340
- 9c6b291 #5337
- 206d770 Update README.md
- 082ec0f #5336
- 08b4c4e #5336
- fb6cd8e #5324
- bdf6a17 #5324
- c6f0afa #5324
- c1ab798 #5324
- a602950 #5324
- d890588 #5324
- 5d3f48c na
- 3a5b88e set status to CANCELLED on the total_iterations threshold bailout
- b100263 #5324
- 9989ef6 #5324
- 92ec81d #5140
- 3da9d91 #5333
- 73bb3e4 #5324
- 29ac26e #5324
- 34fc0cd #5324
- 9afc59d #5324
- ed49c1e #5324
- c388d99 #5324
- eed8780 #5324
- 1935e86 #5324
- 6f56d87 #5324
- 7cd9010 #5324
- 71ff987 #5324
- 82e481f #5324
- df95ed6 #5324
- 1fd6b66 #fix #5328
- 85b672e #5324
- f920079 #5324
- 08e7de3 #5324
This list of changes was auto generated.