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-llvm-make-KLEE-compile-against-LLVM-3.8.patch 0000011237 11 KB
0002-llvm38-test-change-some-tests.patch 0000005573 5.44 KB
0003-llvm-make-KLEE-compile-against-LLVM-3.9.patch 0000011169 10.9 KB
0004-llvm40-handle-different-header-names.patch 0000002536 2.48 KB
0005-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch 0000001106 1.08 KB
0006-llvm40-errorOr-and-similar.patch 0000005225 5.1 KB
0007-llvm-use-chrono-helpers-from-LLVM-4.0.patch 0000005604 5.47 KB
0008-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch 0000003029 2.96 KB
0009-llvm40-gep_type_iterator-has-no-operator.patch 0000001059 1.03 KB
0010-llvm50-avoid-on-function-arg_begin.patch 0000001858 1.81 KB
0011-llvm50-integerPartWidth-is-from-llvm-APFloatBase.patch 0000001045 1.02 KB
0012-llvm50-handle-getOrInsertFunction-terminator.patch 0000005583 5.45 KB
0013-llvm50-SwitchInst-case-functions-now-return-pointers.patch 0000001464 1.43 KB
0014-llvm50-handle-new-file_magic-s-location.patch 0000002205 2.15 KB
0015-llvm50-use-MutableArrayRef-for-APFloat-convertToInte.patch 0000001846 1.8 KB
0016-llvm50-AllocaInst-takes-address-space.patch 0000001304 1.27 KB
0017-llvm50-Intrinsic-objectsize-has-three-arguments.patch 0000002125 2.08 KB
0018-llvm50-test-change-objectsize.patch 0000003397 3.32 KB
0019-llvm60-SetVersionPrinter-now-passes-down-a-stream.patch 0000002524 2.46 KB
0020-llvm60-handle-headers-renaming.patch 0000001133 1.11 KB
FileCheck.cpp 0000049766 48.6 KB
_service 0000000582 582 Bytes
_servicedata 0000000220 220 Bytes
klee-1.4.0+20180524.tar.xz 0000592744 579 KB
klee-rpmlintrc 0000000145 145 Bytes
klee-skip-some-tests.patch 0000000625 625 Bytes
klee.changes 0000042411 41.4 KB
klee.spec 0000005376 5.25 KB
not.cpp 0000001683 1.64 KB
Revision 9 (latest revision is 39)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 612990 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 9) 
- Update to version 1.4.0+20180524:
  * isLSB should be a boolean, as it is only used in truth contexts
  * remove switch fallthrough in floating point comparision
  * llvm37: enable travis testing
  * llvm37: handle getRegisteredOptions
  * test: add versions of some tests for LLVM 3.7
  * llvm: make KLEE compile against LLVM 3.7
  * llvm37: handle GetElementPtrInst::Create's new parameter
  * test: add parenthesis around & operands
- removed patches that are in upstream now:
  * 0001-llvm37-handle-GetElementPtrInst-Create-s-new-paramet.patch
  * 0002-llvm-make-KLEE-compile-against-LLVM-3.7.patch
  * 0003-test-add-versions-of-some-tests-for-LLVM-3.7.patch
  * 0004-llvm37-handle-getRegisteredOptions.patch
- renamed patches:
    * 0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch
      -> 0001-llvm-make-KLEE-compile-against-LLVM-3.8.patch
    * 0007-llvm38-test-change-some-tests.patch
      -> 0002-llvm38-test-change-some-tests.patch
    * 0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch
      -> 0003-llvm-make-KLEE-compile-against-LLVM-3.9.patch
    * 0008-llvm40-handle-different-header-names.patch
      -> 0004-llvm40-handle-different-header-names.patch
    * 0009-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
      -> 0005-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
    * 0010-llvm40-errorOr-and-similar.patch
      -> 0006-llvm40-errorOr-and-similar.patch
    * 0011-llvm-use-chrono-helpers-from-LLVM-4.0.patch
      -> 0007-llvm-use-chrono-helpers-from-LLVM-4.0.patch
    * 0012-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
Comments 0
openSUSE Build Service is sponsored by
Places