Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2024-05-02 23:47:28 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.1880 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Thu May 2 23:47:28 2024 rev:39 rq:1171230 version:3.1+20240418 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2024-02-12 18:55:47.322252987 +0100 +++ /work/SRC/openSUSE:Factory/.klee.new.1880/klee.changes 2024-05-03 10:30:58.215666591 +0200 @@ -1,0 +2,22 @@ +Thu Apr 25 06:08:03 UTC 2024 - jsl...@suse.cz + +- Update to version 3.1+20240418: + * Renamed test/Expr to test/kleaver and move ReadExprConsistency.c to + test/Feature + * Workaround for MSan failures due to + https://github.com/llvm/llvm-project/issues/78354 + * Addressed missing override warnings emitted by recent compilers + * add pythonpath to lit forwarded env vars + * TARGET_TRIPLE was renamed to LLVM_TARGET_TRIPLE since LLVM 15 + * New domain name klee-se.org, updating links. + * Final changes to release notes for v3.1 + * Add support to fully concretise objects if modified externally + * Support external call concretisation policies for referenced objects + * Refactor `ObjectState::flushToConcreteStore` to use `toConstant` + * Use correctly constrained constants if the memory object is fully symbolic + * Correctly update symbolic variables that have been changed externally + * and much more. +- Remove + * 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch (in upstream) + +------------------------------------------------------------------- Old: ---- 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch klee-3.0+20240208.obscpio New: ---- klee-3.1+20240418.obscpio BETA DEBUG BEGIN: Old:- Remove * 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch (in upstream) BETA DEBUG END: ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.c9r880/_old 2024-05-03 10:30:59.091698510 +0200 +++ /var/tmp/diff_new_pack.c9r880/_new 2024-05-03 10:30:59.091698510 +0200 @@ -30,14 +30,13 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 3.0+20240208 +Version: 3.1+20240418 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz Source1: %{name}-rpmlintrc Source2: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version}.0.0/llvm/utils/not/not.cpp Source3: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version}.0.0/llvm/utils/FileCheck/FileCheck.cpp -Patch0: 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.c9r880/_old 2024-05-03 10:30:59.143700404 +0200 +++ /var/tmp/diff_new_pack.c9r880/_new 2024-05-03 10:30:59.147700550 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/klee/klee</param> - <param name="changesrevision">9336cd28f6e58c2f9bc01ec3dbf3930688ad0287</param></service></servicedata> + <param name="changesrevision">cc7f3ff55170c476aa01cf1973ee16e5c31cb0d0</param></service></servicedata> (No newline at EOF) ++++++ klee-3.0+20240208.obscpio -> klee-3.1+20240418.obscpio ++++++ /work/SRC/openSUSE:Factory/klee/klee-3.0+20240208.obscpio /work/SRC/openSUSE:Factory/.klee.new.1880/klee-3.1+20240418.obscpio differ: char 48, line 1 ++++++ klee.obsinfo ++++++ --- /var/tmp/diff_new_pack.c9r880/_old 2024-05-03 10:30:59.195702300 +0200 +++ /var/tmp/diff_new_pack.c9r880/_new 2024-05-03 10:30:59.199702445 +0200 @@ -1,5 +1,5 @@ name: klee -version: 3.0+20240208 -mtime: 1707398239 -commit: 9336cd28f6e58c2f9bc01ec3dbf3930688ad0287 +version: 3.1+20240418 +mtime: 1713427003 +commit: cc7f3ff55170c476aa01cf1973ee16e5c31cb0d0
