File klee-uclibc.changes of Package klee-uclibc

Overview Repositories Revisions Requests Users Attributes Meta

File klee-uclibc.changes of Package klee-uclibc (Revision 1a78697cb9fef781988684721955a890)

Currently displaying revision 1a78697cb9fef781988684721955a890 , Show latest

-------------------------------------------------------------------
Sun Dec 13 14:14:48 UTC 2020 - Aaron Puchert <aaronpuchert@alice-dsl.net>

- Switch to regular version 1.2. That's a slight downgrade, as we
  lose the last two commits, but they aren't relevant here.
- Switch to LLVM 11.

-------------------------------------------------------------------
Thu Sep 24 05:31:55 UTC 2020 - jslaby@suse.com

- 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.

-------------------------------------------------------------------
Fri Apr 24 22:48:14 UTC 2020 - Aaron Puchert <aaronpuchert@alice-dsl.net>

- Switch to LLVM 10.

-------------------------------------------------------------------
Mon Nov  4 06:52:30 UTC 2019 - Jiri Slaby <jslaby@suse.com>

- switch to llvm 9

-------------------------------------------------------------------
Fri Oct 04 11:08:45 UTC 2019 - jslaby@suse.com

- 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

-------------------------------------------------------------------
Wed Aug 21 21:30:58 UTC 2019 - Aaron Puchert <aaronpuchert@alice-dsl.net>

- The build requires ncurses-devel, and this will soon no longer be
  transitively included via llvm-devel.

-------------------------------------------------------------------
Mon Jul  1 23:09:14 UTC 2019 - Aaron Puchert <aaronpuchert@alice-dsl.net>

- Switch to LLVM 8.

-------------------------------------------------------------------
Mon Oct 29 15:22:45 UTC 2018 - jslaby@suse.com

- Update to version 1.0.0+git.20180926:
  * Replaced README.klee with README.md, which now also includes a TravisCI build status.
  * Revert lit to 0.6.0 version, as 0.7.0 misbehaves
  * Backport uclibc PR 4964 to fix pointer error in newlocale
  * Enable locale support for uclibc
  * - Fix strtol*() with xlocale (on e.g. x86_64) (closes #2544)
  * Disable default tcmalloc build for uclibc testing
- switch to LLVM 7

-------------------------------------------------------------------
Sun Sep 02 09:35:18 UTC 2018 - jslaby@suse.com

- 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)

-------------------------------------------------------------------
Sat Jun 16 09:34:29 UTC 2018 - jslaby@suse.com

- switch to LLVM 6

-------------------------------------------------------------------
Wed Dec 27 10:50:34 UTC 2017 - dimstar@opensuse.org

- Revert llvm_version back to 4: klee is not ready yet to build
  using llvm5.

-------------------------------------------------------------------
Tue Dec 19 14:29:55 UTC 2017 - dimstar@opensuse.org

- Change llvm_Version to 5, following the switch of LLVM to version
  5 in Tumbleweed.

-------------------------------------------------------------------
Tue Jun 27 08:41:03 UTC 2017 - jslaby@suse.com

- require only base of python

-------------------------------------------------------------------
Thu Jun  8 12:10:39 UTC 2017 - jslaby@suse.com

- switch to LLVM 4
- BuildRequire: python as it is needed for configure
- add proper-compiler-flags-check.patch to kill the message flood

-------------------------------------------------------------------
Fri Mar 31 11:52:33 UTC 2017 - jengelh@inai.de

- Resolve some orthographic errors.

-------------------------------------------------------------------
Thu Mar 30 07:35:43 UTC 2017 - jslaby@suse.com

- Change license to LGPL-2.1+, the same as is in uClibc in Factory

-------------------------------------------------------------------
Fri Mar 24 11:17:05 UTC 2017 - jslaby@suse.com

- Update to version 1.0.0+git.20170324:
  * Enable program_invocation_name feature
  * Enable C99 math by default
  * Hack the `libm_*()` macros to be no-ops like we do with the `libc_*()` macros. See 7217b2a28e792c1118244ad897346c6c2b6cba41 for the reasoning here.
  * Added Travis-CI integration. The script is heavily based on the one used in KLEE.

-------------------------------------------------------------------
Thu Mar 23 17:08:27 UTC 2017 - jengelh@inai.de

- Avoid unnecessary %__-type macro indirections.

-------------------------------------------------------------------
Mon Mar 20 10:13:49 UTC 2017 - jslaby@suse.com

- kill the main package

-------------------------------------------------------------------
Fri Mar 17 08:13:58 UTC 2017 - jslaby@suse.com

- split into -devel-static

-------------------------------------------------------------------
Sat Mar 11 08:12:54 UTC 2017 - jslaby@suse.com

- add glibc 2.25 support: 0001-features-support-glibc-2.25.patch

-------------------------------------------------------------------
Thu Mar 02 13:16:43 UTC 2017 - jslaby@suse.com

- Update to version 1.0.0+20131211:
  * Added a hack originally added by DWD that prevented compiliation errors.
  * Fixed build on i686 on Linux 3.11.6.
  * Exit cleanly if llvm-config cannot be found.
  * Fixed building host code (make menuconfig code). llvm-gcc out of the box might not be able to link correctly so in this case we use 'cc' instead of llvm-gcc for the host code.
  * configure script checks for ncurses (needed for make menuconfig)
  * Exit gracefully if argparse can't be imported (user probably has python version < 2.7).
  * Fix small bug in b5c6cea400e58ac8848db8aa2fefc695b0357b4e where compiler temporary file would not be removed when checking for ncurses.
  * Search for Kernel headers
  * Add more log output when patching .config file for KERNEL_HEADERS
  * Use os.path.join instead of explicit string concatentation.

-------------------------------------------------------------------
Thu Mar  2 13:14:37 UTC 2017 - jslaby@suse.com

- initial package

Places

File klee-uclibc.changes of Package klee-uclibc (Revision 1a78697cb9fef781988684721955a890)

Places