Z3Prover/z3 z3-4.8.11

on GitHub

• 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_slack to int64_t instead of uint64_t to match the m_slack member of the constraint struct, which has type int64_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.