Hi, We have released a new version klee-uclibc. These changes were long overdue. Thanks a lot to Martin Nowack for getting things started and contributing some important fixes.
===Key changes=== * klee-uclibc is now under version control (git) * klee-uclibc is based on the 0_9_29 branch as opposed to tag version which means a few upstream bug fixes are present * Building under newer linux kernels is now supported * The configure script has been rewritten from scratch and is vastly superior to the old script * Building with clang instead of llvm-gcc is supported * Changes made to uclibc are now individual commits which makes understanding the changes a lot easier. ===Building=== The code is on GitHub in the klee_0_9_29 branch. To get the source code run $ git clone --depth 1 --branch klee_0_9_29 https://github.com/klee/klee-uclibc.git Remove the --depth 1 if you want the full history. To build run $ ./configure --make-llvm-lib $ make ===Bugs/Issues=== Please report any bugs or issues on the klee-uclibc issue tracker https://github.com/klee/klee-uclibc/issues There is also wiki to at https://github.com/klee/klee-uclibc/wiki The getting started instructions on the KLEE website have been updated so that new users use the new version of klee-uclibc. Enjoy! _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
