From 20d5000f99b922d4db474385feecacb76d64dc6d63fad4ce776c0d2c043cf04b Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Sun, 16 Dec 2018 10:32:34 +0000 Subject: [PATCH 1/2] up to 1.4.0+20181214 OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=64 --- _servicedata | 2 +- klee-1.4.0+20181026.tar.xz | 3 --- klee-1.4.0+20181214.tar.xz | 3 +++ klee.changes | 18 ++++++++++++++++++ klee.spec | 4 ++-- 5 files changed, 24 insertions(+), 6 deletions(-) delete mode 100644 klee-1.4.0+20181026.tar.xz create mode 100644 klee-1.4.0+20181214.tar.xz diff --git a/_servicedata b/_servicedata index 87e15b2..1e0fa43 100644 --- a/_servicedata +++ b/_servicedata @@ -1,4 +1,4 @@ git://github.com/klee/klee.git - 581dca9276cacc690703cd4962e309661fc71c23 \ No newline at end of file + 124f8f688cfaa0c8ef8321d86064af216bb0e406 \ No newline at end of file diff --git a/klee-1.4.0+20181026.tar.xz b/klee-1.4.0+20181026.tar.xz deleted file mode 100644 index 1f8e35f..0000000 --- a/klee-1.4.0+20181026.tar.xz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:b89e6b770654058ce876d974d47e4c165da35d72441bd3efaccb815c23d2c817 -size 618460 diff --git a/klee-1.4.0+20181214.tar.xz b/klee-1.4.0+20181214.tar.xz new file mode 100644 index 0000000..1bd90f6 --- /dev/null +++ b/klee-1.4.0+20181214.tar.xz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e91d1d382b0a47ee1b6e81edad8671722c4227ba1c2c30fe05f968fb2a1f8931 +size 621064 diff --git a/klee.changes b/klee.changes index 2619d16..3821219 100644 --- a/klee.changes +++ b/klee.changes @@ -1,3 +1,21 @@ +------------------------------------------------------------------- +Sun Dec 16 09:33:44 UTC 2018 - opensuse-packaging@opensuse.org + +- 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 + ------------------------------------------------------------------- Mon Oct 29 16:28:27 UTC 2018 - Jiri Slaby diff --git a/klee.spec b/klee.spec index 1d482be..edfc7b6 100644 --- a/klee.spec +++ b/klee.spec @@ -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+20181214 %ifarch %{ix86} x86_64 %define with_uclibc 1 @@ -32,7 +32,7 @@ Name: klee Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 1.4.0+20181026 +Version: 1.4.0+20181214 Release: 0 Url: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz From bbd00e45fc41cd8a9a105a7c9c7138104053061996d2b8e86f5b2a7f47a3de75 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Mon, 25 Feb 2019 10:31:13 +0000 Subject: [PATCH 2/2] up to 1.4.0+20190115 OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=65 --- _servicedata | 2 +- klee-1.4.0+20181214.tar.xz | 3 --- klee-1.4.0+20190115.tar.xz | 3 +++ klee.changes | 26 +++++++++++++++++++++++++- klee.spec | 9 +++++---- 5 files changed, 34 insertions(+), 9 deletions(-) delete mode 100644 klee-1.4.0+20181214.tar.xz create mode 100644 klee-1.4.0+20190115.tar.xz diff --git a/_servicedata b/_servicedata index 1e0fa43..9950af6 100644 --- a/_servicedata +++ b/_servicedata @@ -1,4 +1,4 @@ git://github.com/klee/klee.git - 124f8f688cfaa0c8ef8321d86064af216bb0e406 \ No newline at end of file + 44325801ed4840cb1c334b9810f16ea8d691e986 \ No newline at end of file diff --git a/klee-1.4.0+20181214.tar.xz b/klee-1.4.0+20181214.tar.xz deleted file mode 100644 index 1bd90f6..0000000 --- a/klee-1.4.0+20181214.tar.xz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:e91d1d382b0a47ee1b6e81edad8671722c4227ba1c2c30fe05f968fb2a1f8931 -size 621064 diff --git a/klee-1.4.0+20190115.tar.xz b/klee-1.4.0+20190115.tar.xz new file mode 100644 index 0000000..272c7f2 --- /dev/null +++ b/klee-1.4.0+20190115.tar.xz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6fba14de48574283cfe3dbdf085a73ed2b2afc33d9cc155b4e83197b16726f50 +size 622332 diff --git a/klee.changes b/klee.changes index 3821219..c02c1eb 100644 --- a/klee.changes +++ b/klee.changes @@ -1,5 +1,29 @@ ------------------------------------------------------------------- -Sun Dec 16 09:33:44 UTC 2018 - opensuse-packaging@opensuse.org +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 diff --git a/klee.spec b/klee.spec index edfc7b6..645db82 100644 --- a/klee.spec +++ b/klee.spec @@ -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+20181214 +%define version_unconverted 1.4.0+20190115 %ifarch %{ix86} x86_64 %define with_uclibc 1 @@ -32,7 +32,7 @@ Name: klee Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 1.4.0+20181214 +Version: 1.4.0+20190115 Release: 0 Url: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz @@ -72,7 +72,8 @@ mkdir -p build/test/ 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