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
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Leap:16.0:FactoryCandidates/klee && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| 0001-test-disable-until-it-is-fixed.patch | 0000000877 877 Bytes | |
| FileCheck.cpp | 0000036877 36 KB | |
| _service | 0000000623 623 Bytes | |
| _servicedata | 0000000227 227 Bytes | |
| klee-2.2+20220311.obscpio | 0019642381 18.7 MB | |
| klee-rpmlintrc | 0000000045 45 Bytes | |
| klee.changes | 0000080458 78.6 KB | |
| klee.obsinfo | 0000000100 100 Bytes | |
| klee.spec | 0000004485 4.38 KB | |
| not.cpp | 0000002267 2.21 KB |
Revision 30 (latest revision is 40)
Dominique Leuenberger (dimstar_suse)
accepted
request 964255
from
Factory Maintainer (factory-maintainer)
(revision 30)
Automatic submission by obs-autosubmit
Comments 0