z3-4.8.14

4.8.14 release

Changes:

• df8f9d7 Update release.yml for Azure Pipelines
• bd2a53c Update release.yml for Azure Pipelines
• 5d4420a Update release.yml for Azure Pipelines
• a00d68f update release scripts and notes in master
• 5afb95b improved subset checking for regexes with counters (#5731)
• 71b868d #5722 - internalize unary xnor
• 4d8bf2a wrong unit for xor in aig tactic #5722
• f11fcec Migrate from deprecated distutils.sysconfig in scripts (#5729)
• 78222f2 remove action that fails too often
• f3af219 Use Stdlib. instead of Pervasives. due to deprecation (#5730)

See More

• cf6486f bug in flatten/and/or introduced when skipping sub-expressions
• 4b5ee91 na
• 09ee60c update comment
• 9d82c1d fix deadlock in scoped_timer destructor (#5371)
• 94a2c91 fix a few compiler warnings
• 1d9aad6 improved regex merging avoiding unsat nontermination (#5728)
• e0d6e04 fix c++
• 7a60705 #5727
• f01d096 fix again
• ad91748 Merge branch 'master' of https://github.com/z3prover/z3
• 83b47f1 fix #5726
• be38b25 fixed bug in is_char_const_range (#5724)
• 25d54eb fixing regression of issue 1224 (#5723)
• 4b813ba na
• 6a039c2 Update z3++.h
• a7b1db6 State graph dgml update and fixes in condition simplifier (#5721)
• bee7421 na
• 7441bd7 na
• 85e3622 Update z3++.h
• f0740bd move user propagte declare to context level
• 4856581 na
• 8ca023d expose propagate created
• e1ffaa7 na
• 9c8800b adding a new toy for Clemens
• 6963451 na
• 5974200 fixes to previous push and streamlining
• 4e82a9a pin expressions
• 6cc9aa3 prepare user propagator declared functions for likely Clemens use case
• a288f90 Update regex union and intersection to maintain ANF (#5717)
• db62038 Update nightly.yaml
• 4641a20 #5700 - Add download x86 as part of release NuGet
• 122b0fe fix #5710
• a099972 fix #5714
• dd6a11b fix #5715
• 2caa7e6 remove EnumToNative as it drops reference counts, fixes #5713
• 2be9387 Cleanup regex info and some fixes in Derivative code (#5709)
• 3b58f54 remove dead code
• 03b5380 na
• b1d167d fix co-factoring'
• 5348af3 fix co-factoring
• f40becf remove case for non-emptiness to combine with standard membership [ #5693 ]
• b2af7ea stdout
• 9ec0f94 hoisting out blocker for empty [ #5693 ]
• fcdf8d4 include atomic
• b85f2f7 #5704
• 0a7e003 this one is for you Nuno
• 96e871c add stub for testing updates to scoped_timer
• 0405a59 Fix return type of as_int64 (#5703)
• 51fa40e fix spelling
• b69ad78 na
• e45ae32 unsound equality propagation #5676
• a5bd115 replace_re axiom placeholder
• 773a2ae na
• 60d5a00 na
• 04906bd na
• 36f5105 na
• d74ff29 na
• 9f2b18c add tactic name
• e3bd5ba pass through for unary tactical
• 1e95fb4 add ability to register expressions during callback
• 50d50cd register forbidden functions with reduce_args for user-propagator
• 658a334 clear tactic user propagate state on solver destructor
• fdc253a update arithmetic contract for unbounded (#5696)
• 9b4f3a7 start using lar_solver::is_feasible() (#5697)
• 7758b51 Handle correctly cancelled run (#5695)
• 0242566 remove
• f0e9363 fix bug in smt_tactic_core for translating user-ids
• 0d055b8 update input for doxygen #5400
• c845b22 fix translation for equality propagation
• 1b0ac49 prevent stale user-propagators from being used on the same tactic after it was applied.
• da76535 don't rely on cleanup
• 3d528c8 typo
• eae567a indirection for user ids
• 68b072e only use setup_and_check if there is no user propagator set.
• 1618c97 adding checks
• 970347e infeas
• 0077ddf try delay init for user propagator in smt_tactic
• 41aa7d7 stack
• bfd61fe enable user propagation on tactics
• cbdd7b0 three smt2 examples added and one python example updated (#5690)
• 71cbb16 fix regression from today, see #5676
• 87aec88 fix #5687
• c6a5aa0 try th_lemma, update documentation of api functions for creating strings
• 3b4f976 na
• 4daba29 change user propagation to apply scheme similar to theory_recfun
• 3c1aedf fixing #5473
• 9e51691 add virtual destructor
• b5efb87 base -> core
• 959f4c9 rename files to theory_user_propagator
• 5857236 introducing base namespace for user propagator
• c083aa8 add debug information in user-propagate #5687
• 1e9e52a #5641
• d50c4bf remove an unused var
• d50bfc6 #5641
• 833dd62 fix #5681
• e8f5a29 fix #5679
• fee4821 include thread
• a7d2478 wasm build issue
• 741c5f4 Merge branch 'master' of https://github.com/z3prover/z3
• ca2c2bb ensure smt2log works with multi-threaded consumers, ease scenarios around #5655
• 4928c28 fix #5675
• 99d5215 revert use of f format
• f83367a mac builds
• 518ef9f fix #5674
• 4587575 if you read this commit message you probably are a programmer who has no life
• 43a827c Update release.yml for Azure Pipelines
• 71d5d24 Update release.yml for Azure Pipelines
• 72f28f0 Update release.yml for Azure Pipelines
• b95ba89 update release pipeline

This list of changes was auto generated.