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-Fix-generation-of-expressions-from-constant-sequenti.patch 0000001287 1.26 KB
0001-llvm37-handle-GetElementPtrInst-Create-s-new-paramet.patch 0000003228 3.15 KB
0002-Fix-getelementptr-for-array-or-vector-indices.patch 0000003810 3.72 KB
0002-llvm-make-KLEE-compile-against-LLVM-3.7.patch 0000006854 6.69 KB
0003-Fix-correct-element-order-of-InsertElement-ExtractEl.patch 0000002245 2.19 KB
0003-test-add-versions-of-some-tests-for-LLVM-3.7.patch 0000061971 60.5 KB
0004-Provide-errno-independent-of-CTYPE_EXTERNALS-being-d.patch 0000001377 1.34 KB
0004-llvm37-handle-getRegisteredOptions.patch 0000001087 1.06 KB
0005-Track-errno-correctly.patch 0000004893 4.78 KB
0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch 0000011233 11 KB
0006-Declare-klee_get_errno-and-remove-local-declarations.patch 0000001249 1.22 KB
0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch 0000011169 10.9 KB
0007-Add-support-for-modelling-errno_location.patch 0000003760 3.67 KB
0007-llvm40-handle-different-header-names.patch 0000002536 2.48 KB
0008-Cleanup-test-cases.patch 0000001164 1.14 KB
0008-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch 0000001106 1.08 KB
0009-llvm40-errorOr-and-similar.patch 0000005233 5.11 KB
0009-test-fix-Feature-BFSSearcherAndDFSSearcherInterleave.patch 0000001299 1.27 KB
0010-llvm-use-chrono-helpers-from-LLVM-4.0.patch 0000005618 5.49 KB
0011-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch 0000003032 2.96 KB
0012-llvm40-gep_type_iterator-has-no-operator.patch 0000001059 1.03 KB
0013-llvm38-test-change-some-tests.patch 0000004262 4.16 KB
FileCheck.cpp 0000049766 48.6 KB
_service 0000000582 582 Bytes
_servicedata 0000000220 220 Bytes
klee-1.4.0+20171026.tar.xz 0000582380 569 KB
klee-rpmlintrc 0000000145 145 Bytes
klee.changes 0000032270 31.5 KB
klee.spec 0000005302 5.18 KB
not.cpp 0000001683 1.64 KB
Revision 6 (latest revision is 39)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 545450 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 6) 
Automatic submission by obs-autosubmit
Comments 0
openSUSE Build Service is sponsored by
Places