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.changes 2020-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 - [email protected] + +- 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 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/klee/klee.git</param> - <param name="changesrevision">e6d3f654df90dc6211d6c4993b937ef44b945f36</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">6ca440f14381c8f0461ede18eccc16bba1135e88</param></service></servicedata> \ No newline at end of file ++++++ klee-2.1+20200420.tar.xz -> klee-2.1+20200606.tar.xz ++++++ ++++ 11730 lines of diff (skipped)
