Revisions of klee-uclibc
- generate debuginfo into the lib using -g - do not configure with --enable-release as "things might break" (and they do).
Automatic submission by obs-autosubmit
- require python3-base, not python-base as we need py3 - update rpmlintrc filter to match the current output
Automatic submission by obs-autosubmit
Automatic submission by obs-autosubmit
- update to 1.3 * configure: remove old code, make llvm-config lookup more flexible, set to Python3, remove trailing whitespace * switch to https; fallback to curl when wget not available * Correcting use of 'lookForNew' * Add a message when the bitcode compiler is specified via CC - add extra-locale-Makefile-don-t-always-require-curl-wget.patch to fix build
Automatic submission by obs-autosubmit
- Switch to LLVM 12.
- 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)
- Update to version 1.0.0+git.20200711: * Correcting use of 'lookForNew' and some rudimentary code tidying in 'configure' - disable x86_32 as it is unsupported -- there are bugs in klee.
- Switch to LLVM 10.
- switch to llvm 9
- 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
- The build requires ncurses-devel, and this will soon no longer be transitively included via llvm-devel. (forwarded request 725155 from aaronpuchert)
Automatic submission by obs-autosubmit
Automatic submission by obs-autosubmit
- Update to version 1.0.0+git.20171011: * Updated Travis-CI to compile KLEE with CMake only * Sort list of ar input files * Removed support for LLVM 2.9 * configure: read kernel header location from environment variable * features: support glibc 2.25 - remove 0001-features-support-glibc-2.25.patch (in upstream)
Automatic submission by obs-autosubmit
Displaying revisions 1 - 20 of 24