Overview Repositories Revisions Requests Users Attributes Meta

LLVM Execution Engine

Edit Package klee
http://klee.github.io/

KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.

  • Devel package for openSUSE:Factory
  • 2 derived packages
  • Links to openSUSE:Factory / klee
  • Download package
  • osc -A https://api.opensuse.org checkout devel:tools:statica/klee && cd $_
  • Create Badge
Refresh
Refresh
Source Files (show unmerged sources)
Filename Size Changed
0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch 0000001679 1.64 KB
FileCheck.cpp 0000036884 36 KB
_service 0000000619 619 Bytes
_servicedata 0000000226 226 Bytes
klee-3.0+20240208.obscpio 0019196429 18.3 MB
klee-rpmlintrc 0000000045 45 Bytes
klee.changes 0000094003 91.8 KB
klee.obsinfo 0000000100 100 Bytes
klee.spec 0000004385 4.28 KB
not.cpp 0000002281 2.23 KB
Latest Revision
buildservice-autocommit accepted request 1146146 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 137) 
baserev update by copy to link target
Comments 0
openSUSE Build Service is sponsored by
Places