Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2020-01-25 13:24:21 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.26092 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Sat Jan 25 13:24:21 2020 rev:19 rq:766883 version:2.0+20200119 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2019-11-04 17:16:01.316877481 +0100 +++ /work/SRC/openSUSE:Factory/.klee.new.26092/klee.changes 2020-01-25 13:24:36.804048474 +0100 @@ -1,0 +2,31 @@ +Fri Jan 24 07:34:10 UTC 2020 - [email protected] + +- Update to version 2.0+20200119: + * Remove statistics limit from istats. + * Fix handling of debug information for functions + * Update objdump script to support python3 + * Fixed documentation for command line argument link-llvm-lib + * Assume assembly.ll is local to the run.istats file + * Remove unnecessary std::move's that prevent copy elision + * [optimize-array] Fix value transformation + * [optimize-array] Fix hole index in buildMixedSelectExpr + * [optimize-array] Fix hash collisions + * [optimize-array] Hash collision test + * [optimize-array] Fix update list read order + * [Searchers] Remove weight from es, add nurs_depth + * Move merging related code from Executor into MergingSearcher + * Implement @llvm.is.constant() intrinsic handling and add a test for it. + * [expr-visitor] Remove unnecessary allocation + * Handle llvm.objectsize explicitly + * Added test for 3-argument main. + * Allow main with 3 arguments + * Most libc++ tests require uclibc; add missing REQUIRES statements or remove dependency. + * Core: Executor, remove unused variable + * Do not modify strings if they are read-only. + * Mark all constant global memory objects as constant + * [test] Fix missing includes + * runtime: fix for glibc 2.30 + * Remove the duplicated check for DebugInfoIntrinsic +- Remove 0001-runtime-workaround-for-glibc-2.30.patch (upstreamed) + +------------------------------------------------------------------- Old: ---- 0001-runtime-workaround-for-glibc-2.30.patch klee-2.0+20191031.tar.xz New: ---- klee-2.0+20200119.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.F8t4U5/_old 2020-01-25 13:24:37.560048806 +0100 +++ /var/tmp/diff_new_pack.F8t4U5/_new 2020-01-25 13:24:37.560048806 +0100 @@ -1,7 +1,7 @@ # # spec file for package klee # -# 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 @@ -20,7 +20,7 @@ %define llvm_version_minor 0 %define llvm_version %{llvm_version_major} -%define version_unconverted 2.0+20191031 +%define version_unconverted 2.0+20200119 %ifarch %{ix86} x86_64 %define with_uclibc 1 @@ -32,14 +32,13 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.0+20191031 +Version: 2.0+20200119 Release: 0 -Url: http://klee.github.io/ +URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz Source1: %{name}-rpmlintrc Source2: https://raw.githubusercontent.com/llvm-mirror/llvm/release_%{llvm_version_major}%{llvm_version_minor}/utils/not/not.cpp Source3: https://raw.githubusercontent.com/llvm-mirror/llvm/release_%{llvm_version_major}%{llvm_version_minor}/utils/FileCheck/FileCheck.cpp -Patch0: 0001-runtime-workaround-for-glibc-2.30.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake @@ -52,7 +51,8 @@ BuildRequires: libselinux-devel BuildRequires: llvm%{llvm_version}-devel BuildRequires: ninja -BuildRequires: python3-base +# tests need sqlite3 +BuildRequires: python3 BuildRequires: python3-lit BuildRequires: python3-setuptools BuildRequires: python3-tabulate @@ -107,7 +107,7 @@ -DKLEE_UCLIBC_PATH=%{_libdir}/klee-uclibc/ \ %endif -DBUILD_SHARED_LIBS:BOOL=OFF -%make_jobs +%cmake_build %check %ifarch x86_64 ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.F8t4U5/_old 2020-01-25 13:24:37.596048821 +0100 +++ /var/tmp/diff_new_pack.F8t4U5/_new 2020-01-25 13:24:37.596048821 +0100 @@ -1,4 +1,4 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/klee/klee.git</param> - <param name="changesrevision">2b0b0f89fcfff828b6dd8c20f58d872c7395dba4</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">d9888fcefc216b16404a39ac7b82a8fd8d5f343f</param></service></servicedata> \ No newline at end of file ++++++ klee-2.0+20191031.tar.xz -> klee-2.0+20200119.tar.xz ++++++ ++++ 5453 lines of diff (skipped)
