From 6be1ba2b09493bea4f1efac02d91be02a42996ef5a7dbc9b108ba2759fadd0d9 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Tue, 9 Jun 2020 07:22:15 +0000 Subject: [PATCH] up to 2.1+20200606 OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=82 --- _servicedata | 2 +- klee.changes | 15 +++++++++++++++ klee.spec | 4 ++-- 3 files changed, 18 insertions(+), 3 deletions(-) diff --git a/_servicedata b/_servicedata index 3e57897..ca51292 100644 --- a/_servicedata +++ b/_servicedata @@ -1,4 +1,4 @@ git://github.com/klee/klee.git - e6d3f654df90dc6211d6c4993b937ef44b945f36 \ No newline at end of file + 6ca440f14381c8f0461ede18eccc16bba1135e88 \ No newline at end of file diff --git a/klee.changes b/klee.changes index 05c8fdc..675af15 100644 --- a/klee.changes +++ b/klee.changes @@ -1,3 +1,18 @@ +------------------------------------------------------------------- +Tue Jun 09 07:08:47 UTC 2020 - jslaby@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 + ------------------------------------------------------------------- Sat Apr 25 22:10:44 UTC 2020 - aaronpuchert@alice-dsl.net diff --git a/klee.spec b/klee.spec index 67ba6a8..e7a2290 100644 --- a/klee.spec +++ b/klee.spec @@ -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 @@ Name: klee 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