Overview
Request 566378 revoked
- Update to version 4.6.0+git.20180112:
* add missing interpreted tail during bottom-up simplification #1452
* Added apply_result::as_expr to the C++ API. Requested here: https://stackoverflow.com/questions/48071840/get-result-of-tactics-application-as-an-expression-in-z3
* to ascii or not to ascii #1447
* fix build
* avoid reset_error in dec_ref in bv_val #1443. Add BSD required template instance #1444
* make linear search the default for theory_str
* [CMake] Fix #1437.
* Use noreturn attribute and __declspec version.
* revert use of [[noreturn]]. It's not fully supported on compilers #1435
* add noreturn attribute #1435
* raise_exception: Annotate that this doesn't return.
* Remove unnecessary copy of coeff in iteration.
* Remove ignored const qualifiers.
* Fix code formatting: Incorrect indentation.
* fix #1429
* print_stat_f: Remove implicit conversion of float to double.
* Typo fixes.
* set default rewriter behavior in incremental mode to distribute multiplication over addition #1373
* removing axiom exposing unsoundness, replace by weaker axiom
* add shorthand for translating models #1407
* add __copy__, __deepcopy__ as alias to translate on same context #1427. Add generalized Gaussian elimination as an option to first-pass NL solver
* fix build of test
* adding pre-processing to nlsat for equations
* fix get-objectives error #1419 message (get-objectives)
* initialize additional assumptions after setup_context is called the first time
* alternate strategies for QF_NIA
* remove custom exception, perhaps this handles exception issue
* add virtual destructor to see if this helps ASan error
* Allowing slices and negative index in assertions
* add Python facility for int2bv, fix #1398
* Documentation fixes.
* Bumped version number.
* Updated release notes
* add back missing initialization of lo
* fix nlsat regression
* avoid crash on nl
* fix crashes in nlsat
* fix crashes in nlsat
* remove comment out
* add integer branch and bound to nlsat
* small improvements to QF_NIA tactic
* fixes compilation flags for OCaml plugins
- Look for python3_sitelib in tumbleweed
Request History
jirislaby created request
- Update to version 4.6.0+git.20180112:
* add missing interpreted tail during bottom-up simplification #1452
* Added apply_result::as_expr to the C++ API. Requested here: https://stackoverflow.com/questions/48071840/get-result-of-tactics-application-as-an-expression-in-z3
* to ascii or not to ascii #1447
* fix build
* avoid reset_error in dec_ref in bv_val #1443. Add BSD required template instance #1444
* make linear search the default for theory_str
* [CMake] Fix #1437.
* Use noreturn attribute and __declspec version.
* revert use of [[noreturn]]. It's not fully supported on compilers #1435
* add noreturn attribute #1435
* raise_exception: Annotate that this doesn't return.
* Remove unnecessary copy of coeff in iteration.
* Remove ignored const qualifiers.
* Fix code formatting: Incorrect indentation.
* fix #1429
* print_stat_f: Remove implicit conversion of float to double.
* Typo fixes.
* set default rewriter behavior in incremental mode to distribute multiplication over addition #1373
* removing axiom exposing unsoundness, replace by weaker axiom
* add shorthand for translating models #1407
* add __copy__, __deepcopy__ as alias to translate on same context #1427. Add generalized Gaussian elimination as an option to first-pass NL solver
* fix build of test
* adding pre-processing to nlsat for equations
* fix get-objectives error #1419 message (get-objectives)
* initialize additional assumptions after setup_context is called the first time
* alternate strategies for QF_NIA
* remove custom exception, perhaps this handles exception issue
* add virtual destructor to see if this helps ASan error
* Allowing slices and negative index in assertions
* add Python facility for int2bv, fix #1398
* Documentation fixes.
* Bumped version number.
* Updated release notes
* add back missing initialization of lo
* fix nlsat regression
* avoid crash on nl
* fix crashes in nlsat
* fix crashes in nlsat
* remove comment out
* add integer branch and bound to nlsat
* small improvements to QF_NIA tactic
* fixes compilation flags for OCaml plugins
- Look for python3_sitelib in tumbleweed
licensedigger accepted review
ok
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto added repo-checker as a reviewer
Please review build success
factory-auto accepted review
Check script succeeded
staging-bot added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:88"
staging-bot accepted review
Picked openSUSE:Factory:Staging:adi:88
repo-checker accepted review
cycle and install check passed
dimstar accepted review
dimstar declined review
There must be a but more logic added... Otherwise we have a pythin-FOO package that ships wüpythin 3 files.ääi assume the dufferenxe between leap and tw for now is that you rely on an implicit pulled in py2 interpreter, which likely already no longer happens for tw... And then your build system transparentl switches to py3 (but then, a py 3 package must be named python3-*)
dimstar declined request
There must be a but more logic added... Otherwise we have a pythin-FOO package that ships wüpythin 3 files.ääi assume the dufferenxe between leap and tw for now is that you rely on an implicit pulled in py2 interpreter, which likely already no longer happens for tw... And then your build system transparentl switches to py3 (but then, a py 3 package must be named python3-*)
jirislaby revoked request
hmm, my python-fu is very limited, so I think I cannot move it forward. Is there a documentation on what needs to be done with these python changes in factory etc.?
so not for Leap 15.x and SLE 15? (if the package exists in SLE)? That's kinda surprising (as TW at this moment is pretty much in sycn with the SLEAP code base
If I change the condition to >= 1500, it fails to build on leap 15. I don't know why, though.