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

up to 20170324

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=17
This commit is contained in:
Jiri Slaby
2017-03-27 06:47:25 +00:00
committed by Git OBS Bridge
parent 1d4f24e001
commit 9b9b2aab5a
7 changed files with 39 additions and 55 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
klee.changes
View File

@@ -1,21 +1,32 @@
-------------------------------------------------------------------
Fri Mar 17 12:43:32 UTC 2017 - jslaby@suse.com
Mon Mar 27 06:28:04 UTC 2017 - jslaby@suse.com
- Update to version 1.3.0+20170317:
- Update to version 1.3.0+20170324:
* [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
* test: POSIX, stop FD_Fail to fail
* runtime: POSIX, check path prior dereference
* [travis] use a proper version of metaSMT via environment variable METASMT_VERSION
* [travis] build metaSMT without C++11
* remove special handling of metaSMT_CXXFLAGS (unnecessary now as we use a fixed version of metaSMT with this flag being properly set)
* [WIP] Fix bug where stats would not be updated on early exit caused by finding a bug with the `-exit-on-error` option enabled.
* Replace `llvm:errs()` with `klee_error()` as suggested by @andreamattavelli
* Add test case to check that on early exits stats are flushed
* Add `AssignmentValidatingSolver`. It's purpose is to check any computed assignments against the corresponding `Query` object and check the assignment evaluates correctly.
* [CMake] Unbreak build due to not adding AssignmentValidatingSolver.cpp to list of source files.
* [Travis-CI] Refactored Z3 in its own script
* [Travis-CI] Added support for macOS build
- enable checking of the result (%check section), only on x86_64
- add some patches
* 0001-errno-define-__errno_location.patch
* 0001-test-DirSeek-make-it-XFAIL-temporarily.patch
* 0001-test-POSIX-stop-FD_Fail-to-fail.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
* 0005-Make-KLEE-compile-against-LLVM-3.7.patch
-> 0002-Make-KLEE-compile-against-LLVM-3.7.patch
- deleted patches (they are upstream)
* 0007-fix-compilation-on-LLVM-3.8-after-rebase-to-master.patch
* 0004-Cleanup-removed-unneccessary-bools.patch