z3-4.8.11
·
78 commits
to bc2e6ce037a947c449ae291788924a2b0ff41e1e
since this release
4.8.11 release
Changes:
- 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
See More
- 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
- 39af2a1 centos -> glibc
- bce903a #5324
- 37d2ed6 #5324
- 84b86ac updated ref to esrp
- ae6aea7 #5324
- 7cda90c cmake: build with -fvisibility-inlines-hidden
- 2f9be23 attempt to fix MSVC build
- 03947b2 remove travis badge
- 88ec0f9 undo cxx hoist
- 3655c39 hoist c++ flags
- 654e53e auxiliary build
- 7ce88ec na
- dea7c92 updated nightly
- 5da4b29 turn on parity test
- c194441 #5324
- 7311801 #5324
- 7c86134 #5324
- 0182187 fix regression in arithmetic resource bound
- d233005 disable travis
- 8a02167 get-universe
- 3e773fb get-universe
- 6a5cdd4 na
- ab3b387 na
- 45adfc6 na
- 0e6d530 std::cout
- 2156c74 #4702
- 5127014 track cuts
- ba56bfa spelling
- e2c5e2e na
- 8d1dfb9 #5223
- fe0727d #5223
- fb75dac #5223
- 46f8b15 ref/ref_vector minor convenience changes (#5322)
- 50cf321 fix #5320
- 83e2e72 fix #5316
- 4d75281 fix #5315
- b160648 fix #5289
- 4d41db2 #5223
- 3024fe7 fix #5312
- 56b47fa fix #5304
- 1591609 fix #5307
- ce6fc21 fix #5300
- c5d4ff9 fix #5300
- f42d4a5 fix #5308
- 48beb81 Use more generic linux-x64 for NuGet rid instead of specific ubuntu, debian, etc. (#5310)
- 5a66dfa change parameter::hash so that the least significant bits arent overriden
- 322531e fix #5303
- 36ca98c ast: remove 2 default constructors
- 2ebab02 fix #5297
- 8919fa4 #5296
- 3d8865d Fix some PEP-8 violations in Python code (#5295)
- f1545b0 optimize symbol table for single-threaded mode
- aef3809 vector.h: add assert to fail compilation if alignment isn't ok
- 8fd7226 typo
- f1e0d5d remove a hundred implicit constructors/destructors
- f840662 switch parameter to an std::variant
- 9eb566b simplify some constructors/destructors
- 79201e5 buffer.h c++17 improvements
- 34e8a2f simplify
- fd0778c fixing symbol -> zstring
- 262daf5 symbol/zstring transition
- 20a67e4 remove symbol -> zstring -> symbol round-trips
- 5cb0bac patch
- e14e3ef #5140
- a10de2e #5140
- c230d89 fix #5294
- 8ba0fb5 rounding mode sort removed for incompatibility
- 00deb12 signed
- e63e458 build
- ed59c83 Implemented missing methods to the C++ API (#5242) [ #4673 ]
- c18f012 Remove x64 suffix from NuGet package names. (#5292)
- 089015b Minor fix in sat::literal (#5293)
- ce1a484 Fix NuGet package name and glibc rid. (#5290)
- 17be37a fix #5287
- a59dcfd update python tag
- 9cc1549 Use osx-x64 for mac rid rather than macos. (#5288)
- 03d2c5f consolidate literals
- c959e28 remove prints, remove ability to toggle eager_eq_axioms option
- cc12e3e fix #5280
- e0860ea fix #5279
- ec03467 #5215
- abe3ef2 #5215
- d450fd4 #5215
- 7b3a587 fix #5225
- 9031b5b fix build
- 0490056 na
- 3097496 fix #5256
- 4f9ad28 fix #5252
- 55f8ad0 fix #5262
- 8384f38 fix #5254
- 1a43252 fix #5272
- d2bd92e fix #5271
- 93a9847 BUILD_LIBZ3_SHARED
- 8ca6f56 fixing issue #5140 (#5268)
- f942c3d operator= checks this equality before moving (#5265)
- 7869cdb #5259 - the Ranjit 2s shave
- cd82205 nit
- d27d09f #5261
- 897a2d6 #5261
- f02fbb4 fix #5253
- 2ea4b0f #5260
- e2a52ed #5259 again
- 987099c Hoist creation of m_rep for #5259
- a61e9d6 #5260
- 28328e6 fix #5255
- 31a5bd7 regression from July 4 2020 tweeted by Dr. RJ and crowd profiled - let's submit this somwhere?
- 7373946 julia: fix duplicate method (#5251)
- 7e7360d #5223
- 7e330c1 #5223
- 87c0a81 #5223
- 2b1b10b fix #5236
- 85bd4b5 #5223
- 179988e support recursive terms (#5246)
- 466269e theory_str iterator refactoring and dead code removal (#5222)
- 0c6722f na
- 60cf482 fix #5239
- 2c97799 #5237
- ff480d1 fix #5238
- 51a4db8 #5223
- 0810720 #5223
- 323e0e6 #5223
- 7835388 #5223
- 6de0615 #5223
- aa3975e fix #5235
- 77dea18 Added missing fp conversion methods to C++ API (#5234)
- c50e6bd fix #5229
- 381e502 fix #5224
- e4b6603 Cpp api string const (#5228)
- decbf4b fix undo record for lblset
- a8ccbd7 fix #5226
- 30e904b disable threads for extensions
- 007b792 #5215
- 5ecc32e #5215
- 308f399 #5215 converting NYI
- 89373d5 #5215
- 4da4591 #5215
- e5892e5 #5215
- a71b4fa na
- 78571b9 fix #5219
- d731ec7 Revert "Cpp api fp to bv (#5218)" (#5221)
- fa2d593 Cpp api fp to bv (#5218)
- ecfbc1c trace
- 22a76e4 fix typos in comments
- a1b036a Update README.md
- 3ff5d42 Update README.md
- 0422b59 build
- c03fac8 Investigating std::vector and #5178
- 385109d regarding #5206
- a19e469 fix #5212
- af5e7a1 #5211
- b1e8303 #5211
- 07e2ca1 fix #5213
- e0393f8 #5211
- b5496d8 #5211
- d2f15d1 #5211
- 67ec86f #5211
- 5d49cb5 #5211
- 5cfe273 #5211
- bcb33a5 remove unused functions
- 4c4810c fix #5207
- d679193 add bailout option for code review #5208
- a52b485 marco: immediately shrink to core if not subset (#5203)
- 8263d20 add code review comment
- b658934 fix #5197 fix #5193
- 44d77a9 cw review comments #5200
- 770c79a prepare for std::vector
- 831afa8 Cpp api add missing fp methods (return type correction) (#5200)
- 10e9345 C++ API add missing FP methods (#5199)
- 542878d Add sge and sgt to API; now has sge,sgt,sle,slt, and unsigned counterparts (#5194)
- f8228ff [c++ api] add const (#5195)
- e67b9eb try to fix ARM32 build (#2776)
- a1741e0 z3 c++ api: delete implicit constructor (#5191)
This list of changes was auto generated.