Hello community, here is the log from the commit of package z3 for openSUSE:Leap:15.2 checked in at 2020-02-09 11:27:11 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Leap:15.2/z3 (Old) and /work/SRC/openSUSE:Leap:15.2/.z3.new.26092 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Sun Feb 9 11:27:11 2020 rev:17 rq:772115 version:4.8.7+git.20200129 Changes: -------- --- /work/SRC/openSUSE:Leap:15.2/z3/z3.changes 2020-01-17 12:05:50.508620325 +0100 +++ /work/SRC/openSUSE:Leap:15.2/.z3.new.26092/z3.changes 2020-02-09 11:27:12.759360211 +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.FdZyVT/_old 2020-02-09 11:27:13.171360445 +0100 +++ /var/tmp/diff_new_pack.FdZyVT/_new 2020-02-09 11:27:13.171360445 +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.FdZyVT/_old 2020-02-09 11:27:13.203360463 +0100 +++ /var/tmp/diff_new_pack.FdZyVT/_new 2020-02-09 11:27:13.203360463 +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)
