Z3Prover/z3 z3-4.15.2

on GitHub

• f81d973 Update prd.yml
• 8f88bf9 use is_square_free_at_sample instead of is_well_oriented
• f2912b2 remove debug output
• 126e06b fix the test-z3 build
• 0e71a9d comment and restore
• 84c8a93 renaming
• 945eef7 work on well-orientedness
• b2f0170 euf_completion with AC: add first cut of AC matching for top-level, add plugins and fix shared expression rewriting in ac-plugin
• bc31276 remove dependency on pattern inference
• cb22cdc remove dependency on pattern inference
• 20ddfc7 sketch possible AC functionality
• f932d48 use propagation queues and hash-tables to schedule bindings
• 7b432ae Rename labeler.yml to labeller.yml
• 6389214 Create dedup.yml
• 8d1e954 introduce notion of auxiliary constraints created by nla_solver lemmas
• 93d5e3f use mk_ite utility instead of custom local function
• a2ad90c Update bit_blaster_tpl_def.h
• a15e4ad #7673
• e018b02 adding proofs to euf-completion
• bba10c7 dampen order lemmas
• 3927fdb enable debug logging on labeler workflow (#7681)
• 4584d1d Create labeler.yml
• 423930d missing files
• e166175 update version to 4.15.2

This list of changes was auto generated.