Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2019-08-07 14:01:20 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new.9556 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Wed Aug 7 14:01:20 2019 rev:5 rq:721465 version:2.3.3+20190713 Changes: -------- --- /work/SRC/openSUSE:Factory/stp/stp.changes 2019-02-25 17:59:59.502147933 +0100 +++ /work/SRC/openSUSE:Factory/.stp.new.9556/stp.changes 2019-08-07 14:01:20.956852914 +0200 @@ -1,0 +2,14 @@ +Wed Jul 31 09:05:35 UTC 2019 - [email protected] + +- Update to version 2.3.3+20190713: + * fix #330. + * Partial fix for #330. + * Hack to get a smtlib benchmark parsing. + * Decimal output is incredibly slow for ~30,000 bits. + * Timeout tests are way too slow, removing + * fix. wasn't printing success like it should on some smtlib commands. + * -p will now print smtlib2 format models when the smtlib2 parser is selected. smtlib2 models contain all the variables (even those that can take any value). + * don't output a model if it was unsat. + * fix boolean model output. + +------------------------------------------------------------------- Old: ---- stp-2.3.2+20190222.tar.xz New: ---- stp-2.3.3+20190713.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ --- /var/tmp/diff_new_pack.XnDG58/_old 2019-08-07 14:01:21.484852908 +0200 +++ /var/tmp/diff_new_pack.XnDG58/_new 2019-08-07 14:01:21.488852908 +0200 @@ -35,7 +35,7 @@ Summary: Constraint Solver License: MIT Group: Productivity/Scientific/Other -Version: 2.3.2+20190222 +Version: 2.3.3+20190713 Release: 0 Url: https://github.com/stp/stp/wiki BuildRoot: %{_tmppath}/%{name}-%{version}-build ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.XnDG58/_old 2019-08-07 14:01:21.520852908 +0200 +++ /var/tmp/diff_new_pack.XnDG58/_new 2019-08-07 14:01:21.520852908 +0200 @@ -1,4 +1,4 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/stp/stp.git</param> - <param name="changesrevision">70a0c488f613ab4664919557638bb170ef6e3be1</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">3b176815f369bc5a5b6fa35a2e29340dc6b919f0</param></service></servicedata> \ No newline at end of file ++++++ stp-2.3.2+20190222.tar.xz -> stp-2.3.3+20190713.tar.xz ++++++ ++++ 2793 lines of diff (skipped)
