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-04-03 17:46:45 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.9019 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Mon Apr 3 17:46:45 2023 rev:35 rq:1076898 version:2.3+20230326 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2023-03-22 22:32:06.226634536 +0100 +++ /work/SRC/openSUSE:Factory/.klee.new.9019/klee.changes 2023-04-03 17:46:52.108621930 +0200 @@ -1,0 +2,24 @@ +Mon Mar 27 10:31:57 UTC 2023 - jsl...@suse.cz + +- Update to version 2.3+20230326: + * tests: add some missing headers + * fix unused variables warning + * Remove model_version from the POSIX runtime, as we have never used it. + * tests: add some + * stats: add some + * remove obsolete header + * Run KDAlloc/rusage unittest a few times to allow for swapfile interference + * Added more test cases for --entry-point. EntryPointMissing is currently expected to fail. + * STP: add option to switch SAT solver: --stp-sat-solver and set default to CryptoMinisat + * Change `llvm_map_components_to_libnames` to `llvm_config` CMake function + * use C++17 + * Require minimal version of CMake 3.16 for KLEE + * Remove hard to understand and debug pcregrep test + * klee-stats: improve error message for missing tabulate package + * Handle fail of KLEE gracefully + * Explicitly check if 32bit support is enabled for testing +- remove + * 0001-cmake-implement-USE_MAP-to-support-single-LLVM-libra.patch + It's in upstream in a different form. + +------------------------------------------------------------------- Old: ---- 0001-cmake-implement-USE_MAP-to-support-single-LLVM-libra.patch klee-2.3+20230320.obscpio New: ---- klee-2.3+20230326.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.xG2AiY/_old 2023-04-03 17:46:52.808214728 +0200 +++ /var/tmp/diff_new_pack.xG2AiY/_new 2023-04-03 17:46:52.812235377 +0200 @@ -31,7 +31,7 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.3+20230320 +Version: 2.3+20230326 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 -Patch1: 0001-cmake-implement-USE_MAP-to-support-single-LLVM-libra.patch Patch2: 0001-gcc13-include-cstint-for-int-_t.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.xG2AiY/_old 2023-04-03 17:46:52.872545101 +0200 +++ /var/tmp/diff_new_pack.xG2AiY/_new 2023-04-03 17:46:52.876565749 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/klee/klee</param> - <param name="changesrevision">1398e960ec9aca3f0ceac5e37062631986b9c2a8</param></service></servicedata> + <param name="changesrevision">67ec44723e9ce232f067964e7e9fb26090be305d</param></service></servicedata> (No newline at EOF) ++++++ klee-2.3+20230320.obscpio -> klee-2.3+20230326.obscpio ++++++ /work/SRC/openSUSE:Factory/klee/klee-2.3+20230320.obscpio /work/SRC/openSUSE:Factory/.klee.new.9019/klee-2.3+20230326.obscpio differ: char 49, line 1 ++++++ klee.obsinfo ++++++ --- /var/tmp/diff_new_pack.xG2AiY/_old 2023-04-03 17:46:52.932854825 +0200 +++ /var/tmp/diff_new_pack.xG2AiY/_new 2023-04-03 17:46:52.932854825 +0200 @@ -1,5 +1,5 @@ name: klee -version: 2.3+20230320 -mtime: 1679328338 -commit: 1398e960ec9aca3f0ceac5e37062631986b9c2a8 +version: 2.3+20230326 +mtime: 1679843207 +commit: 67ec44723e9ce232f067964e7e9fb26090be305d
