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.changes 2018-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 <[email protected]> + +- 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 <[email protected]> + +- 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 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/klee/klee.git</param> - <param name="changesrevision">581dca9276cacc690703cd4962e309661fc71c23</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">44325801ed4840cb1c334b9810f16ea8d691e986</param></service></servicedata> \ 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)
