z3-4.14.1
4.14.1 release
Changes:
- 3c0d786 install setup tools for python packaging
- e05f75d switch to ubuntu 24 for python packaging
- 07fa36e fix #7466
- ab0323c update release notes
- ea1360e fix #7578
- c002c77 fix #7569
- 54c6b11 Update README.md
- 80f00f1 fix #7572 and fix #7574
- 8df45b4 try ubuntu 24
- b47ec20 try version 75
See More
- 3e7f483 68
- dedfe90 remove downlevel setup in nightly.yaml
- f698dea downlevel setup
- e6855bb disable setup tool install
- d714f1b update path
- 7eb401b extract paths within zip file
- 476c5ee improve diagnostics
- f74d846 use single thread for win-dist
- 14390ee fix typo
- 62616cf fixup nuget task
- d24c488 fix error in mk_nuget_task.py
- a97e5fc fix error in mk_nuget_task.py
- cd95c7e add diagnostics to extraction of Microsoft.pdb/xml/dll
- ec93972 fixup unit tests
- b784b74 fix #7550
- 83ee21c streamline tracing
- db997cd fix regression, missing idx increment in iterator loop #7566
- a731046 throttle down cuts from proofs
- be8febe add throttle, fixup bp.init() for proper initialization
- c79967b using iterators
- 17f239c base line specbot
- 589fb1b base line specbot
- 67d77e2 remove a parameter when calling bound_analyzer_on_row
- b985838 do not pass row index to bound_analyzer_on_row
- 10c2af8 try for mixed-mode
- ead8478 fix build per new API for analyze_row
- 1a3d1ad add base line bounds tightening utility
- 7044bb8 remove an unused parameter in bound_analyzer_on_row
- fbfbfa5 print column value
- f50f211 Fix #7505 (#7565)
- bd3d288 tighten only core constrants
- 45ad614 added logging
- 1fec0fa remove verbose output
- 01fbc0e fix #7563
- 712231d fix #7560
- 075773e remove proviso for single index arrays
- 3e5abef fix #7549
- e0945f5 fix #7554
- 28f3f80 #7559
- 1106648 #7559
- 991cffb handle multi-arity arrays
- 674e1b8 remove equality check on container
- ce69b54 adjust select/store rule for n-ary arrays
- 42f6e13 more review of mbp_arrays
- a4a84ed arrays are not necessarily unary
- a5e5a35 code simplification
- a143ed3 taking a look at mbp_qel for arrays
- dda6073 updated release notes
- fb6ec7d increase version number
- 30dba9b use down-level setup tools on hosted machines to avoid https://stackoverflow.com/questions/79252233/canonicalize-versionversion-strip-trailing-zero-false-while-doing-colcon-buil
This list of changes was auto generated.