klee-uclibc

SHA256

T

This branch is 79 commits behind pool/klee-uclibc:factory

anag_factory 453a41c108 Accepting request 1146145 from devel:tools:statica

- generate debuginfo into the lib using -g
- do not configure with --enable-release as "things might break" (and they do).

OBS-URL: https://build.opensuse.org/request/show/1146145
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee-uclibc?expand=0&rev=24

2024-02-12 17:53:26 +00:00

_service

fix _service URL

2022-03-16 10:13:38 +00:00

_servicedata

- Update klee to version 2.2, switch to LLVM 11.

2021-01-12 05:27:57 +00:00

.gitattributes

Accepting request 461940 from home:jirislaby:statica

2017-03-02 13:55:58 +00:00

.gitignore

Accepting request 461940 from home:jirislaby:statica