KLEE uClibc v1.2
MartinNowack
released this
18 Mar 15:17
·
15 commits
to klee_0_9_29
since this release
This release contains many changes. Thanks to all contributors:
- C99 support by default. (@delcypher)
- Disabling
libm_*
functions by default. (@delcypher) - Travis Maintainance. (@andreamattavelli)
- Support for newer glibc versions. (@jirislaby)
- Correct Kernel header detection. (@Mic92)
- Make builds more deterministicly. (@bmwiedemann)
- Removed support for older LLVM 2.9. (@andreamattavelli)
- Fix compilation if
__STDIO_HAS_OPENLIST
is undefined. (@SolalPirelli) - Updated
Readme.md
. (@ccadar) - Backport of PR 4964 to fix pointer error in newlocale. (@kren1 @MartinNowack)
- Enabled
locale
support andprogram invocation name
by default. (@MartinNowack) - Backport of strtol*() with xlocale fix (on e.g. x86_64). (@aldot @MartinNowack)