commit stp for openSUSE:Factory
Hello community,
here is the log from the commit of package stp for openSUSE:Factory checked in
at 2020-02-06 13:09:33
Comparing /work/SRC/openSUSE:Factory/stp (Old)
and /work/SRC/openSUSE:Factory/.stp.new.26092 (New)
Package is "stp"
Thu Feb 6 13:09:33 2020 rev:7 rq:770494 version:2.3.3+20200113
Changes:
--- /work/SRC/openSUSE:Factory/stp/stp.changes 2020-01-09 22:53:35.770799412
+0100
+++ /work/SRC/openSUSE:Factory/.stp.new.26092/stp.changes 2020-02-06
13:09:44.880385856 +0100
@@ -1,0 +2,12 @@
+Thu Jan 30 09:45:21 UTC 2020 - jsl...@suse.com
+
+- Update to version 2.3.3+20200113:
+ * Fixing tests so build doesn't break
+ * Removing slow running tests
+ * Better support for python in build
+ * less bad model printing for arrays.
+ * Change reference to Minisat repo
+ * extra little one.
+ * Removing tests that take 1 minute to execute
+
+---
Old:
stp-2.3.3+20190713.tar.xz
New:
stp-2.3.3+20200113.tar.xz
Other differences:
--
++ stp.spec ++
--- /var/tmp/diff_new_pack.IJcqEw/_old 2020-02-06 13:09:46.464386718 +0100
+++ /var/tmp/diff_new_pack.IJcqEw/_new 2020-02-06 13:09:46.464386718 +0100
@@ -18,7 +18,7 @@
%define sover 2_3
Name: stp
-Version:2.3.3+20190713
+Version:2.3.3+20200113
Release:0
Summary:Constraint Solver
License:MIT
@@ -80,13 +80,11 @@
Python bindings for stp library.
%prep
-%setup -q
-%patch0 -p1
+%autosetup -p1
%build
%define __builder ninja
%cmake \
- -DBUILD_SHARED_LIBS:BOOL="on" \
-DALSO_BUILD_STATIC_LIB:BOOL="off" \
-DSTP_TIMESTAMPS:BOOL="off"
%cmake_build
++ _servicedata ++
--- /var/tmp/diff_new_pack.IJcqEw/_old 2020-02-06 13:09:46.500386737 +0100
+++ /var/tmp/diff_new_pack.IJcqEw/_new 2020-02-06 13:09:46.500386737 +0100
@@ -1,4 +1,4 @@
git://github.com/stp/stp.git
- 3b176815f369bc5a5b6fa35a2e29340dc6b919f0
\ No newline at end of file
+ bf58ce9c1e5c2c36d57aedf238cdf8a071cd0d35
\ No newline at end of file
++ py3.patch ++
--- /var/tmp/diff_new_pack.IJcqEw/_old 2020-02-06 13:09:46.508386741 +0100
+++ /var/tmp/diff_new_pack.IJcqEw/_new 2020-02-06 13:09:46.508386741 +0100
@@ -1,26 +1,4 @@
-Index: stp-2.3.3+20190713/CMakeLists.txt
-===
stp-2.3.3+20190713.orig/CMakeLists.txt
-+++ stp-2.3.3+20190713/CMakeLists.txt
-@@ -607,15 +607,11 @@ option(ENABLE_TESTING "Enable testing" O
- # try finding python if the user did not explicitly said that
- # he/she does not want python bindings
- if ((NOT DEFINED ENABLE_PYTHON_INTERFACE) OR ENABLE_PYTHON_INTERFACE)
--find_package (PythonInterp 2.7)
--find_package (PythonLibs 2.7)
--if (PYTHON_EXECUTABLE AND PYTHON_LIBRARY AND PYTHON_INCLUDE_DIR)
-+find_package (PythonInterp)
-+if (PYTHON_EXECUTABLE)
- message(STATUS "PYTHON_EXECUTABLE:FILEPATH=${PYTHON_EXECUTABLE}")
--message(STATUS "PYTHON_LIBRARY:FILEPATH=${PYTHON_LIBRARY}")
--message(STATUS "PYTHON_INCLUDE_DIR:FILEPATH=${PYTHON_INCLUDE_DIR}")
--message(STATUS
"PYTHONLIBS_VERSION_STRING=${PYTHONLIBS_VERSION_STRING}")
- set(PYTHON_OK ON)
--message(STATUS "OK, found python interpreter, libs and header files")
-+message(STATUS "OK, found python interpreter")
- else()
- message(WARNING "Cannot find python interpreter, libs and header
files, cannot build python interface")
- endif()
+From: Ondřej Súkup
Index: stp-2.3.3+20190713/bindings/python/stp/library_path.py.in_install
===
--- stp-2.3.3+20190713.orig/bindings/python/stp/library_path.py.in_install
++ stp-2.3.3+20190713.tar.xz -> stp-2.3.3+20200113.tar.xz ++
6077 lines of diff (skipped)
commit stp for openSUSE:Factory
Hello community,
here is the log from the commit of package stp for openSUSE:Factory checked in
at 2020-01-09 22:52:57
Comparing /work/SRC/openSUSE:Factory/stp (Old)
and /work/SRC/openSUSE:Factory/.stp.new.6675 (New)
Package is "stp"
Thu Jan 9 22:52:57 2020 rev:6 rq:762244 version:2.3.3+20190713
Changes:
--- /work/SRC/openSUSE:Factory/stp/stp.changes 2019-08-07 14:01:20.956852914
+0200
+++ /work/SRC/openSUSE:Factory/.stp.new.6675/stp.changes2020-01-09
22:53:35.770799412 +0100
@@ -1,0 +2,12 @@
+Thu Jan 9 14:11:38 UTC 2020 - Martin Pluskal
+
+- Python3 bindings subpackage should be named correctly
+- More modern cmake macros
+
+---
+Thu Jan 9 12:25:51 UTC 2020 - Ondřej Súkup
+
+- build python3 bindings + patch py3.patch
+- drop dependecy on python devel .. not needed
+
+---
New:
py3.patch
Other differences:
--
++ stp.spec ++
--- /var/tmp/diff_new_pack.9rUi0u/_old 2020-01-09 22:53:36.522799789 +0100
+++ /var/tmp/diff_new_pack.9rUi0u/_new 2020-01-09 22:53:36.526799791 +0100
@@ -1,7 +1,7 @@
#
# spec file for package stp
#
-# 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
@@ -17,29 +17,23 @@
%define sover 2_3
-
Name: stp
+Version:2.3.3+20190713
+Release:0
+Summary:Constraint Solver
+License:MIT
+URL:https://github.com/stp/stp/wiki
+Source0:%{name}-%{version}.tar.xz
+Patch0: py3.patch
BuildRequires: bison
-%if 0%{?suse_version} > 1320
-BuildRequires: libboost_program_options-devel
-%else
-BuildRequires: boost-devel
-%endif
BuildRequires: cmake
BuildRequires: flex
BuildRequires: gcc-c++
+BuildRequires: libboost_program_options-devel
BuildRequires: minisat-devel
BuildRequires: ninja
-BuildRequires: python-devel
+BuildRequires: python3-base
BuildRequires: xz
-Summary:Constraint Solver
-License:MIT
-Group: Productivity/Scientific/Other
-Version:2.3.3+20190713
-Release:0
-Url:https://github.com/stp/stp/wiki
-BuildRoot: %{_tmppath}/%{name}-%{version}-build
-Source0:%{name}-%{version}.tar.xz
%description
STP is an efficient decision procedure for the validity (or satisfiability) of
@@ -53,7 +47,6 @@
%package -n libstp%{sover}
Summary:Constraint Solver
-Group: System/Libraries
%description -n libstp%{sover}
STP is an efficient decision procedure for the validity (or satisfiability) of
@@ -67,29 +60,28 @@
%package devel
Summary:Devel files for stp
-Group: Development/Languages/C and C++
Requires: %{name} = %{version}
+Requires: libstp%{sover} = %{version}
+Requires: minisat-devel
%if 0%{?suse_version} > 1320
Requires: libboost_program_options-devel
%else
Requires: boost-devel
%endif
-Requires: libstp%{sover} = %{version}
-Requires: minisat-devel
%description devel
Developmnet files for stp library.
-%package python
+%package -n python3-stp
Summary:Python bindings for stp
-Group: Development/Languages/Python
-Requires: %{name} = %{version}
+Requires: libstp%{sover} = %{version}
-%description python
+%description -n python3-stp
Python bindings for stp library.
%prep
%setup -q
+%patch0 -p1
%build
%define __builder ninja
@@ -97,19 +89,18 @@
-DBUILD_SHARED_LIBS:BOOL="on" \
-DALSO_BUILD_STATIC_LIB:BOOL="off" \
-DSTP_TIMESTAMPS:BOOL="off"
-%make_jobs
+%cmake_build
%install
%cmake_install
-%__install -d %{buildroot}/%{_docdir}/%{name}/example
-%__install -m 644 -t %{buildroot}/%{_docdir}/%{name}/example examples/simple/*
+install -d %{buildroot}/%{_docdir}/%{name}/example
+install -m 644 -t %{buildroot}/%{_docdir}/%{name}/example examples/simple/*
%post -n libstp%{sover} -p /sbin/ldconfig
%postun -n libstp%{sover} -p /sbin/ldconfig
%files
-%defattr(-,root,root)
%doc AUTHORS README.markdown
%license LICENSE
%{_bindir}/stp*
@@ -119,7 +110,6 @@
%{_libdir}/libstp.so.*
%files devel
-%defattr(-,root,root)
%dir %{_includedir}/stp/
%{_includedir}/stp/*.h
%dir %{_libdir}/cmake/
@@ -127,8 +117,7 @@
%{_libdir}/cmake/STP/
%{_docdir}/%{name}/example/
-%files python
-%defattr(-,root,root)
-%{python_sitelib}/*
+%files -n python3-stp
+%{python3_sitelib}/*
%changelog
++ py3.patch ++
Index: stp-2.3.3+20190713/CMakeLists.txt
commit stp for openSUSE:Factory
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.changes2019-08-07
14:01:20.956852914 +0200
@@ -1,0 +2,14 @@
+Wed Jul 31 09:05:35 UTC 2019 - jsl...@suse.com
+
+- 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 @@
git://github.com/stp/stp.git
- 70a0c488f613ab4664919557638bb170ef6e3be1
\ No newline at end of file
+ 3b176815f369bc5a5b6fa35a2e29340dc6b919f0
\ 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)
commit stp for openSUSE:Factory
Hello community,
here is the log from the commit of package stp for openSUSE:Factory checked in
at 2019-02-25 17:59:52
Comparing /work/SRC/openSUSE:Factory/stp (Old)
and /work/SRC/openSUSE:Factory/.stp.new.28833 (New)
Package is "stp"
Mon Feb 25 17:59:52 2019 rev:4 rq:678883 version:2.3.2+20190222
Changes:
--- /work/SRC/openSUSE:Factory/stp/stp.changes 2017-10-19 19:32:31.675778313
+0200
+++ /work/SRC/openSUSE:Factory/.stp.new.28833/stp.changes 2019-02-25
17:59:59.502147933 +0100
@@ -1,0 +2,19 @@
+Sat Feb 23 08:31:26 UTC 2019 - jsl...@suse.com
+
+- Update to version 2.3.2+20190222:
+ * Don't cache data in case of error
+ * Reordering riss library, maybe that will fix the issue
+ * Trying to fix appveyor
+ * Let's see the output of RISS being built
+ * No need for rdynamic hackery
+ * It's best to name the library target "stp" not "libstp"
+ * Fixing using _ROOT variables
+ * Adding compiler options
+ * Fixing the mess that staticcompile was causing
+ * Fixing version-number based issue with the Docker image
+ * Removing gcc extension of C++, not needed
+ * Let's fix up Appveyor for static build
+- Note that the build is fixed with bison 3.3.2.
+- remove 0001-CMake-fix-dirs-again.patch, in upstream now
+
+---
Old:
0001-CMake-fix-dirs-again.patch
stp-2.3.1+20171008.tar.xz
New:
stp-2.3.2+20190222.tar.xz
Other differences:
--
++ stp.spec ++
--- /var/tmp/diff_new_pack.vLefCt/_old 2019-02-25 18:00:01.882145931 +0100
+++ /var/tmp/diff_new_pack.vLefCt/_new 2019-02-25 18:00:01.886145928 +0100
@@ -1,7 +1,7 @@
#
# spec file for package stp
#
-# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -12,10 +12,12 @@
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.
-# Please submit bugfixes or comments via http://bugs.opensuse.org/
+# Please submit bugfixes or comments via https://bugs.opensuse.org/
#
+%define sover 2_3
+
Name: stp
BuildRequires: bison
%if 0%{?suse_version} > 1320
@@ -33,12 +35,11 @@
Summary:Constraint Solver
License:MIT
Group: Productivity/Scientific/Other
-Version:2.3.1+20171008
+Version:2.3.2+20190222
Release:0
Url:https://github.com/stp/stp/wiki
BuildRoot: %{_tmppath}/%{name}-%{version}-build
Source0:%{name}-%{version}.tar.xz
-Patch0: 0001-CMake-fix-dirs-again.patch
%description
STP is an efficient decision procedure for the validity (or satisfiability) of
@@ -50,11 +51,11 @@
predicates in the language include equality and (signed) comparators between
bitvector terms.
-%package -n libstp2_1
+%package -n libstp%{sover}
Summary:Constraint Solver
Group: System/Libraries
-%description -n libstp2_1
+%description -n libstp%{sover}
STP is an efficient decision procedure for the validity (or satisfiability) of
formulas from a quantifier-free many-sorted theory of fixed-width bitvectors
and (non-extensional) one-dimensional arrays. The functions in STP's input
@@ -73,7 +74,7 @@
%else
Requires: boost-devel
%endif
-Requires: libstp2_1 = %{version}
+Requires: libstp%{sover} = %{version}
Requires: minisat-devel
%description devel
@@ -89,7 +90,6 @@
%prep
%setup -q
-%patch0 -p1
%build
%define __builder ninja
@@ -105,16 +105,17 @@
%__install -d %{buildroot}/%{_docdir}/%{name}/example
%__install -m 644 -t %{buildroot}/%{_docdir}/%{name}/example examples/simple/*
-%post -n libstp2_1 -p /sbin/ldconfig
-%postun -n libstp2_1 -p /sbin/ldconfig
+%post -n libstp%{sover} -p /sbin/ldconfig
+%postun -n libstp%{sover} -p /sbin/ldconfig
%files
%defattr(-,root,root)
-%doc AUTHORS README.markdown LICENSE
+%doc AUTHORS README.markdown
+%license LICENSE
%{_bindir}/stp*
%exclude %{_docdir}/%{name}/example/
-%files -n libstp2_1
+%files -n libstp%{sover}
%{_libdir}/libstp.so.*
%files devel
++ _servicedata ++
--- /var/tmp/diff_new_pack.vLefCt/_old 2019-02-25 18:00:01.938145884 +0100
+++ /var/tmp/diff_new_pack.vLefCt/_new 2019-02-25 18:00:01.938145884 +0100
@@ -1,4 +1,4 @@
git://github.com/stp/stp.git
- 17249213f0d67f09ee3f9f6e6021d75a4cd28ed8
\ No newline at end of file
+ 70a0c488f613ab4664919557638bb170ef6e3be1
\ No newline at end of file
++ stp-2.3.1+20171008.tar.xz -> stp-2.3.2+20190222.tar.xz ++
85789 lines of diff (skipped)
commit stp for openSUSE:Factory
Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2017-10-19 19:32:28 Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new (New) Package is "stp" Thu Oct 19 19:32:28 2017 rev:3 rq:534437 version:2.3.1+20171008 Changes: --- /work/SRC/openSUSE:Factory/stp/stp.changes 2017-03-20 17:10:02.349834435 +0100 +++ /work/SRC/openSUSE:Factory/.stp.new/stp.changes 2017-10-19 19:32:31.675778313 +0200 @@ -1,0 +2,241 @@ +Tue Oct 10 11:31:21 UTC 2017 - jsl...@suse.com + +- Update to version 2.3.1+20171008: + * Reducing scope of upper + * Using $() instead of `` + * Removing unused code + * Removing unused code + * Adding docker file -- not working yet + * Fixing install and library location RPATH + * Updating README, fixing Docker + * Fixing static build + * Removed unused global variable + * Provide thread-safety (if C++11) + * Removing tests are too long and hold up development (>10s runtime each) + * Cleaning up lexer + * Cleanup of smt2.lex + * We can use straight-up "thread_local" here + * Trying to fix the thread-local storage for C + * Mark two more global variables as thread_local + * Updating READMEs + * No need for this parameter in AppVeyor + * No need for INSTALL, it's been incorporated into the README + * Updating README + * Fixing indentation and some restructuring of README + * Better naming of header + * Removing DLL_EXPORT on variables that break the build + * Using the ctest framework for testing + * Actually checking things in tests, reducing their outputs + * Making the interface's (vc) more explicit + * Removing trailing space + * Tabs to spaces conversion + * Trailing spaces removed + * Minimal cleanup of the lexer + * Fixing std::endl -> endl; + * Commenting out unused parameter + * Fix indentation + * Cleaner lexer + * Highlighting where GlobalParserInterface is being used + * Fixing the assert + * No need to undefine this, it should work without + * Some cleanup of bison usage + * Fixing moving of header file + * No need for linenum + * Removing helpstring + * Removing unneeded files + * Removing one more static variable + * Reflowing code as per agreed clang-format + * Further cleanup + * Removing unused code + * Cleanup of tests mostly + * Making the visibility=hidden work + * Don't care about coveralls fail + * Fixing AppVeyor build + * Fixing the coverage script + * Removing comments from CMakeLists + * Fixing ARM compile issue as in new libabc + * Adding SUSE build files + * Fixing fuzz-testing to use python2 + * Simplifying the Docker usage + * Fixing the Docker example +- add 0001-CMake-fix-dirs-again.patch + +--- +Thu Aug 17 12:01:28 UTC 2017 - jsl...@suse.com + +- Update to version 2.2+20170815: + * Removing broken link + * PEP8 + print function in fuzzer + * More correct printf + * Fixing double-declaration + * Fixing memory leak + * NULL-ing ptr sent to DELETE is now automatic and more meaningful + * Deleting buckets after they have been used + * This will fatal error anyway, so just use the pattern and return false + * added support for MSVC attributes + * disabled crtdbg.h inclusion in extlib-abc for C++ debug builds + * fixed unistd.h dependencies for Windows builds + * added missing include directive + * refactored gettimeofday() for Win32 + * Adding appveyor file + * Adding missing appveyor file + * Fixing paths + * Adding zlib for minisat to appveyor + * Using minisat that's been fixed to build in VS + * Better comments in the AppVeyor filBetter comments in the AppVeyor filee + * Temporarily disable boost + * Install for appveyor minisat + * Fixing "libs" to "lib" for minisat + * Debugging MiniSat finding in AppVeyor + * Debugging Windows build + * Debugging Windows build + * Debugging Windows build + * Installing CygWin + * Use 64b CygWin + * Trying a different way of installing CygWin + * Fixing CygWin + * Fixing local package dir + * Fixing CygWin site location + * Adding CygWin prefix path + * Fixing some warnings + * Fixing one more signed vs unsigned issue + * Suppress warning messages from msbuild + * Moving implementation of destructor + * No warnings from msbuild + * We need ZLIB in STP thanks to MiniSat + * Warnings cannot be suppressed in msbuild + * Trying to fix Boost in AppVeyor + * Removing unused cygwin install command + * Fixing yml for AppVeyor + * Removing a warning + * Fixing signedness and unreachable code warnings + * Removing useless comments + * Removing dead code + * Removing more dead code + * Fixing unused parameter warning + * Trying to make symbol-hiding work + * Trying to remove too much warnings + * change semantics of division /
commit stp for openSUSE:Factory
Hello community,
here is the log from the commit of package stp for openSUSE:Factory checked in
at 2017-03-20 17:10:00
Comparing /work/SRC/openSUSE:Factory/stp (Old)
and /work/SRC/openSUSE:Factory/.stp.new (New)
Package is "stp"
Mon Mar 20 17:10:00 2017 rev:2 rq:480945 version:2.2+20161105
Changes:
--- /work/SRC/openSUSE:Factory/stp/stp.changes 2017-03-10 21:46:01.952774041
+0100
+++ /work/SRC/openSUSE:Factory/.stp.new/stp.changes 2017-03-20
17:10:02.349834435 +0100
@@ -1,0 +2,5 @@
+Mon Feb 27 09:22:51 UTC 2017 - jsl...@suse.com
+
+- require only boost-program-options in tumbleweed
+
+---
Other differences:
--
++ stp.spec ++
--- /var/tmp/diff_new_pack.0HuDk8/_old 2017-03-20 17:10:03.221711326 +0100
+++ /var/tmp/diff_new_pack.0HuDk8/_new 2017-03-20 17:10:03.221711326 +0100
@@ -1,7 +1,7 @@
#
# spec file for package stp
#
-# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -18,7 +18,11 @@
Name: stp
BuildRequires: bison
+%if 0%{?suse_version} > 1320
+BuildRequires: libboost_program_options-devel
+%else
BuildRequires: boost-devel
+%endif
BuildRequires: cmake
BuildRequires: flex
BuildRequires: gcc-c++
@@ -63,7 +67,11 @@
Summary:Devel files for stp
Group: Development/Languages/C and C++
Requires: %{name} = %{version}
+%if 0%{?suse_version} > 1320
+Requires: libboost_program_options-devel
+%else
Requires: boost-devel
+%endif
Requires: libstp2_1 = %{version}
Requires: minisat-devel
commit stp for openSUSE:Factory
Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2017-03-10 21:46:01 Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new (New) Package is "stp" Fri Mar 10 21:46:01 2017 rev:1 rq:458928 version:2.2+20161105 Changes: New Changes file: --- /dev/null 2017-03-01 00:40:19.279048016 +0100 +++ /work/SRC/openSUSE:Factory/.stp.new/stp.changes 2017-03-10 21:46:01.952774041 +0100 @@ -0,0 +1,99 @@ +--- +Sat Feb 18 18:19:46 UTC 2017 - jsl...@suse.com + +- create libstp2_1 for library as required by policy + +--- +Sun Nov 20 18:29:42 UTC 2016 - jsl...@suse.com + +- require minisat-devel and boost-devel in -devel + +--- +Fri Nov 18 15:09:25 UTC 2016 - jsl...@suse.com + +- package also stp_simple, needed for cmake find_package +- Update to version 2.2+20161105: + * Improve performance by creating fewer strings. + * GitSHA1: really disable timestamp when requested + * ASTNode rvalue reference assignment and copy constructor. + * simplifier: use abort() after assert(false) + * bug fix. + * (1) fix building. (2) make index width / value width out of the base class. Saves 8 bytes in bvconst. + * Might fix the issue described in #235. Missing dependencies. + * oops. fix build. + +--- +Fri Oct 28 06:59:23 UTC 2016 - jsl...@suse.com + +- update to 20161028 +- remove simplifier-use-abort-instead-of-assert-false.patch +- remove GitSHA1-really-disable-timestamp-when-requested.patch + +--- +Wed Oct 19 06:12:01 UTC 2016 - jsl...@suse.com + +- update to 20161005 +- switch to ninja and %cmake macros +- disable timestamps +- add simplifier-use-abort-instead-of-assert-false.patch +- add GitSHA1-really-disable-timestamp-when-requested.patch + +--- +Fri Nov 27 10:58:16 UTC 2015 - jsl...@suse.com + +- update to 20151122 + +--- +Tue Nov 3 10:40:57 UTC 2015 - jsl...@suse.com + +- update to 20151030 +- package AUTHORS and LICENSE + +--- +Fri Sep 4 08:31:18 UTC 2015 - jsl...@suse.com + +- update to 20150904 + * remove: AST-simplify-FatalError-and-mark-as-noreturn.patch + +--- +Fri Sep 4 08:09:59 UTC 2015 - jsl...@suse.com + +- remove: fix-no-return-in-nonvoid.patch +- add: AST-simplify-FatalError-and-mark-as-noreturn.patch + +--- +Thu Sep 3 17:56:22 UTC 2015 - jsl...@suse.com + +- update to 20150828 + * drop one hunk from fix-no-return-in-nonvoid.patch + +--- +Mon Apr 20 12:14:45 UTC 2015 - jsl...@suse.com + +- update to 20150418 + * remove: fix-install-paths.patch + * remove: no-build-timestamps.patch + +--- +Thu Apr 16 09:09:41 UTC 2015 - jsl...@suse.com + +- update to 20150415 + * drop one hunk from fix-no-return-in-nonvoid.patch + +--- +Thu Oct 30 10:36:12 UTC 2014 - jsl...@suse.com + +- add no-build-timestamps.patch + +--- +Mon Oct 20 13:51:24 UTC 2014 - jsl...@suse.com + +- update to 20140928 + * many fixes + * remove-broken-functions.patch: remove, upstream + +--- +Tue Apr 15 09:49:38 UTC 2014 - jsl...@suse.com + +- initial commit + New: _service _servicedata stp-2.2+20161105.tar.xz stp.changes stp.spec Other differences: -- ++ stp.spec ++ # # spec file for package stp # # Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany. # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed # upon. The license for this file, and modifications and additions to the # file, is the same license as for the pristine package itself (unless the # license for the pristine package is not an Open Source License, in which # case the license is the MIT License). An "Open Source License" is a # license that conforms to the Open Source Definition (Version 1.9) # published by the Open Source Initiative. # Please submit bugfixes or comments
