[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee-uclibc] 1495f0: - Fix strtol*() with xlocale (on e.g. x86_64) (clo...
From:       Cristian Cadar <c.cadar () imperial ! ac ! uk>
Date:       2018-09-26 12:08:18
Message-ID: 5bab76b2993a0_38d52ad228baced81383b () hookshot-fe-5a11256 ! cp1-iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/klee_0_9_29
  Home:   https://github.com/klee/klee-uclibc
  Commit: 1495f04d5502fb05f3d1840ae4eb17b381ba88af
      https://github.com/klee/klee-uclibc/commit/1495f04d5502fb05f3d1840ae4eb17b381ba88af
  Author: Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>
  Date:   2018-09-18 (Tue, 18 Sep 2018)

  Changed paths:
    M libc/stdlib/stdlib.c

  Log Message:
  -----------
  - Fix strtol*() with xlocale (on e.g. x86_64) (closes #2544)


  Commit: 24a307a5d0c26615e9c7d2f7d5f37d1fe378e0c6
      https://github.com/klee/klee-uclibc/commit/24a307a5d0c26615e9c7d2f7d5f37d1fe378e0c6
  Author: Martin Nowack <m.nowack@imperial.ac.uk>
  Date:   2018-09-18 (Tue, 18 Sep 2018)

  Changed paths:
    M klee-premade-configs/x86_64/config

  Log Message:
  -----------
  Enable locale support for uclibc


  Commit: a825807c71a9cf39745af518dc3117af31a4580a
      https://github.com/klee/klee-uclibc/commit/a825807c71a9cf39745af518dc3117af31a4580a
  Author: Timotej Kapus <tk1713@ic.ac.uk>
  Date:   2018-09-18 (Tue, 18 Sep 2018)

  Changed paths:
    M libc/misc/locale/locale.c

  Log Message:
  -----------
  Backport uclibc PR 4964 to fix pointer error in newlocale


  Commit: bff62cebe2488d5fee70503c9eb0bdbe6d04dfc3
      https://github.com/klee/klee-uclibc/commit/bff62cebe2488d5fee70503c9eb0bdbe6d04dfc3
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2018-09-26 (Wed, 26 Sep 2018)

  Changed paths:
    M klee-premade-configs/x86_64/config
    M libc/misc/locale/locale.c
    M libc/stdlib/stdlib.c

  Log Message:
  -----------
  Merge pull request #20 from MartinNowack/fix_clocal

Enables proper locale support for  uclibc


Compare: https://github.com/klee/klee-uclibc/compare/2c125446bfd4...bff62cebe248
      **NOTE:** This service has been marked for deprecation: \
https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.



_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits


[prev in list] [next in list] [prev in thread] [next in thread]