Overview Repositories Revisions Requests Users Attributes Meta

Klee

Edit Package klee

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.

  • Developed at devel:tools:statica
  • Sources inherited from project openSUSE:Factory
  • 2 derived packages
  • Download package
  • osc -A https://api.opensuse.org checkout openSUSE:Factory:ARM/klee && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
0001-errno-define-__errno_location.patch 0000001325 1.29 KB
0001-llvm-don-t-use-clEnumValEnd-for-LLVM-4.0.patch 0000009559 9.33 KB
0001-test-DirSeek-make-it-XFAIL-temporarily.patch 0000001150 1.12 KB
0002-llvm-get-rid-of-static_casts-from-iterators.patch 0000015182 14.8 KB
0003-Core-TimingSolver-use-WallTimer.patch 0000004052 3.96 KB
0004-llvm-make-KLEE-compile-against-LLVM-3.7.patch 0000012240 12 KB
0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch 0000011203 10.9 KB
0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch 0000011521 11.3 KB
0007-test-add-versions-of-some-tests-for-LLVM-3.8.patch 0000062063 60.6 KB
0008-travis-CI-add-LLVM-3.8-build-tests.patch 0000002550 2.49 KB
0009-llvm40-handle-different-header-names.patch 0000002462 2.4 KB
0010-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch 0000001106 1.08 KB
0011-llvm40-errorOr-and-similar.patch 0000005578 5.45 KB
0012-llvm-use-chrono-helpers-from-LLVM-4.0.patch 0000005618 5.49 KB
0013-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch 0000004723 4.61 KB
FileCheck.cpp 0000049766 48.6 KB
_service 0000000464 464 Bytes
_servicedata 0000000220 220 Bytes
klee-1.3.0+20170607.tar.xz 0000652804 638 KB
klee-rpmlintrc 0000000145 145 Bytes
klee.changes 0000022043 21.5 KB
klee.spec 0000004684 4.57 KB
not.cpp 0000001683 1.64 KB
Revision 3 (latest revision is 39)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 502372 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 3) 
- Build against LLVM 4
- Update to version 1.3.0+20170607:
  * Fix test failure on systems with libstdc++ corresponding to gcc7.
  * llvm: rename ExitOnError to OptExitOnError
  * Prevent test failure when realloc fails in test/Feature/Realloc.c
- added patches:
    0001-llvm-don-t-use-clEnumValEnd-for-LLVM-4.0.patch
    0002-llvm-get-rid-of-static_casts-from-iterators.patch
    0003-Core-TimingSolver-use-WallTimer.patch
    0004-llvm-make-KLEE-compile-against-LLVM-3.7.patch
    0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch
    0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch
    0007-test-add-versions-of-some-tests-for-LLVM-3.8.patch
    0008-travis-CI-add-LLVM-3.8-build-tests.patch
    0009-llvm40-handle-different-header-names.patch
    0010-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
    0011-llvm40-errorOr-and-similar.patch
    0012-llvm-use-chrono-helpers-from-LLVM-4.0.patch
    0013-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
- removed patches (renamed to the above):
    0001-test-add-versions-of-some-tests-for-LLVM-3.8.patch
    0002-Make-KLEE-compile-against-LLVM-3.7.patch
    0003-Make-KLEE-compile-against-LLVM-3.8.patch

- Update to version 1.3.0+20170602:
  * use METASMT_REQUIRE_RTTI flag to decide whether we need RTTI
  * [travis] add environment variable METASMT_BOOST_VERSION to control the boost version used by metaSMT and test it with the combination LLVM-2.9 + metaSMT
  * [CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM version and a metaSMT version that requires RTTI
  * [TravisCI] Try to unbreak the build against upstream STP.
  * Remove redundant KLEE prefix while logging
Comments 0
openSUSE Build Service is sponsored by
Places