pool/klee
SHA256
4
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

up to 2.1+20200921

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=87
This commit is contained in:
Jiri Slaby 2020-09-23 08:07:25 +00:00 committed by Git OBS Bridge
parent fec66e11f6
commit d962695681
6 changed files with 27 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
_servicedata
View File

@ -1,4 +1,4 @@
<servicedata>
<service name="tar_scm">
<param name="url">git://github.com/klee/klee.git</param>
<param name="changesrevision">088fc21e12c9675161172899be5ef5051f1ae96b</param></service></servicedata>
<param name="changesrevision">a8d51ee568e2e2da339fea8c775d8df53ff40038</param></service></servicedata>

3
klee-2.1+20200730.obscpio
View File

@ -1,3 +0,0 @@
version https://git-lfs.github.com/spec/v1
oid sha256:0fc1e497470e8f1255c33211714897b949786df50e309d0a14367642e70529fe
size 19169293

3
klee-2.1+20200921.obscpio Normal file
View File

@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:4d52047147cfdb0a860b47b2bdd79b969ed0cc0d1f9481bd3ecf158af36e9783
size 19188749

16
klee.changes
View File

@ -1,3 +1,19 @@
-------------------------------------------------------------------
Wed Sep 23 07:11:05 UTC 2020 - jslaby@suse.com
- Update to version 2.1+20200921:
* Added a PR template, with a checklist documenting the most frequent issues we have encountered
* [gen-bout] Support multiple symbolic files
* Add klee-zesti a ZESTI like wrapper script
* Fix codecov upload
* Remove secure vars
* Guard process-tree compression with a command-line switch
* More robust handling of unknown intrinsics
* Definition of __cxa_thread_atexit_impl for the KLEE libc.
* klee-stats: check for a run.stats file in the klee-out directory, to prevent outputting wrong data.
* DiscretePDF: use IDs instead of pointers (see PR #739)
* New intrinsic: klee_is_replay
-------------------------------------------------------------------
Thu Aug 06 09:35:38 UTC 2020 - jslaby@suse.com

6
klee.obsinfo
View File

@ -1,5 +1,5 @@
name: klee
version: 2.1+20200730
mtime: 1596123871
commit: 088fc21e12c9675161172899be5ef5051f1ae96b
version: 2.1+20200921
mtime: 1600708094
commit: a8d51ee568e2e2da339fea8c775d8df53ff40038

6
klee.spec
View File

@ -19,7 +19,7 @@
%define llvm_version_major 10
%define llvm_version %{llvm_version_major}
%define version_unconverted 2.1+20200730
%define version_unconverted 2.1+20200921
%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+20200730
Version: 2.1+20200921
Release: 0
URL: http://klee.github.io/
Source0: %{name}-%{version}.tar.xz
@ -76,6 +76,7 @@ cp %{SOURCE3} build/test/
sed -i '1s@/usr/bin/env python3*@/usr/bin/python3@' \
test/Concrete/ConcreteTest.py \
tools/klee-stats/klee-stats \
tools/klee-zesti/klee-zesti \
tools/ktest-tool/ktest-tool
%build
@ -132,6 +133,7 @@ ninja check
%{_bindir}/klee
%{_bindir}/klee-replay
%{_bindir}/klee-stats
%{_bindir}/klee-zesti
%{_bindir}/ktest-tool
%{_includedir}/klee/
%{_libdir}/libkleeRuntest.so*