klee-uclibc
No description set
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
1
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Slowroll:Base:1/klee-uclibc && cd $_
- Create Badge
Refresh
Refresh
Source Files
Filename | Size | Changed |
---|---|---|
_service | 0000000528 528 Bytes | |
_servicedata | 0000000235 235 Bytes | |
klee-uclibc-1.0.0+git.20190816.tar.xz | 0001709236 1.63 MB | |
klee-uclibc-rpmlintrc | 0000000084 84 Bytes | |
klee-uclibc.changes | 0000005329 5.2 KB | |
klee-uclibc.spec | 0000002662 2.6 KB | |
proper-compiler-flags-check.patch | 0000000765 765 Bytes | |
uClibc-locale-030818.tgz | 0000236073 231 KB |
Revision 12 (latest revision is 24)
Dominique Leuenberger (dimstar_suse)
accepted
request 734973
from
Jiri Slaby (jirislaby)
(revision 12)
- Update to version 1.0.0+git.20190816: * Add a message when the bitcode compiler is specified via CC, to help diagnose cases in which CC does not point to a valid bitcode compiler. * Check if pointer size reflects architecture * Use newer gcc to compile KLEE * Fix compilation when __STDIO_HAS_OPENLIST is undefined
Comments 0