klee_uclibc_v1.4

Only slightly more than one year, it's time for a new version.
Thanks to all the many contributions.

What's Changed

• Don't always require curl/wget to build locales by @jirislaby in #43
• Fix compilation with newer LLVM/Clang versions: make int-conversion a warning by @251 in #44
• Remove deprecated llvm-gcc by @251 in #45
• Fixing null dereference in realpath by @davidtr1037 in #47
• Add missing variables for GitHub CI by @MartinNowack in #46

New Contributors

• @davidtr1037 made their first contribution in #47

Full Changelog: klee_uclibc_v1.3...klee_uclibc_v1.4

KLEE uClibc v1.3

After a couple of years, it's time for a new version.
Thanks to all the many contributions.

Features

• Use Python 3 to run the configure script and improved usability via better PATH lookup (@251)
• Use curl fallback to download locale (@251)
• Be more verbose about the compiler set via CC and check for its availability (@ccadar)

Bug Fixes

• Fix lookForNew in configure script (@andrewvaughanj)

Build System

• Update used versions of LLVM, GTest, Z3 to match KLEE's configuration (@251)
• Transition to GitHub Actions build system used by upstream KLEE (@MartinNowack)
• Fixed old build system (@ccadar)

New Contributors

• @andrewvaughanj
• @251

Full Changelog: klee_uclibc_v1.2...klee_uclibc_v1.3

KLEE uClibc v1.2

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 and program invocation name by default. (@MartinNowack)
• Backport of strtol*() with xlocale fix (on e.g. x86_64). (@aldot @MartinNowack)

RC2 for KLEE Uclibc v1.2

This release contains:

• Updated Readme.md. Thanks to @ccadar
• Backport of PR 4964 to fix pointer error in newlocale. Thanks to @kren1 @MartinNowack
• Enabled locale support by default. Thanks to @MartinNowack
• Backport of strtol*() with xlocale fix (on e.g. x86_64). Thanks to @aldot @MartinNowack
• Fix compilation if __STDIO_HAS_OPENLIST is undefined. Thanks to @SolalPirelli

Release candidate for KLEE uclibc

Merge pull request #16 from andreamattavelli/update_travis_cmake

[TravisCI] Updated Travis-CI to compile KLEE with CMake only