Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2020-09-24 16:15:01
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.4249 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee"
Thu Sep 24 16:15:01 2020 rev:23 rq:836443 version:2.1+20200921
Changes:
--------
--- /work/SRC/openSUSE:Factory/klee/klee.changes 2020-08-14
09:34:32.244435575 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new.4249/klee.changes 2020-09-24
16:15:26.980970970 +0200
@@ -1,0 +2,17 @@
+Wed Sep 23 07:11:05 UTC 2020 - jsl...@suse.com
+
+- Update to version 2.1+20200921:
+ * Added a PR template, with a checklist documenting the most frequent issues
we have encountered
+ * [gen-bout] Support multiple symbolic files
+ * Add klee-zesti a ZESTI like wrapper script
+ * Fix codecov upload
+ * Remove secure vars
+ * Guard process-tree compression with a command-line switch
+ * More robust handling of unknown intrinsics
+ * Definition of __cxa_thread_atexit_impl for the KLEE libc.
+ * klee-stats: check for a run.stats file in the klee-out directory, to
prevent outputting wrong data.
+ * DiscretePDF: use IDs instead of pointers (see PR #739)
+ * New intrinsic: klee_is_replay
+- disable 32 bit archs as klee doesn't (and won't) build on them
+
+-------------------------------------------------------------------
Old:
----
klee-2.1+20200730.obscpio
New:
----
klee-2.1+20200921.obscpio
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ klee.spec ++++++
--- /var/tmp/diff_new_pack.Etyjoj/_old 2020-09-24 16:15:28.276972267 +0200
+++ /var/tmp/diff_new_pack.Etyjoj/_new 2020-09-24 16:15:28.276972267 +0200
@@ -19,7 +19,7 @@
%define llvm_version_major 10
%define llvm_version %{llvm_version_major}
-%define version_unconverted 2.1+20200730
+%define version_unconverted 2.1+20200921
%ifarch %{ix86} x86_64
%define with_uclibc 1
@@ -31,7 +31,7 @@
Summary: LLVM Execution Engine
License: NCSA
Group: Development/Languages/Other
-Version: 2.1+20200730
+Version: 2.1+20200921
Release: 0
URL: http://klee.github.io/
Source0: %{name}-%{version}.tar.xz
@@ -50,15 +50,17 @@
BuildRequires: libselinux-devel
BuildRequires: llvm%{llvm_version}-devel
BuildRequires: ninja
-# tests need sqlite3
BuildRequires: python3
BuildRequires: python3-lit
BuildRequires: python3-setuptools
BuildRequires: python3-tabulate
+# tests need sqlite3
BuildRequires: sqlite3-devel
BuildRequires: stp-devel
BuildRequires: xz
BuildRequires: zlib-devel
+# 32 bit doesn't build and won't be fixed
+ExcludeArch: %{ix86} %{arm}
%description
KLEE is a symbolic virtual machine built on top of the LLVM compiler
@@ -76,6 +78,7 @@
sed -i '1s@/usr/bin/env python3*@/usr/bin/python3@' \
test/Concrete/ConcreteTest.py \
tools/klee-stats/klee-stats \
+ tools/klee-zesti/klee-zesti \
tools/ktest-tool/ktest-tool
%build
@@ -132,6 +135,7 @@
%{_bindir}/klee
%{_bindir}/klee-replay
%{_bindir}/klee-stats
+%{_bindir}/klee-zesti
%{_bindir}/ktest-tool
%{_includedir}/klee/
%{_libdir}/libkleeRuntest.so*
++++++ _servicedata ++++++
--- /var/tmp/diff_new_pack.Etyjoj/_old 2020-09-24 16:15:28.364972354 +0200
+++ /var/tmp/diff_new_pack.Etyjoj/_new 2020-09-24 16:15:28.364972354 +0200
@@ -1,4 +1,4 @@
<servicedata>
<service name="tar_scm">
<param name="url">git://github.com/klee/klee.git</param>
- <param
name="changesrevision">088fc21e12c9675161172899be5ef5051f1ae96b</param></service></servicedata>
\ No newline at end of file
+ <param
name="changesrevision">a8d51ee568e2e2da339fea8c775d8df53ff40038</param></service></servicedata>
\ No newline at end of file
++++++ klee-2.1+20200730.obscpio -> klee-2.1+20200921.obscpio ++++++
/work/SRC/openSUSE:Factory/klee/klee-2.1+20200730.obscpio
/work/SRC/openSUSE:Factory/.klee.new.4249/klee-2.1+20200921.obscpio differ:
char 49, line 1
++++++ klee.obsinfo ++++++
--- /var/tmp/diff_new_pack.Etyjoj/_old 2020-09-24 16:15:28.432972423 +0200
+++ /var/tmp/diff_new_pack.Etyjoj/_new 2020-09-24 16:15:28.432972423 +0200
@@ -1,5 +1,5 @@
name: klee
-version: 2.1+20200730
-mtime: 1596123871
-commit: 088fc21e12c9675161172899be5ef5051f1ae96b
+version: 2.1+20200921
+mtime: 1600708094
+commit: a8d51ee568e2e2da339fea8c775d8df53ff40038
