Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package stp for openSUSE:Factory checked in at 2023-03-22 22:31:17 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/stp (Old) and /work/SRC/openSUSE:Factory/.stp.new.31432 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "stp" Wed Mar 22 22:31:17 2023 rev:14 rq:1073729 version:2.3.3+20220915 Changes: -------- --- /work/SRC/openSUSE:Factory/stp/stp.changes 2022-08-03 21:17:02.511496216 +0200 +++ /work/SRC/openSUSE:Factory/.stp.new.31432/stp.changes 2023-03-22 22:32:07.402640454 +0100 @@ -1,0 +2,47 @@ +Wed Mar 22 09:20:33 UTC 2023 - [email protected] + +- Update to version 2.3.3+20220915: + * Fix compilation error on libstdc++-7-dev + * disable SQLITE when building cms + * Fix so user flags are respected + * Convert ordered collections to faster unordered collections. + * copy on write to reduce the number of malloc/free + * Cleanup the dependency building code + * Small changes to make core simplification algorithms faster. + * Improve again on the performance of QF_BV benchmark problems. + * Handle an extra case in unconstrained variable elimination. + * Improve again on the performance of QF_BV benchmark problems. + * Fix test cases so that they work when stp has pure variable removal disabled. + * Tune the parameters to improve performance on QF_BV benchmark problems + * Adding REQUIRE for Perl + * Remove some mentions of the CVC format from our documentation. + * Remove mention of CVC from front readme. + * Update codeql-analysis.yml + * fix #128 + * Clarrify as discussed in #4, that the bitvector library is also licensed under the artistic licence. + * move cvc_to_c utility out of unit testing into tools. + * remove tests which are not currently being used + * Update main.cpp + * Adds an extra simplification rule. fix #381. + * Fix #383. Makes bvxnor 2-arity only. + * oops. Fix inadvertent checkin + * Write through unapplied simplfications. Previously this was unsound if unconstrained variable elimination (UVE) was disabled. UVE wrote through unapplied simplifications so masked the problem. + * rename tests which aren't really unit tests. + * Improve testing. The intention of these is that the combination of simplifications reduces them to true or false before reaching the SAT solver. + * Enable some generated tests that weren't previously enabled + * remove old test generators. FuzzSMT is much better than these + * Add failing instance + * Update codeql-analysis.yml + * Fix testing failures. Lit 15 is trying to run the test suites which I think is causing a CI failure. + * Remove disabled CVC test file. In some configurations it seems to be run resulting in a spurious test failure + * Cleanup memory leak on shutdown. + * Add the dissertation which also describes parts of STP + * silence some compiler warnings + * Fixing up some of the tools + * Update index.rst + * Rewrite Dockerfile + * fix #363 + * Correcting command line argument for '--max_time' +- add 0001-gcc-13-include-cstdint-for-int-_t.patch + +------------------------------------------------------------------- Old: ---- stp-2.3.3+20220722.obscpio New: ---- 0001-gcc-13-include-cstdint-for-int-_t.patch stp-2.3.3+20220915.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ stp.spec ++++++ --- /var/tmp/diff_new_pack.VD9z2c/_old 2023-03-22 22:32:07.990643412 +0100 +++ /var/tmp/diff_new_pack.VD9z2c/_new 2023-03-22 22:32:07.998643453 +0100 @@ -1,7 +1,7 @@ # # spec file for package stp # -# Copyright (c) 2022 SUSE LLC +# Copyright (c) 2023 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -18,7 +18,7 @@ %define sover 2_3 Name: stp -Version: 2.3.3+20220722 +Version: 2.3.3+20220915 Release: 0 Summary: Constraint Solver License: MIT @@ -26,6 +26,7 @@ Source0: %{name}-%{version}.tar.xz Patch0: py3.patch Patch1: CMakeLists-use-absolute-libdir-in-rpath-handling.patch +Patch2: 0001-gcc-13-include-cstdint-for-int-_t.patch BuildRequires: bison BuildRequires: cmake BuildRequires: flex ++++++ 0001-gcc-13-include-cstdint-for-int-_t.patch ++++++ >From 46fde27d3274e84414a55c80231628f9a86c188e Mon Sep 17 00:00:00 2001 From: Jiri Slaby <[email protected]> Date: Wed, 22 Mar 2023 10:22:16 +0100 Subject: [PATCH] [gcc 13] include cstdint for *int*_t References: https://github.com/stp/stp/pull/462 Otherwise we see errors like this with gcc13: include/stp/AST/ASTNode.h:77:3: error: 'uint8_t' does not name a type --- include/stp/AST/ASTNode.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/include/stp/AST/ASTNode.h b/include/stp/AST/ASTNode.h index e05f8925..a05c15d6 100644 --- a/include/stp/AST/ASTNode.h +++ b/include/stp/AST/ASTNode.h @@ -24,6 +24,8 @@ THE SOFTWARE. #ifndef ASTNODE_H #define ASTNODE_H +#include <cstdint> + #include "stp/NodeFactory/HashingNodeFactory.h" #include "stp/Util/Attributes.h" #include "ASTInternal.h" -- 2.35.3 ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.VD9z2c/_old 2023-03-22 22:32:08.074643835 +0100 +++ /var/tmp/diff_new_pack.VD9z2c/_new 2023-03-22 22:32:08.078643855 +0100 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/stp/stp</param> - <param name="changesrevision">49a7dac043678680f222827c749a98cd60aed10e</param></service></servicedata> + <param name="changesrevision">33b6355fe8b342d00a07f43c238b04a1ff884b2e</param></service></servicedata> (No newline at EOF) ++++++ stp-2.3.3+20220722.obscpio -> stp-2.3.3+20220915.obscpio ++++++ /work/SRC/openSUSE:Factory/stp/stp-2.3.3+20220722.obscpio /work/SRC/openSUSE:Factory/.stp.new.31432/stp-2.3.3+20220915.obscpio differ: char 48, line 1 ++++++ stp.obsinfo ++++++ --- /var/tmp/diff_new_pack.VD9z2c/_old 2023-03-22 22:32:08.122644076 +0100 +++ /var/tmp/diff_new_pack.VD9z2c/_new 2023-03-22 22:32:08.126644097 +0100 @@ -1,5 +1,5 @@ name: stp -version: 2.3.3+20220722 -mtime: 1658445181 -commit: e8d153f196dcdf609add70e867f2188d58ffcc97 +version: 2.3.3+20220915 +mtime: 1663164057 +commit: 33b6355fe8b342d00a07f43c238b04a1ff884b2e
