Overview
Request 1093226 accepted
- update to 4.12.2
* remove MSF (Microsoft Solver Foundation) plugin.
* updated propagate-ineqs tactic and implementing it as a simplifier,
bound_simplifier.
* add API function Z3_mk_real_int64 to take two int64 as arguments. The
Z3_mk_real function takes integers.
* Add _simplifiers_ as optional incremental pre-processing to solvers.
* Optimize added to JS API.
* SMTLIB2 proposal for bit-vector overflow predicates added.
* bug fixes.
- add 0001-Fix-building-with-gcc-13-6723.patch
Request History
jirislaby created request
- update to 4.12.2
* remove MSF (Microsoft Solver Foundation) plugin.
* updated propagate-ineqs tactic and implementing it as a simplifier,
bound_simplifier.
* add API function Z3_mk_real_int64 to take two int64 as arguments. The
Z3_mk_real function takes integers.
* Add _simplifiers_ as optional incremental pre-processing to solvers.
* Optimize added to JS API.
* SMTLIB2 proposal for bit-vector overflow predicates added.
* bug fixes.
- add 0001-Fix-building-with-gcc-13-6723.patch
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
staging-bot added openSUSE:Factory:Staging:adi:26 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:26"
staging-bot accepted review
Picked "openSUSE:Factory:Staging:adi:26"
dmach accepted review
Accepted review for by_group opensuse-review-team request 1093226 from user staging-bot
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:26 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:26 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:26 got accepted.