Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2022-03-23 20:18:49 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.25692 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Wed Mar 23 20:18:49 2022 rev:30 rq:964255 version:2.2+20220311 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2021-10-26 20:14:42.894042171 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new.25692/klee.changes 2022-03-23 20:20:37.942539272 +0100 @@ -1,0 +2,25 @@ +Wed Mar 16 09:05:12 UTC 2022 - jsl...@suse.cz + +- Update to version 2.2+20220311: + * FD_Fail: use /dev/zero instead of /etc/mtab + * Core/Executor: Fix unaligned write of fp80 arguments + * Core/ExecutionState: Fix uninitialized reads in unit tests + * CI: add `-fno-sanitize-recover=undefined` to UBSAN flags + * tests: make UBSAN print stack traces + * CI: drop `-fsanitize=integer` from UBSAN flags + * CI: Update GTest to 1.11.0 + * CI: Update Z3 to 4.8.14 + * build: fix missing target for grep + * fix CMake: gtest from llvm includes gtest_main + * and many more +- delete (they are all upstream) + * 0001-Support-FileHandling.cpp-rewrite-to-C-14.patch + * 0002-llvm13-llvm-fs-F_None-has-been-removed.patch + * 0003-llvm13-llvm-cl-GeneralCategory-is-no-longer-a-global.patch + * 0004-llvm13-CreateLoad-API-with-implicit-types-has-been-d.patch + * 0005-llvm13-CreateGEP-no-longer-accepts-nullptr.patch + * 0006-llvm13-llvm-APInt-toString-has-been-moved-to-StringE.patch + * 0007-llvm13-Add-LLVM-13-to-lit.cfg.patch + * 0008-llvm13-Add-LLVM-13-to-Travis-CI-and-GitHub-Actions.patch + +------------------------------------------------------------------- Old: ---- 0001-Support-FileHandling.cpp-rewrite-to-C-14.patch 0002-llvm13-llvm-fs-F_None-has-been-removed.patch 0003-llvm13-llvm-cl-GeneralCategory-is-no-longer-a-global.patch 0004-llvm13-CreateLoad-API-with-implicit-types-has-been-d.patch 0005-llvm13-CreateGEP-no-longer-accepts-nullptr.patch 0006-llvm13-llvm-APInt-toString-has-been-moved-to-StringE.patch 0007-llvm13-Add-LLVM-13-to-lit.cfg.patch 0008-llvm13-Add-LLVM-13-to-Travis-CI-and-GitHub-Actions.patch klee-2.2+20211017.obscpio New: ---- klee-2.2+20220311.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.RX2gBM/_old 2022-03-23 20:20:38.726539715 +0100 +++ /var/tmp/diff_new_pack.RX2gBM/_new 2022-03-23 20:20:38.734539720 +0100 @@ -1,7 +1,7 @@ # # spec file for package klee # -# Copyright (c) 2021 SUSE LLC +# Copyright (c) 2022 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -31,7 +31,7 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.2+20211017 +Version: 2.2+20220311 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz @@ -39,14 +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-Support-FileHandling.cpp-rewrite-to-C-14.patch -Patch2: 0002-llvm13-llvm-fs-F_None-has-been-removed.patch -Patch3: 0003-llvm13-llvm-cl-GeneralCategory-is-no-longer-a-global.patch -Patch4: 0004-llvm13-CreateLoad-API-with-implicit-types-has-been-d.patch -Patch5: 0005-llvm13-CreateGEP-no-longer-accepts-nullptr.patch -Patch6: 0006-llvm13-llvm-APInt-toString-has-been-moved-to-StringE.patch -Patch7: 0007-llvm13-Add-LLVM-13-to-lit.cfg.patch -Patch8: 0008-llvm13-Add-LLVM-13-to-Travis-CI-and-GitHub-Actions.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake ++++++ _service ++++++ --- /var/tmp/diff_new_pack.RX2gBM/_old 2022-03-23 20:20:38.778539745 +0100 +++ /var/tmp/diff_new_pack.RX2gBM/_new 2022-03-23 20:20:38.778539745 +0100 @@ -1,6 +1,6 @@ <services> <service name="obs_scm" mode="disabled"> - <param name="url">git://github.com/klee/klee.git</param> + <param name="url">https://github.com/klee/klee</param> <param name="scm">git</param> <param name="changesgenerate">enable</param> <param name="versionformat">@PARENT_TAG@+%cd</param> ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.RX2gBM/_old 2022-03-23 20:20:38.806539761 +0100 +++ /var/tmp/diff_new_pack.RX2gBM/_new 2022-03-23 20:20:38.814539765 +0100 @@ -1,6 +1,5 @@ <servicedata> <service name="tar_scm"> - <param name="url">git://github.com/klee/klee.git</param> - <param name="changesrevision">5ee3a54001fe4291a0a5c3ce3beb33f856836cbb</param></service></servicedata> -(No newline at EOF) + <param name="url">https://github.com/klee/klee</param> + <param name="changesrevision">043f43fd03f06fbd332d16a24bb9f6b58ee66aef</param></service></servicedata> ++++++ klee-2.2+20211017.obscpio -> klee-2.2+20220311.obscpio ++++++ /work/SRC/openSUSE:Factory/klee/klee-2.2+20211017.obscpio /work/SRC/openSUSE:Factory/.klee.new.25692/klee-2.2+20220311.obscpio differ: char 27, line 1 ++++++ klee.obsinfo ++++++ --- /var/tmp/diff_new_pack.RX2gBM/_old 2022-03-23 20:20:38.890539808 +0100 +++ /var/tmp/diff_new_pack.RX2gBM/_new 2022-03-23 20:20:38.894539811 +0100 @@ -1,6 +1,5 @@ name: klee -version: 2.2+20211017 -mtime: 1634506376 -commit: 5ee3a54001fe4291a0a5c3ce3beb33f856836cbb - +version: 2.2+20220311 +mtime: 1647003697 +commit: 043f43fd03f06fbd332d16a24bb9f6b58ee66aef
