klee-uclibc

Libc library for Klee

This is a port of uClibc to LLVM to serve Klee. Hence, this package provides a "static" library, but it is not composed of ELF objects, but is LLVM bytecode packed by `ar`. Klee uses this to emulate the POSIX runtime development symbolically.

openSUSE Leap 16.0 jaoks pole ametlikku paketti saadaval

Väljalasked

openSUSE Tumbleweed

1.4+git.20240531

devel:tools:statica Eksperimentaalne
1.4+git.20240531

openSUSE Leap 16.0

devel:tools:statica Eksperimentaalne
1.4+git.20240531

openSUSE Leap 15.6

devel:tools:statica Eksperimentaalne
1.4+git.20240531

openSUSE Leap 15.5

Mittetoetatud distrod

Järgmisi distrosid ametlikult ei toetata. Kasutage neid pakette omal vastutusel.