Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2023-06-23 21:52:44 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.15902 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Fri Jun 23 21:52:44 2023 rev:36 rq:1094768 version:3.0+20230611 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2023-04-03 17:46:52.108621930 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new.15902/klee.changes 2023-06-23 21:52:47.430678855 +0200 @@ -1,0 +2,24 @@ +Thu Jun 15 06:54:19 UTC 2023 - [email protected] + +- Update to version 3.0+20230611: + * Rewrote has_permission in the POSIX runtime. + * SpecialFunctionHandler: use std::array for handlerInfo + * fix ktest-randgen: use after free + * Fixed a format specifier pointed to by a compiler warning. + * Build and push Docker image as part of a release + * Use recommended LLVM 13 as part of the Docker image + * ktest-gen: remove unused function + * Further improve KDAlloc memory usage with infinite quarantine + * test/Feature/StackTraceOutput.c: relative checks, clang-format + * re-enable StackTraceOutput.c test + * make BatchingSearcher more readable + * fix BatchingSearcher's disabled time budget + * also check for default CHECK directive in ArrayOpt Tests + * CMake: use check_c_source_compiles() for FSTATAT_PATH_ACCEPTS_NULL + * config.h: include FSTATAT_PATH_ACCEPTS_NULL + * doxygen.cfg.in: DOXYGEN_OUTPUT_DIR + * and much more +- remove + * 0001-gcc13-include-cstint-for-int-_t.patch (in upstream) + +------------------------------------------------------------------- Old: ---- 0001-gcc13-include-cstint-for-int-_t.patch klee-2.3+20230326.obscpio New: ---- klee-3.0+20230611.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.UIKpGK/_old 2023-06-23 21:52:48.446684677 +0200 +++ /var/tmp/diff_new_pack.UIKpGK/_new 2023-06-23 21:52:48.450684700 +0200 @@ -31,7 +31,7 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.3+20230326 +Version: 3.0+20230611 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz @@ -39,7 +39,6 @@ Source2: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version_major}.0.0/llvm/utils/not/not.cpp Source3: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version_major}.0.0/llvm/utils/FileCheck/FileCheck.cpp Patch0: 0001-test-disable-until-it-is-fixed.patch -Patch2: 0001-gcc13-include-cstint-for-int-_t.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake BuildRequires: gperftools-devel ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.UIKpGK/_old 2023-06-23 21:52:48.506685021 +0200 +++ /var/tmp/diff_new_pack.UIKpGK/_new 2023-06-23 21:52:48.510685044 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/klee/klee</param> - <param name="changesrevision">67ec44723e9ce232f067964e7e9fb26090be305d</param></service></servicedata> + <param name="changesrevision">c10e9e926700773e01f44fbb1917deac7be2aaea</param></service></servicedata> (No newline at EOF) ++++++ klee-2.3+20230326.obscpio -> klee-3.0+20230611.obscpio ++++++ /work/SRC/openSUSE:Factory/klee/klee-2.3+20230326.obscpio /work/SRC/openSUSE:Factory/.klee.new.15902/klee-3.0+20230611.obscpio differ: char 49, line 1 ++++++ klee-rpmlintrc ++++++ --- /var/tmp/diff_new_pack.UIKpGK/_old 2023-06-23 21:52:48.550685274 +0200 +++ /var/tmp/diff_new_pack.UIKpGK/_new 2023-06-23 21:52:48.554685296 +0200 @@ -1,3 +1,3 @@ -addFilter("devel-file-in-non-devel-package") addFilter("shlib-policy-name-error .*libkleeRuntest") +addFilter("devel-file-in-non-devel-package") ++++++ klee.obsinfo ++++++ --- /var/tmp/diff_new_pack.UIKpGK/_old 2023-06-23 21:52:48.574685411 +0200 +++ /var/tmp/diff_new_pack.UIKpGK/_new 2023-06-23 21:52:48.578685434 +0200 @@ -1,5 +1,5 @@ name: klee -version: 2.3+20230326 -mtime: 1679843207 -commit: 67ec44723e9ce232f067964e7e9fb26090be305d +version: 3.0+20230611 +mtime: 1686507804 +commit: c10e9e926700773e01f44fbb1917deac7be2aaea
