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

up to 20170328

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=19
This commit is contained in:
Jiri Slaby
2017-03-28 13:46:37 +00:00
committed by Git OBS Bridge
parent bf7d27b77c
commit c13a764bf8
6 changed files with 16 additions and 82 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
klee.changes
View File

@@ -1,7 +1,8 @@
-------------------------------------------------------------------
Mon Mar 27 06:28:04 UTC 2017 - jslaby@suse.com
Tue Mar 28 13:43:30 UTC 2017 - jslaby@suse.com
- Update to version 1.3.0+20170324:
- Update to version 1.3.0+20170328:
* runtime: POSIX, make it compile with glibc 2.25
* [Lit] Add system information (linux/darwim) to LIT configuration. Added 'not-*' features that exist if target operating system does not match a list of know operating systems.
* Fix test case for OSX: only weak aliases are supported on darwin Rewritten tests by replacing 'XFAIL: darwin' with 'REQUIRES: not-darwin'
* test: fix 'not' build
@@ -23,14 +24,14 @@ Mon Mar 27 06:28:04 UTC 2017 - jslaby@suse.com
* 0001-test-DirSeek-make-it-XFAIL-temporarily.patch
* 0001-test-add-versions-of-some-tests-for-LLVM-3.8.patch
- renamed patches
* 0006-Make-KLEE-compile-against-LLVM-3.8.patch
-> 0003-Make-KLEE-compile-against-LLVM-3.8.patch
* 0005-Make-KLEE-compile-against-LLVM-3.7.patch
-> 0002-Make-KLEE-compile-against-LLVM-3.7.patch
* 0006-Make-KLEE-compile-against-LLVM-3.8.patch
-> 0003-Make-KLEE-compile-against-LLVM-3.8.patch
- deleted patches (they are upstream)
* 0007-fix-compilation-on-LLVM-3.8-after-rebase-to-master.patch
* 0001-runtime-POSIX-make-it-compile-with-glibc-2.25.patch
* 0004-Cleanup-removed-unneccessary-bools.patch
* 0002-Fix-compiler-warning.patch
* 0007-fix-compilation-on-LLVM-3.8-after-rebase-to-master.patch
-------------------------------------------------------------------
Wed Mar 15 12:57:25 UTC 2017 - jslaby@suse.com