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:Factory:ARM/klee && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| FileCheck.cpp | 0000035111 34.3 KB | |
| _service | 0000000623 623 Bytes | |
| _servicedata | 0000000221 221 Bytes | |
| klee-rpmlintrc | 0000000145 145 Bytes | |
| klee.changes | 0000075938 74.2 KB | |
| klee.obsinfo | 0000000092 92 Bytes | |
| klee.spec | 0000004459 4.35 KB | |
| not.cpp | 0000001836 1.79 KB | |
| v2.2.tar.gz | 0001073138 1.02 MB |
Revision 24 (latest revision is 39)
Dominique Leuenberger (dimstar_suse)
accepted
request 862477
from
Jiri Slaby (jirislaby)
(revision 24)
- Update klee to version 2.2, switch to LLVM 11. - Go with regular release for now, but leave _service files intact. (forwarded request 862450 from aaronpuchert)
Comments 0