commit klee for openSUSE:Factory
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.changes2020-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 @@
git://github.com/klee/klee.git
- 088fc21e12c9675161172899be5ef5051f1ae96b
\ No newline at end of file
+ a8d51ee568e2e2da339fea8c775d8df53ff40038
\ 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
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2020-08-14 09:32:53
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.3399 (New)
Package is "klee"
Fri Aug 14 09:32:53 2020 rev:22 rq:826246 version:2.1+20200730
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2020-06-16
13:46:34.670202337 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new.3399/klee.changes 2020-08-14
09:34:32.244435575 +0200
@@ -1,0 +2,22 @@
+Thu Aug 06 09:35:38 UTC 2020 - jsl...@suse.com
+
+- Update to version 2.1+20200730:
+ * introduce --rng-initial-seed=
+ * remove holes in Instruction-/FunctionInfoTable, add documentation
+ * Clean-up and add documentation
+ * Remove state contructor with constraints
+ * Use constraint sets and separate metadata for timing solver invocation
+ * Separate constraint set and constraint manager
+ * Move constraint implementation from header to cpp files
+ * Enable subsets for RandomPathSearcher
+ * [PTree] Replace left/right with PointerIntPair
+ * Implement fshr/fshl intrinsics
+ * Switch to a more recent version of SQLite in the CI
+ * Enforce fork/branch limits in branch() and fix double termination
+ * fix Executor: initializeGlobalAliases
+ * ExecutorUtil: assert that GlobalValue is already known
+ * add simple unknown bitcast alias test from the original issue
+ * and more
+- switch to obs_scm
+
+---
Old:
klee-2.1+20200606.tar.xz
New:
klee-2.1+20200730.obscpio
klee.obsinfo
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.BdDB48/_old 2020-08-14 09:34:32.980435952 +0200
+++ /var/tmp/diff_new_pack.BdDB48/_new 2020-08-14 09:34:32.984435954 +0200
@@ -19,7 +19,7 @@
%define llvm_version_major 10
%define llvm_version %{llvm_version_major}
-%define version_unconverted 2.1+20200606
+%define version_unconverted 2.1+20200730
%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+20200606
+Version:2.1+20200730
Release:0
URL:http://klee.github.io/
Source0:%{name}-%{version}.tar.xz
++ _service ++
--- /var/tmp/diff_new_pack.BdDB48/_old 2020-08-14 09:34:33.024435974 +0200
+++ /var/tmp/diff_new_pack.BdDB48/_new 2020-08-14 09:34:33.028435976 +0200
@@ -1,5 +1,5 @@
-
+
git://github.com/klee/klee.git
git
enable
@@ -7,9 +7,11 @@
v(.*)
\1
-
+
+
+
+
klee-*.tar
xz
-
++ _servicedata ++
--- /var/tmp/diff_new_pack.BdDB48/_old 2020-08-14 09:34:33.052435988 +0200
+++ /var/tmp/diff_new_pack.BdDB48/_new 2020-08-14 09:34:33.052435988 +0200
@@ -1,4 +1,4 @@
git://github.com/klee/klee.git
- 6ca440f14381c8f0461ede18eccc16bba1135e88
\ No newline at end of file
+ 088fc21e12c9675161172899be5ef5051f1ae96b
\ No newline at end of file
++ klee.obsinfo ++
name: klee
version: 2.1+20200730
mtime: 1596123871
commit: 088fc21e12c9675161172899be5ef5051f1ae96b
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2020-06-16 13:45:47
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.3606 (New)
Package is "klee"
Tue Jun 16 13:45:47 2020 rev:21 rq:814841 version:2.1+20200606
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2020-04-28
22:30:11.549509947 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new.3606/klee.changes 2020-06-16
13:46:34.670202337 +0200
@@ -1,0 +2,15 @@
+Tue Jun 09 07:08:47 UTC 2020 - jsl...@suse.com
+
+- Update to version 2.1+20200606:
+ * [Module] Add testcase for inline asm lifting
+ * [Module] Disable lifting for inline asm resembling memory fences with
return values
+ * Add test case from #1257 to reproduce behaviour
+ * [Solver:STP] Fix handling of array names
+ * docker: install KLEE headers in system include path
+ * Moved header files that were placed directly in include/klee/ into
appropriate existing directories and a new directory Statistics; a few missing
renames.
+ * Removed include/klee/util and moved header files to appropriate places
+ * Created include/klee/Core directory and moved appropriate files direc\ tly
in lib/Core
+ * Move header files from lib/Expr to include/klee/Expr to eliminate includes
using "../"
+ * Removed the Internal directory from include/klee
+
+---
Old:
klee-2.1+20200420.tar.xz
New:
klee-2.1+20200606.tar.xz
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.gDWvtL/_old 2020-06-16 13:46:36.682218519 +0200
+++ /var/tmp/diff_new_pack.gDWvtL/_new 2020-06-16 13:46:36.686218551 +0200
@@ -19,7 +19,7 @@
%define llvm_version_major 10
%define llvm_version %{llvm_version_major}
-%define version_unconverted 2.1+20200420
+%define version_unconverted 2.1+20200606
%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+20200420
+Version:2.1+20200606
Release:0
URL:http://klee.github.io/
Source0:%{name}-%{version}.tar.xz
++ _servicedata ++
--- /var/tmp/diff_new_pack.gDWvtL/_old 2020-06-16 13:46:36.750219066 +0200
+++ /var/tmp/diff_new_pack.gDWvtL/_new 2020-06-16 13:46:36.750219066 +0200
@@ -1,4 +1,4 @@
git://github.com/klee/klee.git
- e6d3f654df90dc6211d6c4993b937ef44b945f36
\ No newline at end of file
+ 6ca440f14381c8f0461ede18eccc16bba1135e88
\ No newline at end of file
++ klee-2.1+20200420.tar.xz -> klee-2.1+20200606.tar.xz ++
11730 lines of diff (skipped)
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2020-04-28 22:30:09
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.2738 (New)
Package is "klee"
Tue Apr 28 22:30:09 2020 rev:20 rq:798304 version:2.1+20200420
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2020-01-25
13:24:36.804048474 +0100
+++ /work/SRC/openSUSE:Factory/.klee.new.2738/klee.changes 2020-04-28
22:30:11.549509947 +0200
@@ -1,0 +2,68 @@
+Sat Apr 25 22:10:44 UTC 2020 - aaronpuch...@alice-dsl.net
+
+- Update to version 2.1+20200420:
+ * Consistently define variable using notation VAR=value; fixed comment
placement
+ * Named jobs in Travis CI for better visualization of results
+ * [posix-runtime] Improve model to handle full-path symbolic files
+ * [posix-runtime] Add test for full path consistency for symbolic files
+ * readStringAtAddress: support pointer into objects
+ * test: add a new test for readStringAtAddress
+ * readStringAtAddress: use stringstream to obtain the string
+ * stats: rename QueriesConstructs to QueryConstructs
+ * Statistic: slightly modernise class definition
+ * stats: remove queryConstructTime (unused)
+ * Add unit test for Z3Solver::getConstraintLog
+ * Run "pkg update -f" before installing dependencies on FreeBSD
+ * Don't search for CryptoMiniSAT when configuring STP
+ * Fixed some messages, particularly Klee -> KLEE
+ * Ensure that temp_builder is used when adding constant array value
assertion constraints
+ * StatsTracker: remove NumObjects, fix assignment of and always write
ArrayHashTime
+ * [posix-runtime] Simple GET/SET_LK model
+ * Additional test for dealing with vector instructions
+ * Added another `ScalarizerLegacyPass` run to remove vectorized code
introduced during the optimization step
+ * Fixed compiler warning when printing variable of type off_t
+ * stat64 is deprecated on macOS; use stat instead
+ * Use -snap VMs on Cirrus for FreeBSD
+ * Updating KLEE's version post-release
+ * Release notes for 2.1
+ * Set version to 2.1
+ * fix lit.cfg: numerical comparison of LLVM version numbers
+ * travis: add LLVM 10.0
+ * test/lit.cfg: add LLVM 10.0
+ * stats: enforce table creation
+ * [klee-stats] Grafana: Limit number of entries to query for column names
+ * [klee-stats] Use the last row inserted instead of the row with highest
Instructions
+ * [klee-stats] Refactor preparing and printing the table
+ * [klee-stats] Check for existence of stats file for Grafana as well
+ * [klee-stats] Do not crash if tabulate is not installed but requested
+ * [klee-stats] Refactor writing table into own function
+ * [klee-stats] Refactor CSV printout in own function
+ * [klee-stats] Check if stats file exist before trying to open it
+ * Add leading zeros to genbout
+ * fix p-llvm.inc: invocation for monorepo directory layout
+ * find_llvm.cmake: enable parsing for git version
+ * Use FreeBSD 11.3-STABLE instead of EoLed 11.2.
+ * Workaround `pkg` breakage on FreeBSD CI.
+ * Use `ref<>` for MemoryObject handling
+ * Use `ref<>` for UpdateNode
+ * Clean-up header files
+ * Add move assignment operator and move construct for `ref` class.
+ * Add `ReferenceCounter` struct utilized by ref<>
+ * Fix ptr reference invalidation if last reference gets freed before new
reference assigned.
+ * Use call-by-reference for hash-function invocation
+ * Replace old TR1 implementations of unordered_map/set with std::* versions
+ * Use a newer Ubuntu 18.04 from the year 2020 to build KLEE Dockerimage
+ * Use a newer Ubuntu 18.04 from the year 2020 to build KLEE
+ * Update Docker image template for KLEE.
+ * Use system's boost when building metasmt and user newer boolector version
+ * Do not wait if SANITIZER_BUILD is empty
+ * Add llvm as build dependency of clang in case no system packages are
available
+ * Add patch support for libcxx
+ * Use git repository to build LLVM
+ * Update ubuntu build dependencies for KLEE
+ * update
+- Switch to LLVM 10.
+- Disable assertions.
+- Take "FileCheck" and "not" from official git repository.
+
+---
Old:
klee-2.0+20200119.tar.xz
New:
klee-2.1+20200420.tar.xz
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.KpWtzi/_old 2020-04-28 22:30:12.393511522 +0200
+++ /var/tmp/diff_new_pack.KpWtzi/_new 2020-04-28 22:30:12.397511529 +0200
@@ -16,11 +16,10 @@
#
-%define llvm_version_major 9
-%define llvm_version_minor 0
+%define llvm_version_major 10
%define llvm_version %{llvm_version_major}
-%define version_unconverted 2.0+20200119
+%define version_unconverted
commit klee for openSUSE:Factory
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.changes2019-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 - jsl...@suse.com
+
+- 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 @@
git://github.com/klee/klee.git
- 2b0b0f89fcfff828b6dd8c20f58d872c7395dba4
\ No newline at end of file
+ d9888fcefc216b16404a39ac7b82a8fd8d5f343f
\ No newline at end of file
++ klee-2.0+20191031.tar.xz -> klee-2.0+20200119.tar.xz ++
5453 lines of diff (skipped)
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2019-11-04 17:15:53
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.2990 (New)
Package is "klee"
Mon Nov 4 17:15:53 2019 rev:18 rq:745088 version:2.0+20191031
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2019-10-04
16:07:17.104620091 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new.2990/klee.changes 2019-11-04
17:16:01.316877481 +0100
@@ -1,0 +2,21 @@
+Mon Nov 04 06:50:43 UTC 2019 - jsl...@suse.com
+
+- switch to llvm 9
+- Update to version 2.0+20191031:
+ * Executor: fix missing default case in switch instruction
+ * enable testing for LLVM 9.0
+ * LLVM 9.0: fourth parameter for @llvm.objectsize()
+ * klee-libc: add bcmp
+ * support compilation against LLVM 9.0
+ * [klee-replay] Fix relative executable paths
+ * ExecutorTimers: refactor and move to support lib
+ * ExecutorTimers: remove signalling, fix endless looping fork
+ * Executor.h: remove defined functions without implementation
+ * test/Expr/Evaluate2.kquery: add link to issue
+ * fix: make llvm 7.1 known
+ * test/Feature/SolverTimeout.c: re-enable for Z3
+ * test/lit.cfg: test if current version is known
+ * test/lit.cfg: use lit_config instead of lit
+ * Do not use klee_range() in regression/2014-09-13-debug-info.c test, as it
is incompatible with klee_prefer_cex. Fixes
https://github.com/klee/klee/issues/1161
+
+---
Old:
klee-2.0+20190920.tar.xz
New:
klee-2.0+20191031.tar.xz
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.k5bjxt/_old 2019-11-04 17:16:02.912879186 +0100
+++ /var/tmp/diff_new_pack.k5bjxt/_new 2019-11-04 17:16:02.936879212 +0100
@@ -16,11 +16,11 @@
#
-%define llvm_version_major 8
+%define llvm_version_major 9
%define llvm_version_minor 0
%define llvm_version %{llvm_version_major}
-%define version_unconverted 2.0+20190920
+%define version_unconverted 2.0+20191031
%ifarch %{ix86} x86_64
%define with_uclibc 1
@@ -32,7 +32,7 @@
Summary:LLVM Execution Engine
License:NCSA
Group: Development/Languages/Other
-Version:2.0+20190920
+Version:2.0+20191031
Release:0
Url:http://klee.github.io/
Source0:%{name}-%{version}.tar.xz
++ FileCheck.cpp ++
--- /var/tmp/diff_new_pack.k5bjxt/_old 2019-11-04 17:16:03.156879447 +0100
+++ /var/tmp/diff_new_pack.k5bjxt/_new 2019-11-04 17:16:03.168879460 +0100
@@ -1,9 +1,8 @@
//===- FileCheck.cpp - Check that File's Contents match what is expected
--===//
//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===--===//
//
@@ -22,6 +21,7 @@
#include "llvm/Support/WithColor.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Support/FileCheck.h"
+#include
using namespace llvm;
static cl::opt
@@ -80,13 +80,16 @@
"provided for convenience as old tests are migrated to the new\n"
"non-overlapping CHECK-DAG implementation.\n"));
-static cl::opt Verbose("v", cl::init(false),
- cl::desc("Print directive pattern matches.\n"));
+static cl::opt Verbose(
+"v", cl::init(false),
+cl::desc("Print directive pattern matches, or add them to the input dump\n"
+ "if enabled.\n"));
static cl::opt VerboseVerbose(
"vv", cl::init(false),
cl::desc("Print information helpful in diagnosing internal FileCheck\n"
- "issues. Implies -v.\n"));
+ "issues, or add it to the input dump if enabled. Implies\n"
+ "-v.\n"));
static const char * DumpInputEnv = "FILECHECK_DUMP_INPUT_ON_FAILURE";
static cl::opt DumpInputOnFailure(
@@ -403,7 +406,7 @@
unsigned LineCount = InputFileText.count('\n');
if (InputFileEnd[-1] != '\n')
++LineCount;
- unsigned LineNoWidth = log10(LineCount) + 1;
+ unsigned LineNoWidth = std::log10(LineCount) + 1;
// +3 below adds spaces (1) to the left of the (right-aligned) line numbers
// on input lines and (2) to the right of the (left-aligned) labels on
// annotation lines so that input lines and annotation lines are more
@@ -534,8 +537,8 @@
continue;
}
if (EqIdx == 0) {
- errs() << "Missing pattern
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2019-10-04 16:07:13
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.2352 (New)
Package is "klee"
Fri Oct 4 16:07:13 2019 rev:17 rq:734968 version:2.0+20190920
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2019-07-16
08:41:31.523035922 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new.2352/klee.changes 2019-10-04
16:07:17.104620091 +0200
@@ -1,0 +2,19 @@
+Fri Oct 04 10:39:23 UTC 2019 - jsl...@suse.com
+
+- Update to version 2.0+20190920:
+ * Add saturated arithmetic intrinsics
+ * fixed bug in IntrinsicCleaner trap cleaner
+ * StatsTracker: switch from TRUNCATE to WAL journal mode
+ * Read Klee's start time correctly in klee-stats
+ * CMake: show values of optional LLVM variables
+ * Provide klee runtime build type as parameter
+ * PTree: fix dump() method
+ * ExecutionState: remove fnAliases
+ * implement FunctionAliasPass
+ * remove klee_alias_function()
+ * Implement handling of the llvm.fabs intrinsic
+ * and more fixes
+- drop unused disable-failing-test.patch
+- add 0001-runtime-workaround-for-glibc-2.30.patch
+
+---
Old:
disable-failing-test.patch
klee-2.0+20190507.tar.xz
New:
0001-runtime-workaround-for-glibc-2.30.patch
klee-2.0+20190920.tar.xz
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.R7SXO5/_old 2019-10-04 16:07:17.796618310 +0200
+++ /var/tmp/diff_new_pack.R7SXO5/_new 2019-10-04 16:07:17.796618310 +0200
@@ -20,7 +20,7 @@
%define llvm_version_minor 0
%define llvm_version %{llvm_version_major}
-%define version_unconverted 2.0+20190507
+%define version_unconverted 2.0+20190920
%ifarch %{ix86} x86_64
%define with_uclibc 1
@@ -32,15 +32,14 @@
Summary:LLVM Execution Engine
License:NCSA
Group: Development/Languages/Other
-Version:2.0+20190507
+Version:2.0+20190920
Release:0
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
-# Unused -- let's check if this is still needed
-Source4:disable-failing-test.patch
+Patch0: 0001-runtime-workaround-for-glibc-2.30.patch
BuildRequires: clang%{llvm_version}
BuildRequires: cmake
++ 0001-runtime-workaround-for-glibc-2.30.patch ++
>From 0a0805f3fac9c763489188d3bcc7fe1718a7a37c Mon Sep 17 00:00:00 2001
From: Jiri Slaby
Date: Fri, 4 Oct 2019 12:46:17 +0200
Subject: [PATCH] runtime: workaround for glibc 2.30
glibc 2.30 moved definition of getdents64 to dirent_ext.h. It became
visible and conflicts with our definition:
runtime/POSIX/fd_64.c:112:5: error: conflicting types for 'getdents64'
int getdents64(unsigned int fd, struct dirent *dirp, unsigned int count) {
^
/usr/include/bits/dirent_ext.h:29:18: note: previous declaration is here
extern __ssize_t getdents64 (int __fd, void *__buffer, size_t __length)
^
But according to the kernel (and manual), the parameter is unsigned.
So we are correct, but glibc defines it wrong.
---
runtime/POSIX/fd_64.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c
index 61d9dc6f..7691538f 100644
--- a/runtime/POSIX/fd_64.c
+++ b/runtime/POSIX/fd_64.c
@@ -109,8 +109,8 @@ int statfs(const char *path, struct statfs *buf) {
return __fd_statfs(path, buf);
}
-int getdents64(unsigned int fd, struct dirent *dirp, unsigned int count) {
+ssize_t getdents64(int fd, void *dirp, size_t count) {
return __fd_getdents(fd, (struct dirent64*) dirp, count);
}
-int __getdents64(unsigned int fd, struct dirent *dirp, unsigned int count)
+ssize_t __getdents64(int fd, void *dirp, size_t count)
__attribute__((alias("getdents64")));
--
2.21.0
++ _servicedata ++
--- /var/tmp/diff_new_pack.R7SXO5/_old 2019-10-04 16:07:17.848618176 +0200
+++ /var/tmp/diff_new_pack.R7SXO5/_new 2019-10-04 16:07:17.848618176 +0200
@@ -1,4 +1,4 @@
git://github.com/klee/klee.git
- 0cf14d6d70b939ad29a9da42b33a4a5d4697b947
\ No newline at end of file
+ 0aed7731210d0eb41c0ea767edb8067130cf6252
\ No newline at end of file
++ klee-2.0+20190507.tar.xz -> klee-2.0+20190920.tar.xz ++
15529 lines of diff (skipped)
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2019-07-16 08:41:28
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.1887 (New)
Package is "klee"
Tue Jul 16 08:41:28 2019 rev:16 rq:715366 version:2.0+20190507
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2019-05-28
09:43:05.545847872 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new.1887/klee.changes 2019-07-16
08:41:31.523035922 +0200
@@ -1,0 +2,10 @@
+Mon Jul 12 23:35:27 UTC 2019 - Aaron Puchert
+
+- Use -flto=thin instead of -flto= for Clang.
+
+---
+Mon Jul 1 23:16:30 UTC 2019 - Aaron Puchert
+
+- Switch to LLVM 8.
+
+---
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.smYN9o/_old 2019-07-16 08:41:32.111035605 +0200
+++ /var/tmp/diff_new_pack.smYN9o/_new 2019-07-16 08:41:32.115035603 +0200
@@ -16,7 +16,7 @@
#
-%define llvm_version_major 7
+%define llvm_version_major 8
%define llvm_version_minor 0
%define llvm_version %{llvm_version_major}
@@ -81,12 +81,20 @@
tools/ktest-tool/ktest-tool
%build
+# Make _lto_cflags compatible with Clang. On some arches, it doesn't work.
+%ifarch x86_64 %{ix86} ppc64le s390x
+%define _lto_cflags "-flto=thin"
+%else
+%define _lto_cflags %{nil}
+%endif
%define __builder ninja
# they use -DNDEBUG, but we cannot, hence setting CMAKE_C*_FLAGS
# SHARED libs do not work at all yet
%cmake \
-DCMAKE_C_COMPILER=clang \
-DCMAKE_CXX_COMPILER=clang++ \
+ -DCMAKE_AR=%{_bindir}/llvm-ar \
+ -DCMAKE_RANLIB=%{_bindir}/llvm-ranlib \
-DENABLE_DOXYGEN=OFF \
-DENABLE_SOLVER_STP=ON \
-DENABLE_TCMALLOC=ON \
++ FileCheck.cpp ++
1987 lines (skipped)
between /work/SRC/openSUSE:Factory/klee/FileCheck.cpp
and /work/SRC/openSUSE:Factory/.klee.new.1887/FileCheck.cpp
++ not.cpp ++
--- /var/tmp/diff_new_pack.smYN9o/_old 2019-07-16 08:41:32.191035562 +0200
+++ /var/tmp/diff_new_pack.smYN9o/_new 2019-07-16 08:41:32.195035560 +0200
@@ -13,7 +13,9 @@
// Will return true if cmd crashes (e.g. for testing crash reporting).
#include "llvm/Support/Program.h"
+#include "llvm/Support/WithColor.h"
#include "llvm/Support/raw_ostream.h"
+
using namespace llvm;
int main(int argc, const char **argv) {
@@ -33,8 +35,8 @@
auto Program = sys::findProgramByName(argv[0]);
if (!Program) {
-errs() << "Error: Unable to find `" << argv[0]
- << "' in PATH: " << Program.getError().message() << "\n";
+WithColor::error() << "unable to find `" << argv[0]
+ << "' in PATH: " << Program.getError().message() <<
"\n";
return 1;
}
@@ -53,7 +55,7 @@
Result = -3;
#endif
if (Result < 0) {
-errs() << "Error: " << ErrMsg << "\n";
+WithColor::error() << ErrMsg << "\n";
if (ExpectCrash)
return 0;
return 1;
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2019-05-28 09:43:03
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.5148 (New)
Package is "klee"
Tue May 28 09:43:03 2019 rev:15 rq:705642 version:2.0+20190507
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2019-02-25
17:59:53.150153278 +0100
+++ /work/SRC/openSUSE:Factory/.klee.new.5148/klee.changes 2019-05-28
09:43:05.545847872 +0200
@@ -1,0 +2,16 @@
+Mon May 27 09:39:22 UTC 2019 - jsl...@suse.com
+
+- Update to version 2.0+20190507:
+ * Propagate correct version of metasmt to build script
+ * Add missing dependency for tabulate package
+ * Remove CC as requirement; automatically set by sanitizer_compiler
+ * klee-stats: add - to to-csv/grafana options
+ * Add klee-stats test, fix microseconds bug
+ * Add MSan support for sqlite
+ * Clean klee-stats, StatsTracker and cmake
+ * Change the .stats format into sqlite3
+ * Add FreeBSD OS triple in RaiseAsm
+ * Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD
+ * and more
+
+---
Old:
klee-1.4.0+20190115.tar.xz
New:
klee-2.0+20190507.tar.xz
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.uRarE3/_old 2019-05-28 09:43:06.249847628 +0200
+++ /var/tmp/diff_new_pack.uRarE3/_new 2019-05-28 09:43:06.253847627 +0200
@@ -20,7 +20,7 @@
%define llvm_version_minor 0
%define llvm_version %{llvm_version_major}
-%define version_unconverted 1.4.0+20190115
+%define version_unconverted 2.0+20190507
%ifarch %{ix86} x86_64
%define with_uclibc 1
@@ -32,14 +32,15 @@
Summary:LLVM Execution Engine
License:NCSA
Group: Development/Languages/Other
-Version:1.4.0+20190115
+Version:2.0+20190507
Release:0
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: disable-failing-test.patch
+# Unused -- let's check if this is still needed
+Source4:disable-failing-test.patch
BuildRequires: clang%{llvm_version}
BuildRequires: cmake
@@ -55,6 +56,8 @@
BuildRequires: python3-base
BuildRequires: python3-lit
BuildRequires: python3-setuptools
+BuildRequires: python3-tabulate
+BuildRequires: sqlite3-devel
BuildRequires: stp-devel
BuildRequires: xz
BuildRequires: zlib-devel
@@ -114,7 +117,7 @@
%files
%defattr(-,root,root)
-%doc NEWS README.md TODO.txt
+%doc NEWS README.md
%license LICENSE.TXT
%{_bindir}/gen-bout
%{_bindir}/gen-random-bout
++ _servicedata ++
--- /var/tmp/diff_new_pack.uRarE3/_old 2019-05-28 09:43:06.309847607 +0200
+++ /var/tmp/diff_new_pack.uRarE3/_new 2019-05-28 09:43:06.309847607 +0200
@@ -1,4 +1,4 @@
git://github.com/klee/klee.git
- 44325801ed4840cb1c334b9810f16ea8d691e986
\ No newline at end of file
+ 0cf14d6d70b939ad29a9da42b33a4a5d4697b947
\ No newline at end of file
++ disable-failing-test.patch ++
--- /var/tmp/diff_new_pack.uRarE3/_old 2019-05-28 09:43:06.317847605 +0200
+++ /var/tmp/diff_new_pack.uRarE3/_new 2019-05-28 09:43:06.321847603 +0200
@@ -10,6 +10,6 @@
+++ b/test/Runtime/POSIX/DirConsistency.c
@@ -1,3 +1,4 @@
+// REQUIRES: bubak
- // RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t.bc
+ // RUN: %clang %s -emit-llvm %O0opt -c -o %t.bc
// RUN: rm -rf %t.klee-out %t.klee-out-tmp
// RUN: %gentmp %t.klee-out-tmp
++ klee-1.4.0+20190115.tar.xz -> klee-2.0+20190507.tar.xz ++
18941 lines of diff (skipped)
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2019-02-25 17:59:44
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.28833 (New)
Package is "klee"
Mon Feb 25 17:59:44 2019 rev:14 rq:678882 version:1.4.0+20190115
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2018-12-04
20:57:23.508649020 +0100
+++ /work/SRC/openSUSE:Factory/.klee.new.28833/klee.changes 2019-02-25
17:59:53.150153278 +0100
@@ -1,0 +2,42 @@
+Mon Feb 25 10:15:41 UTC 2019 - Jiri Slaby
+
+- Update to version 1.4.0+20190115:
+ * make AssignmentLessThan::operator() const-invocable
+ * fix a bug in a function call
+ * ktest-tool: move from optparse to argparse, add ouput/example sections to
help
+ * Travis OSX: install Python 3.x
+ * regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:'
+ * Various fixes for ktest-tool
+ * Added default values to option comments
+ * Renamed --environ to --env-file
+ * Renamed --stop-after-n-tests to --max-tests
+ * Added a replaying option category
+ * Added checks option category, moved --optimize to starting category,
renamed original --run-in option to --running-dir
+ * Added linking option category
+ * Added starting option category
+ * Added test case option category
+ * Added debugging category
+ * Renamed --stop-after-n-instructions to --max-instructions, as suggested by
@251
+ * Added some descriptions suggested by @MartinNowack and placed
--max-static-... options under the termination category of options
+ * Added option categories for external call policy and termination criteria
+ * Created two more option categories: test generation and seeding.
+
+---
+Sun Dec 16 09:33:44 UTC 2018 - Jiri Slaby
+
+- Update to version 1.4.0+20181214:
+ * Enable C++14 support
+ * Implemented memalign with alignment
+ * Use LLVM 4 for Mac Build
+ * Fix bug which resulted in an incorrect warning to be printed.
+ * fix: actually set -O0 in test/concrete/CMakeLists.txt
+ * Fixed crash on zero size arrays
+ * Check for stack overflow in a tested program
+ * Added test for the case where external calls are encountered but disallowed
+ * Replaced --no-externals and --allow-external-sym-calls with
--external-calls, updated tests accordingly, and improved documentation on
external calls
+ * The test DeterministicSwitch.c does not need to allow external symbolic
calls
+ * Introduced a constraint solving option category to which all the options
in CmdLineOptions.cpp are currently added.
+ * Base time API upon std::chrono
+ * add %OOopt to recently added tests and Concrete
+
+---
Old:
klee-1.4.0+20181026.tar.xz
New:
klee-1.4.0+20190115.tar.xz
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.DN4Aev/_old 2019-02-25 17:59:54.338152278 +0100
+++ /var/tmp/diff_new_pack.DN4Aev/_new 2019-02-25 17:59:54.342152274 +0100
@@ -1,7 +1,7 @@
#
# spec file for package klee
#
-# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
#
# 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 1.4.0+20181026
+%define version_unconverted 1.4.0+20190115
%ifarch %{ix86} x86_64
%define with_uclibc 1
@@ -32,7 +32,7 @@
Summary:LLVM Execution Engine
License:NCSA
Group: Development/Languages/Other
-Version:1.4.0+20181026
+Version:1.4.0+20190115
Release:0
Url:http://klee.github.io/
Source0:%{name}-%{version}.tar.xz
@@ -72,7 +72,8 @@
cp %{SOURCE2} build/test/
cp %{SOURCE3} build/test/
-sed -i '1s@env python@python3@' test/Concrete/ConcreteTest.py \
+sed -i '1s@/usr/bin/env python3*@/usr/bin/python3@' \
+ test/Concrete/ConcreteTest.py \
tools/klee-stats/klee-stats \
tools/ktest-tool/ktest-tool
++ _servicedata ++
--- /var/tmp/diff_new_pack.DN4Aev/_old 2019-02-25 17:59:54.390152234 +0100
+++ /var/tmp/diff_new_pack.DN4Aev/_new 2019-02-25 17:59:54.390152234 +0100
@@ -1,4 +1,4 @@
git://github.com/klee/klee.git
- 581dca9276cacc690703cd4962e309661fc71c23
\ No newline at end of file
+ 44325801ed4840cb1c334b9810f16ea8d691e986
\ No newline at end of file
++ klee-1.4.0+20181026.tar.xz -> klee-1.4.0+20190115.tar.xz ++
4352 lines of diff (skipped)
commit klee for openSUSE:Factory
Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2018-12-04 20:57:20 Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.19453 (New) Package is "klee" Tue Dec 4 20:57:20 2018 rev:13 rq:653715 version:1.4.0+20181026 Changes: --- /work/SRC/openSUSE:Factory/klee/klee.changes2018-09-24 13:13:11.965713357 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new.19453/klee.changes 2018-12-04 20:57:23.508649020 +0100 @@ -1,0 +2,90 @@ +Mon Oct 29 16:28:27 UTC 2018 - Jiri Slaby + +- switch to LLVM 7 +- add disable-failing-test.patch + +--- +Sat Oct 27 07:24:23 UTC 2018 - opensuse-packag...@opensuse.org + +- Update to version 1.4.0+20181026: + * travis: enable LLVM 7 testing + * llvm7: handle new header files + * llvm7: adapt to new openFileForWrite + * llvm7: WriteBitcodeToFile takes Module & + * Added gen-bout tool to generate ktest file (file.bout) using specified concrete arguments and files. + * travis: enable LLVM 6 testing + * llvm6: handle headers renaming + * llvm6: SetVersionPrinter now passes down a stream + * travis: enable LLVM 5 testing + * llvm5: APInt->getSignBit -> getSignMask + * llvm5: CallSite.paramHasAttr is indexed from 0 + * llvm5: test, add -disable-O0-optnone to -O0 + * llvm5: test, change objectsize + * llvm5: Intrinsic::objectsize has three arguments + * llvm5: use MutableArrayRef for APFloat::convertToInteger + * llvm5: handle new file_magic's location + * llvm5: SwitchInst case functions now return pointers + * llvm5: handle getOrInsertFunction terminator + * llvm5: integerPartWidth is from llvm::APFloatBase + * llvm5: avoid ++ on function->arg_begin() + * Add testcase for shift check + * ShiftChecker: Instrument shift instructions only once + * ShiftChecker: Avoid unneeded checks + * ShiftCheck: Use llvm::Builder instead of Inst::Create* + * Add test case for div checker + * DivCheck do not instrument multiple times + * DivCheck Skip unneeded checks + * Use llvm::Builder for DivCheck instrumentation + * Introduce KLEEIRMetaData to manipulate LLVM-IR metadata + * Added lowering pass + * refactor klee_open_output_file to return std::unique_ptr + * use klee_open_output_file for uncompressed logs + * Updated an include to reflect a recent filename change + * Move unrelated function from ReadExpr class + * Avoid unsafe static downcasts + * Modernize code + * Move optimization specific headers away from the project include directory + * Clean-up headers + * Use std::unordered collections as we use C++11 + * Remove unneeded externs + * Remove condition check before function invocation + * Move ConstantExpr check inside optimizeExpr function + * optimizeExpr: return the result as return value instead as function argument + * Make valueOnly parameter of optimizeExpr explicit + * Fixed compilation of array optimization patch with LLVM >= 4.0 + * Added missing headers and clang-format the files + * Added support for KLEE value-based array optimization + * Added support for KLEE index-based array optimization + * tests: disable CompressedExprLogging on zlib-less systems + * Small changes to comments + * Added missing header to SolverCmdLine.h and clang-format it + * Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant to have only solver options. + * fix handling of failing external calls + * cmake/lit: add asan/non-asan, ubsan/non-ubsan flags + * cleanup headers, whitespaces, and types + * add support for klee-replay on OSX + * Workaround for flaky coverage + * kleeModule: always link irreader (required since llvm 3.3) + * remove obsolete dependency of kleeModule on kleeCore + * config.h.cmin: remove obsolete cmakedefine + * Marking resolve methods as const + * Refactored AddressSpace::resolve() by creating a new function AddressSpace::checkPointerInObject() that is called in both the forward and the backward searches. This makes the code more modular and removes a large part of duplicated code and should also address the non-deterministic coverage in the resolve() function which affects Codecov reports. + * Fix a crash when the last running state is terminated during merging + * Changed code to create up to 100 properly-numbered symbolic arguments, and add a corresponding check. + * Add checks for correct usage of the POSIX model, together with an associated test. + * Revert lit to 0.6.0 version, as 0.7.0 misbehaves +- removed (in upstream): + * 0001-llvm5-avoid-on-function-arg_begin.patch + * 0002-llvm5-integerPartWidth-is-from-llvm-APFloatBase.patch + * 0003-llvm5-handle-getOrInsertFunction-terminator.patch + * 0004-llvm5-SwitchInst-case-functions-now-return-pointers.patch
commit klee for openSUSE:Factory
Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2018-09-24 13:13:11 Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new (New) Package is "klee" Mon Sep 24 13:13:11 2018 rev:12 rq:637042 version:1.4.0+20180920 Changes: --- /work/SRC/openSUSE:Factory/klee/klee.changes2018-09-03 10:36:21.780864785 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2018-09-24 13:13:11.965713357 +0200 @@ -1,0 +2,69 @@ +Fri Sep 21 11:24:38 UTC 2018 - jsl...@suse.com + +- Update to version 1.4.0+20180920: + * Removed unused file + * Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the test to use FileCheck instead of grep + * Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdin symbolic and removed unused arguments to main. + * Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make stdin symbolic. + * Silence an uninitialized variable compiler warning (and a tiny formatting change) + * travis: enable LLVM 4 testing + * llvm4: gep_type_iterator has no operator* + * llvm4: PointerType is not SequentialType + * llvm4: use chrono helpers from LLVM + * llvm4: errorOr and similar + * llvm4: APFloat members are functions + * llvm4: handle different header names + * travis CI: add LLVM 3.9 build tests + * llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+Asserts + * cmake: find_llvm, fix libraries with llvm-config 3.9 + * llvm: make KLEE compile against LLVM 3.9 + * Add testcase to run POSIX environment and main without arguments + * Add POSIX runtime as dependency for the test case + * Unify the error message if that function has not been found. + * Fix generation of global constructors and destructors + * POSIX: Add invocation of klee_init_env into wrapper before calling main + * Fix missing includes and declarations + * Use FileCheck and LINE instead of grep if possible + * llvm36.patch: fix build for newer glibc/gcc versions + * runtime: fix memory error in canonicalize_file_name + * Build on trusty without sudo - uses faster Docker infrastructure from TravisCI + * Avoid Vararg non-deterministic allocation +- removed (in upstream): + * 0001-llvm-make-KLEE-compile-against-LLVM-3.9.patch + * 0002-cmake-find_llvm-fix-libraries-with-llvm-config-3.9.patch + * 0003-llvm39-switch-KLEE_RUNTIME_BUILD_TYPE-to-Debug-Asser.patch + * 0004-llvm40-handle-different-header-names.patch + * 0005-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch + * 0006-llvm40-errorOr-and-similar.patch + * 0007-llvm-use-chrono-helpers-from-LLVM-4.0.patch + * 0008-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch + * 0009-llvm40-gep_type_iterator-has-no-operator.patch +- removed (not needed): + * 0017-llvm50-Intrinsic-objectsize-has-three-arguments.patch +- renamed: + * 0010-llvm50-avoid-on-function-arg_begin.patch +-> 0001-llvm5-avoid-on-function-arg_begin.patch + * 0011-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch +-> 0002-llvm5-integerPartWidth-is-from-llvm-APFloatBase.patch + * 0012-llvm50-handle-getOrInsertFunction-terminator.patch +-> 0003-llvm5-handle-getOrInsertFunction-terminator.patch + * 0013-llvm50-SwitchInst-case-functions-now-return-pointers.patch +-> 0004-llvm5-SwitchInst-case-functions-now-return-pointers.patch + * 0014-llvm50-handle-new-file_magic-s-location.patch +-> 0005-llvm5-handle-new-file_magic-s-location.patch + * 0015-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch +-> 0006-llvm5-use-MutableArrayRef-for-APFloat-convertToInteg.patch + * 0016-llvm50-AllocaInst-takes-address-space.patch +-> 0007-llvm5-Intrinsic-objectsize-has-three-arguments.patch + * 0018-llvm50-test-change-objectsize.patch +-> 0008-llvm5-test-change-objectsize.patch + * 0019-llvm50-test-add-disable-O0-optnone-to-O0.patch +-> 0009-llvm5-test-add-disable-O0-optnone-to-O0.patch + * 0020-llvm50-CallSite.paramHasAttr-is-indexed-from-0.patch +-> 0010-llvm5-CallSite.paramHasAttr-is-indexed-from-0.patch + * 0021-llvm6-SetVersionPrinter-now-passes-down-a-stream.patch +-> 0011-llvm6-SetVersionPrinter-now-passes-down-a-stream.patch + * 0022-llvm6-handle-headers-renaming.patch +-> 0012-llvm6-handle-headers-renaming.patch + +--- Old: 0001-llvm-make-KLEE-compile-against-LLVM-3.9.patch 0002-cmake-find_llvm-fix-libraries-with-llvm-config-3.9.patch 0003-llvm39-switch-KLEE_RUNTIME_BUILD_TYPE-to-Debug-Asser.patch 0004-llvm40-handle-different-header-names.patch 0005-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch 0006-llvm40-errorOr-and-similar.patch 0007-llvm-use-chrono-helpers-from-LLVM-4.0.patch
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2018-09-03 10:36:19
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new (New)
Package is "klee"
Mon Sep 3 10:36:19 2018 rev:11 rq:632727 version:1.4.0+20180829
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2018-06-19
12:03:35.502191929 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2018-09-03
10:36:21.780864785 +0200
@@ -1,0 +2,106 @@
+Sun Sep 02 08:39:37 UTC 2018 - opensuse-packag...@opensuse.org
+
+- Update to version 1.4.0+20180829:
+ * klee-stats: add TResolve(%) to --print-all
+ * llvm.sh: fix patch source paths
+ * Disabled unit testing in default build
+ * Fixed runtest library to handle the case of a NULL "name" argument in
klee_make_symbolic. Changed a test case to check this feature.
+ * Replace remaining *Inst::Create() calls with llvm::Builder
+ * [clang-format]Allow longer codelines in test/
+ * test: remove geq-llvm-3.4
+ * remove last comma from -debug-print-escaping-functions
+ * test/Feature/EscapingFunctionsAlias.c: clarify alias(ee) casting
+ * add declarations to escapingFunctions
+ * ModuleUtil: improve and test valueIsOnlyCalled
+ * fix: LLVM 3.5, begin_user() instead of begin_use()
+ * ExternalDispatcher: setErrorStr for EngineBuilder
+ * travis CI: add LLVM 3.8 build tests
+ * llvm38: test, change some tests
+ * llvm38: no more implicit iterators
+ * llvm38: archive child iterator changes
+ * llvm38: adapt to new Linker::linkModules
+ * llvm38: SmallString is always up-to-date
+ * llvm38: handle optimization passes changes
+ * llvm38: no rounding in APFloat
+ * Fix uploading of coverage information from inside of docker
+ * Add missing curl
+ * Fix slow Mac Travis build: wildcard is not expanded with quotes
+ * Added "override" in Executor.h to silence compiler warnings (and ran
clang-format on patch)
+ * Removed support for klee_make_symbolic with 2 arguments. This has been
deprecated for many years now and causes problems during replay. Changed and
simplified affected test case.
+ * test: remove undefined behaviour
+ * Enabled tcmalloc by default
+ * Link dynamic libraries with specific paths instead of resolving them
during runtime
+ * Fix incorrect invocation of klee
+ * Fix uninitialized memory: enums have to be initialized
+ * Add missing out-of-tree include files directory for TCMalloc
+ * Fix compiler warnings if assertions are disabled
+ * Support sanitizer suppression files with lit-based testing
+ * Extensive updates to the build script for dependencies and docker
+ * runtime: remove obsolete code for building modules instead of archives
+ * Reorder linking and optimizations
+ * Reorganise runtime libraries provided by KLEE
+ * Removed obsolete script
+ * test/lit.cfg: remove obsolete hack from (LLVM < 3.0 is no longer supported)
+ * CMake: use cmake_{push,pop}_check_state
+ * CMake: check for ctype and mallinfo functions with CXX instead of C
compiler
+ * fix out of range access in KleeHandler::getKTestFilesInDir
+ * Explicitly initialize value to squelch a potentially uninitialized value
warning
+ * Fix the final -Wimplicit-fallthrough warning
+ * Make ConstantExpr hashing function faster and modify affected test
+- added patches:
+ * 0003-llvm39-switch-KLEE_RUNTIME_BUILD_TYPE-to-Debug-Asser.patch
+ * 0005-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
+ * 0020-llvm50-CallSite.paramHasAttr-is-indexed-from-0.patch
+- removed patches (in upstream now):
+ * 0001-test-remove-undefined-behaviour.patch
+ * 0002-llvm38-no-rounding-in-APFloat.patch
+ * 0003-llvm38-handle-optimization-passes-changes.patch
+ * 0004-llvm38-SmallString-is-always-up-to-date.patch
+ * 0005-llvm38-materializeAllPermanently-was-renamed.patch
+ * 0006-llvm38-adapt-to-new-Linker-linkModules.patch
+ * 0007-llvm38-archive-child-iterator-changes.patch
+ * 0008-llvm38-no-more-implicit-iterators.patch
+ * 0009-llvm38-test-change-some-tests.patch
+- renamed patches:
+ * 0010-llvm-make-KLEE-compile-against-LLVM-3.9.patch
+-> 0001-llvm-make-KLEE-compile-against-LLVM-3.9.patch
+ * 0011-cmake-find_llvm-fix-libraries-with-llvm-config-3.9.patch
+-> 0002-cmake-find_llvm-fix-libraries-with-llvm-config-3.9.patch
+ * 0012-llvm40-handle-different-header-names.patch
+-> 0003-llvm39-switch-KLEE_RUNTIME_BUILD_TYPE-to-Debug-Asser.patch
+ * 0013-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
+-> 0004-llvm40-handle-different-header-names.patch
+ * 0014-llvm40-errorOr-and-similar.patch
+-> 0006-llvm40-errorOr-and-similar.patch
+ * 0015-llvm-use-chrono-helpers-from-LLVM-4.0.patch
+-> 0007-llvm-use-chrono-helpers-from-LLVM-4.0.patch
+ *
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2018-06-19 12:03:33
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new (New)
Package is "klee"
Tue Jun 19 12:03:33 2018 rev:10 rq:617208 version:1.4.0+20180614
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2018-05-30
12:29:50.948828958 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2018-06-19
12:03:35.502191929 +0200
@@ -1,0 +2,10 @@
+Sat Jun 16 09:09:56 UTC 2018 - opensuse-packag...@opensuse.org
+
+- Update to version 1.4.0+20180614:
+ * Add unittest for DiscretePDF
+ * klee_int: allow NULL as name
+ * cmake: find_llvm, handle libLLVM-version.so properly
+ * Fixed memory leak from Executor::inCloseMerge, fixes #883
+- Require python3-lit as the lit packaging was refactored
+
+---
Old:
klee-1.4.0+20180524.tar.xz
New:
klee-1.4.0+20180614.tar.xz
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.5Aa6Eg/_old 2018-06-19 12:03:36.526153911 +0200
+++ /var/tmp/diff_new_pack.5Aa6Eg/_new 2018-06-19 12:03:36.530153763 +0200
@@ -19,7 +19,7 @@
%define llvm_version_minor 0
%define llvm_version %{llvm_version_major}
-%define version_unconverted 1.4.0+20180524
+%define version_unconverted 1.4.0+20180614
%ifarch %{ix86} x86_64
%define with_uclibc 1
@@ -31,7 +31,7 @@
Summary:LLVM Execution Engine
License:NCSA
Group: Development/Languages/Other
-Version:1.4.0+20180524
+Version:1.4.0+20180614
Release:0
Url:http://klee.github.io/
Source0:%{name}-%{version}.tar.xz
@@ -71,10 +71,10 @@
BuildRequires: libacl-devel
BuildRequires: libcap-devel
BuildRequires: libselinux-devel
-BuildRequires: lit
BuildRequires: llvm%{llvm_version}-devel
BuildRequires: ninja
BuildRequires: python3-base
+BuildRequires: python3-lit
BuildRequires: python3-setuptools
BuildRequires: stp-devel
BuildRequires: xz
++ _servicedata ++
--- /var/tmp/diff_new_pack.5Aa6Eg/_old 2018-06-19 12:03:36.690147822 +0200
+++ /var/tmp/diff_new_pack.5Aa6Eg/_new 2018-06-19 12:03:36.690147822 +0200
@@ -1,4 +1,4 @@
git://github.com/klee/klee.git
- 843e9be8fc10c6ffb30218c5a826aab192a31955
\ No newline at end of file
+ d2fbdf74493d69e73fbfaedc0d59e593dfd7c69d
\ No newline at end of file
++ klee-1.4.0+20180524.tar.xz -> klee-1.4.0+20180614.tar.xz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/klee-1.4.0+20180524/cmake/find_llvm.cmake
new/klee-1.4.0+20180614/cmake/find_llvm.cmake
--- old/klee-1.4.0+20180524/cmake/find_llvm.cmake 2018-05-24
15:53:51.0 +0200
+++ new/klee-1.4.0+20180614/cmake/find_llvm.cmake 2018-06-14
21:18:19.0 +0200
@@ -173,7 +173,7 @@
set(created_targets "")
foreach (llvm_lib ${_llvm_libs_list})
get_filename_component(llvm_lib_file_name "${llvm_lib}" NAME)
- string(REGEX REPLACE "^(lib)?(LLVM[a-zA-Z0-9]+)\\..+$" "\\2" target_name
"${llvm_lib_file_name}")
+ string(REGEX REPLACE "^(lib)?(LLVM[-.a-zA-Z0-9]+)\\..+$" "\\2"
target_name "${llvm_lib_file_name}")
list(APPEND targets_to_return "${target_name}")
if (NOT TARGET "${target_name}")
# DEBUG: message(STATUS "Creating imported target \"${target_name}\""
" for \"${llvm_lib}\"")
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/klee-1.4.0+20180524/include/klee/Internal/ADT/DiscretePDF.inc
new/klee-1.4.0+20180614/include/klee/Internal/ADT/DiscretePDF.inc
--- old/klee-1.4.0+20180524/include/klee/Internal/ADT/DiscretePDF.inc
2018-05-24 15:53:51.0 +0200
+++ new/klee-1.4.0+20180614/include/klee/Internal/ADT/DiscretePDF.inc
2018-06-14 21:18:19.0 +0200
@@ -7,6 +7,7 @@
//
//===--===//
+#include
namespace klee {
template
@@ -162,8 +163,7 @@
template
T DiscretePDF::choose(double p) {
- if ((p < 0.0) || (p >= 1.0))
-assert(0 && "choose: argument(p) outside valid range");
+ assert (!((p < 0.0) || (p >= 1.0)) && "choose: argument(p) outside valid
range");
if (!m_root)
assert(0 && "choose: choose() called on empty tree");
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/klee-1.4.0+20180524/include/klee/MergeHandler.h
new/klee-1.4.0+20180614/include/klee/MergeHandler.h
--- old/klee-1.4.0+20180524/include/klee/MergeHandler.h 2018-05-24
15:53:51.0 +0200
+++
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2018-05-30 12:24:15
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new (New)
Package is "klee"
Wed May 30 12:24:15 2018 rev:9 rq:612990 version:1.4.0+20180524
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2018-01-31
19:53:57.747699321 +0100
+++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2018-05-30
12:29:50.948828958 +0200
@@ -1,0 +2,134 @@
+Fri May 25 10:57:57 UTC 2018 - opensuse-packag...@opensuse.org
+
+- Update to version 1.4.0+20180524:
+ * isLSB should be a boolean, as it is only used in truth contexts
+ * remove switch fallthrough in floating point comparision
+ * llvm37: enable travis testing
+ * llvm37: handle getRegisteredOptions
+ * test: add versions of some tests for LLVM 3.7
+ * llvm: make KLEE compile against LLVM 3.7
+ * llvm37: handle GetElementPtrInst::Create's new parameter
+ * test: add parenthesis around & operands
+- removed patches that are in upstream now:
+ * 0001-llvm37-handle-GetElementPtrInst-Create-s-new-paramet.patch
+ * 0002-llvm-make-KLEE-compile-against-LLVM-3.7.patch
+ * 0003-test-add-versions-of-some-tests-for-LLVM-3.7.patch
+ * 0004-llvm37-handle-getRegisteredOptions.patch
+- renamed patches:
+* 0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch
+ -> 0001-llvm-make-KLEE-compile-against-LLVM-3.8.patch
+* 0007-llvm38-test-change-some-tests.patch
+ -> 0002-llvm38-test-change-some-tests.patch
+* 0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch
+ -> 0003-llvm-make-KLEE-compile-against-LLVM-3.9.patch
+* 0008-llvm40-handle-different-header-names.patch
+ -> 0004-llvm40-handle-different-header-names.patch
+* 0009-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
+ -> 0005-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
+* 0010-llvm40-errorOr-and-similar.patch
+ -> 0006-llvm40-errorOr-and-similar.patch
+* 0011-llvm-use-chrono-helpers-from-LLVM-4.0.patch
+ -> 0007-llvm-use-chrono-helpers-from-LLVM-4.0.patch
+* 0012-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
+ -> 0008-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
+* 0013-llvm40-gep_type_iterator-has-no-operator.patch
+ -> 0009-llvm40-gep_type_iterator-has-no-operator.patch
+* 0014-llvm50-avoid-on-function-arg_begin.patch
+ -> 0010-llvm50-avoid-on-function-arg_begin.patch
+* 0015-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch
+ -> 0011-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch
+* 0016-llvm50-handle-getOrInsertFunction-terminator.patch
+ -> 0012-llvm50-handle-getOrInsertFunction-terminator.patch
+* 0017-llvm50-SwitchInst-case-functions-now-return-pointers.patch
+ -> 0013-llvm50-SwitchInst-case-functions-now-return-pointers.patch
+* 0018-llvm50-handle-new-file_magic-s-location.patch
+ -> 0014-llvm50-handle-new-file_magic-s-location.patch
+* 0019-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch
+ -> 0015-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch
+* 0020-llvm50-AllocaInst-takes-address-space.patch
+ -> 0016-llvm50-AllocaInst-takes-address-space.patch
+- added patches
+ * 0017-llvm50-Intrinsic-objectsize-has-three-arguments.patch
+ * 0018-llvm50-test-change-objectsize.patch
+ * 0019-llvm60-SetVersionPrinter-now-passes-down-a-stream.patch
+ * 0020-llvm60-handle-headers-renaming.patch
+
+---
+Wed May 23 12:25:13 UTC 2018 - opensuse-packag...@opensuse.org
+
+- Update to version 1.4.0+20180522:
+ * clang-format on lib/Module/{IntrinsicCleaner.cpp,Passes.h}
+ * some housekeeping in Passes.h and IntrinsicCleaner.cpp
+ * CompressionStream: fix sporadic segfaults (uninitialised avail_in)
+ * Removed .c_str() from getSourceLocation calls
+ * Renamed printFileLine to getSourceLocation (as suggested by @delcypher) to
reflect the fact that it simply returns a string
+ * Simplified printFileLine by using std::to_string, and removed unneeded
version that takes an argument a stream
+ * stop using DEBUG macro name
+ * fix some casts for LLP64 compilers
+
+---
+Mon May 21 09:30:16 UTC 2018 - opensuse-packag...@opensuse.org
+
+- Update to version 1.4.0+20180518:
+ * tests: use names in klee_make_symbolic
+ * Delete coverageServer.py
+ * Abort execution if --only-output-states-covering-new is enabled but its
dependency --output-istats is not
+ * Add support for concretizing symbolic objects passed to external functions
+ * Improve error messages for ReadStringAtAddress
+ * Improved code quality
+ * Implemented incomplete merging
+ * remove QueryLog.h
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2018-01-31 19:53:28
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new (New)
Package is "klee"
Wed Jan 31 19:53:28 2018 rev:8 rq:571294 version:1.4.0+20180108
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2018-01-16
09:43:01.595846660 +0100
+++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2018-01-31
19:53:57.747699321 +0100
@@ -1,0 +2,47 @@
+Wed Jan 24 07:59:06 UTC 2018 - jsl...@suse.com
+
+- Add klee-skip-some-tests.patch
+
+---
+Mon Jan 15 10:24:53 UTC 2018 - jsl...@suse.com
+
+- Update to version 1.4.0+20180108:
+ * [NFC] Remove unused config header template that was only used by the old
build system (now removed).
+ * fix regression test: use `%klee` instead of `klee`
+ * fix merging tests: use `%klee` instead of `klee`
+ * Move Homebrew tap from personal repository to the KLEE organization
+ * Updated TravisCI to use pip2 instead of pip
+ * Bumped xcode version for TravisCI
+ * Implemented bounded merging functionality
+ * Added pause and continue functionality for states in Executor
+ * Replace confusing message in lit.site.cfg.in about the file being
autogenerated
+ * klee_make_symbolic: add test cases for API
+ * klee_make_symbolic: warn on deprecated usage
+- added patches:
+ * 0001-MergeHandler-remove-unused-closedStateCount.patch
+ * 0002-llvm50-use-auto-variable-instead-of-SwitchInst-CaseI.patch
+ * 0013-llvm40-gep_type_iterator-has-no-operator.patch
+ * 0014-llvm50-avoid-on-function-arg_begin.patch
+ * 0015-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch
+ * 0016-llvm50-handle-getOrInsertFunction-terminator.patch
+ * 0017-llvm50-SwitchInst-case-functions-now-return-pointers.patch
+ * 0018-llvm50-handle-new-file_magic-s-location.patch
+ * 0019-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch
+ * 0020-llvm50-AllocaInst-takes-address-space.patch
+- renamed patches:
+ * 0013-llvm38-test-change-some-tests.patch ->
+ 0007-llvm38-test-change-some-tests.patch
+ * 0007-llvm40-handle-different-header-names.patch ->
+ 0008-llvm40-handle-different-header-names.patch
+ * 0008-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch ->
+ 0009-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
+ * 0009-llvm40-errorOr-and-similar.patch ->
+ 0010-llvm40-errorOr-and-similar.patch
+ * 0010-llvm-use-chrono-helpers-from-LLVM-4.0.patch ->
+ 0011-llvm-use-chrono-helpers-from-LLVM-4.0.patch
+ * 0011-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch ->
+ 0012-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
+ * 0012-llvm40-gep_type_iterator-has-no-operator.patch ->
+ 0013-llvm40-gep_type_iterator-has-no-operator.patch
+
+---
Old:
0007-llvm40-handle-different-header-names.patch
0008-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
0009-llvm40-errorOr-and-similar.patch
0010-llvm-use-chrono-helpers-from-LLVM-4.0.patch
0011-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
0012-llvm40-gep_type_iterator-has-no-operator.patch
0013-llvm38-test-change-some-tests.patch
klee-1.4.0+20171026.tar.xz
New:
0001-MergeHandler-remove-unused-closedStateCount.patch
0002-llvm50-use-auto-variable-instead-of-SwitchInst-CaseI.patch
0007-llvm38-test-change-some-tests.patch
0008-llvm40-handle-different-header-names.patch
0009-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
0010-llvm40-errorOr-and-similar.patch
0011-llvm-use-chrono-helpers-from-LLVM-4.0.patch
0012-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
0013-llvm40-gep_type_iterator-has-no-operator.patch
0014-llvm50-avoid-on-function-arg_begin.patch
0015-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch
0016-llvm50-handle-getOrInsertFunction-terminator.patch
0017-llvm50-SwitchInst-case-functions-now-return-pointers.patch
0018-llvm50-handle-new-file_magic-s-location.patch
0019-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch
0020-llvm50-AllocaInst-takes-address-space.patch
klee-1.4.0+20180108.tar.xz
klee-skip-some-tests.patch
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.3WQrfy/_old 2018-01-31 19:53:58.455666397 +0100
+++ /var/tmp/diff_new_pack.3WQrfy/_new 2018-01-31 19:53:58.459666211 +0100
@@ -19,7 +19,7 @@
%define llvm_version_minor 0
%define llvm_version %{llvm_version_major}
-%define version_unconverted 1.4.0+20171026
+%define version_unconverted 1.4.0+20180108
%ifarch %{ix86} x86_64
%define with_uclibc 1
@@ -31,36
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2018-01-16 09:43:00
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new (New)
Package is "klee"
Tue Jan 16 09:43:00 2018 rev:7 rq:564487 version:1.4.0+20171026
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2017-11-27
22:17:07.501435544 +0100
+++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2018-01-16
09:43:01.595846660 +0100
@@ -1,0 +2,12 @@
+Mon Jan 15 07:49:05 UTC 2018 - jsl...@suse.com
+
+- change "env python" to "python3" in tests, so that we can build and
+ depend on py3 only
+
+---
+Mon Jan 8 07:18:25 UTC 2018 - jsl...@suse.com
+
+- add python3-setuptools BuildRequires, so that we have pkg_resources
+ for tests
+
+---
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.IoSdnj/_old 2018-01-16 09:43:02.603799479 +0100
+++ /var/tmp/diff_new_pack.IoSdnj/_new 2018-01-16 09:43:02.607799293 +0100
@@ -75,6 +75,7 @@
BuildRequires: llvm%{llvm_version}-devel
BuildRequires: ninja
BuildRequires: python3-base
+BuildRequires: python3-setuptools
BuildRequires: stp-devel
BuildRequires: xz
BuildRequires: zlib-devel
@@ -112,6 +113,10 @@
cp %{SOURCE2} build/test/
cp %{SOURCE3} build/test/
+sed -i '1s@env python@python3@' test/Concrete/ConcreteTest.py \
+ tools/klee-stats/klee-stats \
+ tools/ktest-tool/ktest-tool
+
%build
%define __builder ninja
# they use -DNDEBUG, but we cannot, hence setting CMAKE_C*_FLAGS
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2017-11-27 22:17:05
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new (New)
Package is "klee"
Mon Nov 27 22:17:05 2017 rev:6 rq:545450 version:1.4.0+20171026
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2017-10-23
16:44:10.910265688 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2017-11-27
22:17:07.501435544 +0100
@@ -1,0 +2,29 @@
+Fri Nov 17 17:01:38 UTC 2017 - jsl...@suse.com
+
+- Update to version 1.4.0+20171026:
+ * [cmake]Fix detection of non-standard path for tcmalloc
+ * fixing huge allocation size constant to be unsigned
+ * [travis] build metaSMT with C++11
+ * [travis] add a workaround to keep Travis alive when running tests for
metaSMT-CVC4 (which needs around 10m for one specific test case)
+ * [travis] update scripts to additionally test CVC4 and Yices2
+ * [cmake] detect available metaSMT backends using a pre-defined flag and
raise compile flags accordingly
+ * add support for CVC4 and Yices2 via metaSMT
+ * Fixed assert in BFSSearcher that does not hold as part of interleaved
searcher
+ * Removed unnecessary and redundant variable
+- removed
+ * 0001-errno-define-__errno_location.patch
+ * 0001-test-DirSeek-make-it-XFAIL-temporarily.patch
+- added
+ * 0001-Fix-generation-of-expressions-from-constant-sequenti.patch
+ * 0002-Fix-getelementptr-for-array-or-vector-indices.patch
+ * 0003-Fix-correct-element-order-of-InsertElement-ExtractEl.patch
+ * 0004-Provide-errno-independent-of-CTYPE_EXTERNALS-being-d.patch
+ * 0005-Track-errno-correctly.patch
+ * 0006-Declare-klee_get_errno-and-remove-local-declarations.patch
+ * 0007-Add-support-for-modelling-errno_location.patch
+ * 0008-Cleanup-test-cases.patch
+ * 0009-test-fix-Feature-BFSSearcherAndDFSSearcherInterleave.patch
+ * 0012-llvm40-gep_type_iterator-has-no-operator.patch
+ * 0013-llvm38-test-change-some-tests.patch
+
+---
Old:
0001-errno-define-__errno_location.patch
0001-test-DirSeek-make-it-XFAIL-temporarily.patch
klee-1.4.0+20171009.tar.xz
New:
0001-Fix-generation-of-expressions-from-constant-sequenti.patch
0002-Fix-getelementptr-for-array-or-vector-indices.patch
0003-Fix-correct-element-order-of-InsertElement-ExtractEl.patch
0004-Provide-errno-independent-of-CTYPE_EXTERNALS-being-d.patch
0005-Track-errno-correctly.patch
0006-Declare-klee_get_errno-and-remove-local-declarations.patch
0007-Add-support-for-modelling-errno_location.patch
0008-Cleanup-test-cases.patch
0009-test-fix-Feature-BFSSearcherAndDFSSearcherInterleave.patch
0012-llvm40-gep_type_iterator-has-no-operator.patch
0013-llvm38-test-change-some-tests.patch
klee-1.4.0+20171026.tar.xz
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.lUapFu/_old 2017-11-27 22:17:08.685392570 +0100
+++ /var/tmp/diff_new_pack.lUapFu/_new 2017-11-27 22:17:08.689392425 +0100
@@ -19,7 +19,7 @@
%define llvm_version_minor 0
%define llvm_version %{llvm_version_major}
-%define version_unconverted 1.4.0+20171009
+%define version_unconverted 1.4.0+20171026
%ifarch %{ix86} x86_64
%define with_uclibc 1
@@ -31,26 +31,36 @@
Summary:LLVM Execution Engine
License:NCSA
Group: Development/Languages/Other
-Version:1.4.0+20171009
+Version:1.4.0+20171026
Release:0
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-errno-define-__errno_location.patch
-Patch1: 0001-llvm37-handle-GetElementPtrInst-Create-s-new-paramet.patch
-Patch2: 0002-llvm-make-KLEE-compile-against-LLVM-3.7.patch
-Patch3: 0003-test-add-versions-of-some-tests-for-LLVM-3.7.patch
-Patch4: 0004-llvm37-handle-getRegisteredOptions.patch
-Patch5: 0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch
-Patch6: 0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch
-Patch7: 0007-llvm40-handle-different-header-names.patch
-Patch8: 0008-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
-Patch9: 0009-llvm40-errorOr-and-similar.patch
-Patch10:0010-llvm-use-chrono-helpers-from-LLVM-4.0.patch
-Patch11:0011-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
-Patch14:
commit klee for openSUSE:Factory
Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2017-10-23 16:44:02 Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new (New) Package is "klee" Mon Oct 23 16:44:02 2017 rev:5 rq:534467 version:1.4.0+20171009 Changes: --- /work/SRC/openSUSE:Factory/klee/klee.changes2017-07-08 12:34:23.750484402 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2017-10-23 16:44:10.910265688 +0200 @@ -1,0 +2,118 @@ +Tue Oct 10 12:45:08 UTC 2017 - jsl...@suse.com + +- Update to version 1.4.0+20171009: + * Added support for hiding command-line options + * Removed "llvm::" and reformatting in CmdLineOptions.cpp + * Remove unnecessary null pointer checks + * Removed dead link, fixes #754 + * [CMake] Fix initialisation order of `KLEE_COMPONENT_*` and `KLEE_SOLVER_LIBRARIES` variables. The code to add `NDEBUG` to `KLEE_COMPONENT_CXX_DEFINES` did so before initialisation and would be silently overwritten. + * [CMake] Report the value of some important variables during configure to aid debugging. + * Silenced some warnings about unused variables when assertions are disabled. + * Remove Autoconf/Makefile build system and adjust the TravisCI configuration, TravisCI scripts and Dockerfile build appropriately. + * Fix TravisCI `METASMT_DEFAULT` setting. + * [CMake] Fix bug when doing non-assert builds. + * [CMake] Add global clean target `clean_all`. Fixes #718. + * [CMake] Add `clean_doxygen` rule to clean up doxygen build tree and add this as a dependency of `clean_all`. + * enforce c++11 + * Removed the word 'unsigned' from integer overflow error messages + * Silenced warnings on comparison of integers of different signs in TreeStreamTest + * Fixed initialization of distance to uncovered instructions when KLEE relies on default searchers +- removed: + * 0004-cmake-expand-library-dependencies-with-USE_CMAKE_FIN.patch +- renamed: + * 0005-llvm37-handle-GetElementPtrInst-Create-s-new-paramet.patch -> + 0004-llvm37-handle-getRegisteredOptions.patch + * 0006-llvm-make-KLEE-compile-against-LLVM-3.8.patch -> + 0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch + * 0007-llvm-make-KLEE-compile-against-LLVM-3.9.patch -> + 0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch + * 0008-llvm37-handle-GetElementPtrInst-Create-s-new-paramet.patch -> + 0007-llvm40-handle-different-header-names.patch + * 0009-llvm40-handle-different-header-names.patch -> + 0007-llvm40-handle-different-header-names.patch + * 0010-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch -> + 0008-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch + * 0011-llvm40-errorOr-and-similar.patch -> + 0009-llvm40-errorOr-and-similar.patch + * 0012-llvm-use-chrono-helpers-from-LLVM-4.0.patch -> + 0010-llvm-use-chrono-helpers-from-LLVM-4.0.patch + * 0013-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch -> + 0011-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch + +--- +Thu Aug 17 12:05:26 UTC 2017 - jsl...@suse.com + +- Update to version 1.4.0+20170811: + * Removing flaky test Vararg.c from Darwin build until we find a proper fix + * Fixed typos in comments related to vararg support. + * llvm: don't use clEnumValEnd for LLVM 4.0 + * llvm: get rid of static_casts from iterators + * llvm37: do not copy DILocation to getDSPIPath + * Added location info for external calls and improved a message. + * llvm37: introduce type for PassManager + * move module loading into external function + * Corrected comment of Z3Solver class + * Added caching of Homebrew downloads + * Use assembly line for printing debug information + * Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also removes commented out code from that function. + * Implement basic support for vectorized instructions. + * Added some unit tests for TreeStream: one testing some basic behaviour, the other a regression test for #562 + * Core: TimingSolver, use TimerStatIncrementer + * Replace assertions of types on LLVM instructions in the Executor with a pass that checks these assertions. This improves several things. + * Switching version to 1.4.0 + * Release notes for 1.4.0 + * Remove support for LLVM < 3.4 + * Updated test cases to reflect removal of LLVM 2.9 + * Cleanup Travis builder + * Remove klee-gcc + * Remove LLVM 2.9 from Makefiles + * [CMake] Fix bug where the runtime build system would not rebuild bitcode archive/modules when the list of source files that constitute it changes. + * [CMake] Add a sanity check to the runtime build system so that we provide a better error message (and stop earlier) when no C source files are found. + * llvm: get rid of
commit klee for openSUSE:Factory
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2017-07-08 12:33:59
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new (New)
Package is "klee"
Sat Jul 8 12:33:59 2017 rev:4 rq:508051 version:1.3.0+20170607
Changes:
--- /work/SRC/openSUSE:Factory/klee/klee.changes2017-06-12
15:32:17.733513096 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2017-07-08
12:34:23.750484402 +0200
@@ -1,0 +2,5 @@
+Tue Jun 27 08:43:06 UTC 2017 - jsl...@suse.com
+
+- switch to python 3
+
+---
Other differences:
--
++ klee.spec ++
--- /var/tmp/diff_new_pack.yW15XR/_old 2017-07-08 12:34:24.498378911 +0200
+++ /var/tmp/diff_new_pack.yW15XR/_new 2017-07-08 12:34:24.502378347 +0200
@@ -66,7 +66,7 @@
BuildRequires: lit
BuildRequires: llvm%{llvm_version}-devel
BuildRequires: ninja
-BuildRequires: python-base
+BuildRequires: python3-base
BuildRequires: stp-devel
BuildRequires: xz
BuildRequires: zlib-devel
commit klee for openSUSE:Factory
Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2017-06-12 15:32:07 Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new (New) Package is "klee" Mon Jun 12 15:32:07 2017 rev:3 rq:502372 version:1.3.0+20170607 Changes: --- /work/SRC/openSUSE:Factory/klee/klee.changes2017-04-28 09:13:52.941183343 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2017-06-12 15:32:17.733513096 +0200 @@ -1,0 +2,56 @@ +Thu Jun 08 08:48:58 UTC 2017 - jsl...@suse.com + +- Build against LLVM 4 +- Update to version 1.3.0+20170607: + * Fix test failure on systems with libstdc++ corresponding to gcc7. + * llvm: rename ExitOnError to OptExitOnError + * Prevent test failure when realloc fails in test/Feature/Realloc.c +- added patches: +0001-llvm-don-t-use-clEnumValEnd-for-LLVM-4.0.patch +0002-llvm-get-rid-of-static_casts-from-iterators.patch +0003-Core-TimingSolver-use-WallTimer.patch +0004-llvm-make-KLEE-compile-against-LLVM-3.7.patch +0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch +0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch +0007-test-add-versions-of-some-tests-for-LLVM-3.8.patch +0008-travis-CI-add-LLVM-3.8-build-tests.patch +0009-llvm40-handle-different-header-names.patch +0010-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch +0011-llvm40-errorOr-and-similar.patch +0012-llvm-use-chrono-helpers-from-LLVM-4.0.patch +0013-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch +- removed patches (renamed to the above): +0001-test-add-versions-of-some-tests-for-LLVM-3.8.patch +0002-Make-KLEE-compile-against-LLVM-3.7.patch +0003-Make-KLEE-compile-against-LLVM-3.8.patch + +--- +Mon Jun 05 07:45:51 UTC 2017 - jsl...@suse.com + +- Update to version 1.3.0+20170602: + * use METASMT_REQUIRE_RTTI flag to decide whether we need RTTI + * [travis] add environment variable METASMT_BOOST_VERSION to control the boost version used by metaSMT and test it with the combination LLVM-2.9 + metaSMT + * [CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM version and a metaSMT version that requires RTTI + * [TravisCI] Try to unbreak the build against upstream STP. + * Remove redundant KLEE prefix while logging + * llvm: make KLEE compile against LLVM 3.5 and 3.6 + * travis CI: add LLVM 3.5 and 3.6 tests + * Rearchitect ExternalDispatcher + * gitignore build + * [Z3] Support another solver failure reason that Z3 might give. I'm going to guess it means timeout but I'm not 100% sure about this. + * [Z3] Add assertions in Z3 builder to catch underflow with bad widths. + * [Z3] Move the `dump()` methods of the Z3NodeHandle<> specializations into `Z3Builder.cpp` so they can be called from in gdb. + * Refactor file opening code out of `main.cpp` and into `klee_open_output_file()` function so that it can be used by the Z3Solver. + * [Z3] Add the `-debug-z3-dump-queries=` command line option. This is useful for getting access to the constraints being stored in the Z3 solver in the SMT-LIBv2.5 format. + * [Z3] Add option to manually validate Z3 models. + * [Z3] Implement API logging. + * [Z3] In `getConstraintLog()` use a separate builder from that of the solver. This is to avoid tampering with the cache of the builder the solver is using. + * [Z3] Switch from `Z3_mk_simple_solver()` to `Z3_mk_solver()`. + * [Z3] Add `-debug-z3-verbosity=` option which behaves like Z3's `-v:` option. This lets us see what Z3 is doing execution (e.g. which tactic is being applied) which is very useful for debugging. + * [Z3] Remove unused include. + * replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into MetaSMTSolver.cpp so that the backend headers only need to be included once there + * hide backend solver declarations from public include +- remove 0001-Make-KLEE-compile-against-LLVM-3.5-and-3.6.patch + It is upstream already. + +--- Old: 0001-Make-KLEE-compile-against-LLVM-3.5-and-3.6.patch 0001-test-add-versions-of-some-tests-for-LLVM-3.8.patch 0002-Make-KLEE-compile-against-LLVM-3.7.patch 0003-Make-KLEE-compile-against-LLVM-3.8.patch klee-1.3.0+20170409.tar.xz New: 0001-llvm-don-t-use-clEnumValEnd-for-LLVM-4.0.patch 0002-llvm-get-rid-of-static_casts-from-iterators.patch 0003-Core-TimingSolver-use-WallTimer.patch 0004-llvm-make-KLEE-compile-against-LLVM-3.7.patch 0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch 0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch 0007-test-add-versions-of-some-tests-for-LLVM-3.8.patch 0008-travis-CI-add-LLVM-3.8-build-tests.patch
commit klee for openSUSE:Factory
Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2017-04-28 09:13:49 Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new (New) Package is "klee" Fri Apr 28 09:13:49 2017 rev:2 rq:491222 version:1.3.0+20170409 Changes: --- /work/SRC/openSUSE:Factory/klee/klee.changes2017-03-10 21:45:55.621671998 +0100 +++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2017-04-28 09:13:52.941183343 +0200 @@ -1,0 +2,109 @@ +Wed Apr 26 09:18:55 UTC 2017 - jsl...@suse.com + +- Update to version 1.3.0+20170409: + * [TravisCI] Check if `METASMT_VERSION` is set and abort if it is not set. Also exit if any of the commands in `.travis/metaSMT.sh` fail. + * [TravisCI] Try to unbreak the metaSMT build. + * [TravisCI] Try unbreaking the TravisCI metaSMT build. Copying across the `cmake` directory breaks KLEE's CMake build. + * [CMake] Try to fix bug reported by #633. + * [CMake] Fix #631 + * [CMake] When supported pass `USES_TERMINAL` argument to `ExternalProject_Add_Step()` so that when using Ninja the output of the bitcode build system is shown immediately. + * [CMake] Add the `clean_runtime` top level target to provide an easy way to clean the runtime build. + * [Docker] Unbreak build. + * [TravisCI] Make handling of `TRAVIS_OS_NAME` more robust by not assuming that its value not being `linux` implies `osx`. + * test: lit, add geq/lt-llvm- configs + * [NFC] Reindent `test/lit.cfg` and add vim mode line to use right indentation and syntax highlighting. + * [travis] fix a git submodule failure of metaSMT + * [CMake] Don't redownload FileCheck.cpp if it exists + * Removed unused variable 'fake_object' in MemoryObject + +--- +Tue Mar 28 13:43:30 UTC 2017 - jsl...@suse.com + +- Update to version 1.3.0+20170328: + * runtime: POSIX, make it compile with glibc 2.25 + * [Lit] Add system information (linux/darwim) to LIT configuration. Added 'not-*' features that exist if target operating system does not match a list of know operating systems. + * Fix test case for OSX: only weak aliases are supported on darwin Rewritten tests by replacing 'XFAIL: darwin' with 'REQUIRES: not-darwin' + * test: fix 'not' build + * test: POSIX, stop FD_Fail to fail + * runtime: POSIX, check path prior dereference + * [travis] use a proper version of metaSMT via environment variable METASMT_VERSION + * [travis] build metaSMT without C++11 + * remove special handling of metaSMT_CXXFLAGS (unnecessary now as we use a fixed version of metaSMT with this flag being properly set) + * [WIP] Fix bug where stats would not be updated on early exit caused by finding a bug with the `-exit-on-error` option enabled. + * Replace `llvm:errs()` with `klee_error()` as suggested by @andreamattavelli + * Add test case to check that on early exits stats are flushed + * Add `AssignmentValidatingSolver`. It's purpose is to check any computed assignments against the corresponding `Query` object and check the assignment evaluates correctly. + * [CMake] Unbreak build due to not adding AssignmentValidatingSolver.cpp to list of source files. + * [Travis-CI] Refactored Z3 in its own script + * [Travis-CI] Added support for macOS build +- enable checking of the result (%check section), only on x86_64 +- add some patches + * 0001-errno-define-__errno_location.patch + * 0001-test-DirSeek-make-it-XFAIL-temporarily.patch + * 0001-test-add-versions-of-some-tests-for-LLVM-3.8.patch +- renamed patches + * 0005-Make-KLEE-compile-against-LLVM-3.7.patch + -> 0002-Make-KLEE-compile-against-LLVM-3.7.patch + * 0006-Make-KLEE-compile-against-LLVM-3.8.patch + -> 0003-Make-KLEE-compile-against-LLVM-3.8.patch +- deleted patches (they are upstream) + * 0001-runtime-POSIX-make-it-compile-with-glibc-2.25.patch + * 0002-Fix-compiler-warning.patch + * 0004-Cleanup-removed-unneccessary-bools.patch + * 0007-fix-compilation-on-LLVM-3.8-after-rebase-to-master.patch + +--- +Wed Mar 15 12:57:25 UTC 2017 - jsl...@suse.com + +- add 0001-runtime-POSIX-make-it-compile-with-glibc-2.25.patch +- Update to version 1.3.0+20170307: + * klee: remove use of deprecated 'register' + * Makefile: change -std-compile-opts to -O3 + * CommandLine: do not copy list in optionIsSet + * Teach KLEE to respect the requested memory alignment of globals and stack variables when possible. + * llvm: stop using global context + * Module: simplify is_object checks + * convert iterators using static_cast + * Core: MCJIT functions need unique names + * Added new option --warnings-only-to-file which causes warnings to be written to warnings.txt only. Disabled by default. + * Updated
