MartinNowack
released this
29 Oct 09:06
·
2 commits
to klee_0_9_29
since this release
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