Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2020-02-07 15:52:46 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.26092 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Fri Feb 7 15:52:46 2020 rev:19 rq:770524 version:4.8.7+git.20200129 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2019-10-18 14:36:21.435782515 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.26092/z3.changes 2020-02-07 15:53:36.439484398 +0100 @@ -1,0 +2,15 @@ +Thu Jan 30 09:53:14 UTC 2020 - [email protected] + +- Update to version 4.8.7+git.20200129: + * change in the test lp.cpp and in a trace statement + * Add explicit instantiation of update_inf_cost_for_column_tableau. + * fix build + * speed up freedom interval computation + * return l_undef in get_phase() if lpvar is not available + * add filter to gcd test + * fix #2898 + * correct handling of int terms in theory_lra + * fix the debug build + * and much more + +------------------------------------------------------------------- Old: ---- z3-4.8.6+git.20191009.tar.xz New: ---- z3-4.8.7+git.20200129.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.pn551s/_old 2020-02-07 15:53:37.387484917 +0100 +++ /var/tmp/diff_new_pack.pn551s/_new 2020-02-07 15:53:37.387484917 +0100 @@ -1,7 +1,7 @@ # # spec file for package z3 # -# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany. +# Copyright (c) 2020 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -16,10 +16,10 @@ # -%define version_unconverted 4.8.6+git.20191009 +%define version_unconverted 4.8.7+git.20200129 %define sover 4_8 Name: z3 -Version: 4.8.6+git.20191009 +Version: 4.8.7+git.20200129 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT @@ -74,16 +74,16 @@ %build %define __builder ninja %cmake \ - -DBUILD_LIBZ3_SHARED=true \ - -DUSE_LIB_GMP=true \ - -DBUILD_PYTHON_BINDINGS=true \ - -DINSTALL_PYTHON_BINDINGS=true \ -DPYTHON_EXECUTABLE=%{_bindir}/python3 \ - -DENABLE_EXAMPLE_TARGETS=false \ + -DZ3_BUILD_LIBZ3_SHARED=true \ + -DZ3_USE_LIB_GMP=true \ + -DZ3_BUILD_PYTHON_BINDINGS=true \ + -DZ3_INSTALL_PYTHON_BINDINGS=true \ + -DZ3_ENABLE_EXAMPLE_TARGETS=false \ %if 0%{?suse_version} >= 1550 - -DLINK_TIME_OPTIMIZATION=true + -DZ3_LINK_TIME_OPTIMIZATION=true %else - -DLINK_TIME_OPTIMIZATION=false + -DZ3_LINK_TIME_OPTIMIZATION=false %endif %make_jobs ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.pn551s/_old 2020-02-07 15:53:37.427484938 +0100 +++ /var/tmp/diff_new_pack.pn551s/_new 2020-02-07 15:53:37.427484938 +0100 @@ -1,4 +1,4 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/Z3Prover/z3.git</param> - <param name="changesrevision">ecba7b3cde4c1125ac1db63b7b7d63b299051b4a</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">9694dc0c749962efa3d46e7af3ef60747bfa19e3</param></service></servicedata> \ No newline at end of file ++++++ z3-4.8.6+git.20191009.tar.xz -> z3-4.8.7+git.20200129.tar.xz ++++++ ++++ 123765 lines of diff (skipped)
