Overview Repositories Revisions Requests Users Attributes Meta

Revisions of klee-uclibc

Ana Guerrero's avatar Ana Guerrero (anag+factory) accepted request 1146145 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 24) 
- generate debuginfo into the lib using -g
- do not configure with --enable-release as "things might break" (and they do).
Ana Guerrero's avatar Ana Guerrero (anag+factory) accepted request 1134422 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 23) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1093217 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 22) 
- require python3-base, not python-base as we need py3
- update rpmlintrc filter to match the current output
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1038834 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 21) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1003285 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 20) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 976207 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 19) 
- 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
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 927482 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 18) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 862514 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 16) 
- 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)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 836442 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 15) 
- 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.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 734973 from Jiri Slaby's avatar 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
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 725228 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 11) 
- The build requires ncurses-devel, and this will soon no longer be transitively included via llvm-devel. (forwarded request 725155 from aaronpuchert)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 714129 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 10) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 653716 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 9) 
Automatic submission by obs-autosubmit
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 632734 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 8) 
- 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)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 621055 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 7) 
Automatic submission by obs-autosubmit
Displaying revisions 1 - 20 of 24
openSUSE Build Service is sponsored by
Places