pool/klee
SHA256
12
0
Fork 2
Code Issues Pull Requests Activity

up to 3.0+20231023

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=131
This commit is contained in:
Jiri Slaby
2023-12-14 07:48:18 +00:00
committed by Git OBS Bridge
parent 5e53e27682
commit dd7d750125
6 changed files with 36 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
_service
View File

@@ -1,5 +1,5 @@
<services>
<service name="obs_scm" mode="disabled">
<service name="obs_scm" mode="manual">
<param name="url">https://github.com/klee/klee</param>
<param name="scm">git</param>
<param name="changesgenerate">enable</param>
@@ -7,7 +7,7 @@
<param name="versionrewrite-pattern">v(.*)</param>
<param name="versionrewrite-replacement">\1</param>
</service>
<service name="set_version" mode="disabled" />
<service name="set_version" mode="manual" />
<service name="tar" mode="buildtime"/>
<service name="recompress" mode="buildtime">

2
_servicedata
View File

@@ -1,4 +1,4 @@
<servicedata>
<service name="tar_scm">
<param name="url">https://github.com/klee/klee</param>
<param name="changesrevision">c10e9e926700773e01f44fbb1917deac7be2aaea</param></service></servicedata>
<param name="changesrevision">fc83f06b17221bf5ef20e30d9da1ccff927beb17</param></service></servicedata>

1
klee-rpmlintrc
View File

@@ -1,2 +1 @@
addFilter("shlib-policy-name-error .*libkleeRuntest")
addFilter("devel-file-in-non-devel-package")

26
klee.changes
View File

@@ -1,3 +1,29 @@
-------------------------------------------------------------------
Thu Dec 14 07:40:13 UTC 2023 - jslaby@suse.cz
- Update to version 3.0+20231023:
* replace deprecated (as of c++20) std::is_pod with std::trivial &&
std::is_standard_layout
* Make KDAlloc the default memory allocator
* Remove broken experimental optimisation for validity (--cex-cache-exp)
* Add code to only keep in the --help menu the KLEE/Kleaver option categories
* Move some options to the klee namespace and declare them in
OptionCategories.h
* Replaced --suppress-external-warnings and --all-external-warnings with
--external-call-warnings=none|once-per-function|all.
* Combine all `ConstantExpr::toMemory` cases into one.
* Using std::memcpy prevents alignment problems and removes an unnecessary
special case
* Implement getLocationInfo in the same style as getSize
* Have CoWPtr::get and CoWPtr::getOwned return pointers instead of references
* rename Allocator::location_info to Allocator::locationInfo for consistency
* Consistently use ".ktest" when referring to .ktest files in the help menu
* Remove parentheses around klee_ intrinsics from the help menu
* Fixed a couple of spelling issues in the help menu
* Improved help message for --exit-on-error-type=Abort
* and more
- clean up spec file and switch to manual service
-------------------------------------------------------------------
Thu Jun 15 06:54:19 UTC 2023 - jslaby@suse.cz

6
klee.obsinfo
View File

@@ -1,4 +1,4 @@
name: klee
version: 3.0+20230611
mtime: 1686507804
commit: c10e9e926700773e01f44fbb1917deac7be2aaea
version: 3.0+20231023
mtime: 1698093351
commit: fc83f06b17221bf5ef20e30d9da1ccff927beb17

9
klee.spec
View File

@@ -16,8 +16,7 @@
#
%define llvm_version_major 14
%define llvm_version %{llvm_version_major}
%define llvm_version 14
%ifarch x86_64
%define with_uclibc 1
@@ -31,13 +30,13 @@ Name: klee
Summary: LLVM Execution Engine
License: NCSA
Group: Development/Languages/Other
Version: 3.0+20230611
Version: 3.0+20231023
Release: 0
URL: http://klee.github.io/
Source0: %{name}-%{version}.tar.xz
Source1: %{name}-rpmlintrc
Source2: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version_major}.0.0/llvm/utils/not/not.cpp
Source3: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version_major}.0.0/llvm/utils/FileCheck/FileCheck.cpp
Source2: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version}.0.0/llvm/utils/not/not.cpp
Source3: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version}.0.0/llvm/utils/FileCheck/FileCheck.cpp
Patch0: 0001-test-disable-until-it-is-fixed.patch
BuildRequires: clang%{llvm_version}
BuildRequires: cmake