z3-4.15.1
Changes:
- b665c99 add missing dependencies
- c387b20 move smt params to params directory, update release.yml
- dc42033 use userSpecifiedTag instead of gitTag
- 81f4125 update to @1 for githubpublish action
- 602cfaf update version number of github release
- e8f627c disable pypi publishing
- d37336e remove trace by default from tests
- 98d86c6 disable tracing in test code
- 4bd999c update release notes
- befbd8d add parameter
See More
- 9d35a8c updates to euf-completion to
- 9db227d fix bug in trim code missing dependecy
- 2897661 register completion with solver
- 1cd1622 make rule processing fully incremental
- 590b79d Fix #7623 (#7672)
- 3e75b22 fix build
- d33d6eb handle build warnings
- 7566f08 vtable
- 08c4f73 add dependencies to fix build
- e2cf4d9 add better bit-blasting for rotation #7673
- 564830a enable conditional euf-completion with (optional) solver
- 16452fe pretty printing for lp
- ef284cc for Arie
- bcedb66 Expose z3_static target for Bazel build (#7660)
- e2e5452 remove trace that accesses stale data #7668
- 7f5427b disable assertion that checks nl lemmas if using nra core
- 2fc3b07 some cleanup and functionality for tracing
- b4c2b45 #7667 - add API documentation
- 2714dc2 fix #7661
- 819c207 use array instead of hash-table to track trace
- 257b8e9 Fix out of bounds error in OCaml API (#7665) (#7666)
- 4b2e5ad enable tag classes
- bbb3d53 initialize tag class circular linked list
- a3aee02 remove commented out include directives to avoid confusing build scripts
- 6d70b49 add full path to util in include directives
- 0a93ff5 Centralize and document TRACE tags using X-macros (#7657) [ #7663 ]
- d766292 add seed parameter, fix trail undo order from insertion to ensure lifetime
- b44c897 Fix setup_relevancy for relevancy-dependent case split strategies (#7662)
- 80c553d missing file
- 77fed8b v1 of a randomizer simplifier
- 84a5303 for future ignoring genai files
- 85e7243 update add-term to avoid duplicating fresh aux-expr
- c2098b4 Pr (#7654) [ #7647, #7484 ]
- 8d67fee Update prd.yml
- a4e7123 Update prd.yml
- a7fbddd Update prd.yml
- ad02d18 add prd (#7649) [ #7647 ]
- 3381220 Create prd.yml
- 47c12f9 refactoring to use for-range
- 7ebe7c4 remove stale API #7648
- 0b26f7e Add support for building Z3 using Bazel. (#7646)
- f680242 adjust the frequency of dio calls
- 15a3818 cleanup in dioph_eq.cpp
- 1109139 move to readme-cmake
- ce15351 include some build cheat sheet
- a5a2a13 update version number
- 0d3c29a handle larger buffers
- 6b32aae remove slack heuristic
- a5e5d4d testing
- bbaec0b trying randomly shuffle the indices in the slack utilization
- 52241b6 some refactoring of lar_solver.h
- fef954c shring lar_solver.h
- 4abd984 fix the build
- e3f5e8c restore lar_solver::add_named_var
- b375faa continue PIMPL refactor in lar_solver
- b7ffcb7 implement imp of lar_solver as lar_solver::imp
- 39955f1 remove a function from lar_solver
- 4e56834 test
- a527667 shuffle more functionality from lar_solver.h to lar_solver::imp
- c81eb74 apply the slack idea in a loop
- e041fe9 slack
- 7ca94e8 add E-matching to EUF completion
This list of changes was auto generated.
