1. 2016-06-30 [klee-commits] [klee/klee] fc6848: Dockerfile: link binaries to /usr/bin klee-commits MartinNowack 2. 2016-06-29 [klee-commits] [klee/klee-uclibc] 0aa84c: Enable program_invocation_name klee-commits Martin Nowack 3. 2016-06-28 [klee-commits] [klee/klee] 4f4b93: change bitwidth of expr_shpost in Met klee-commits MartinNowack 4. 2016-06-27 [klee-commits] [klee/klee.github.io] 475a41: Updated compilation steps i klee-commits Andrea Mattavelli 5. 2016-06-27 [klee-commits] [klee/klee.github.io] d727e0: Added -DSTATICCOMPILE=ON fl klee-commits Cristian Cadar 6. 2016-06-24 [klee-commits] [klee/klee] 96cbd7: Added string for -run-in directory er klee-commits Cristian Cadar 7. 2016-06-23 [klee-commits] [klee/klee] 26705b: Use klee_message for timeout informat klee-commits Cristian Cadar 8. 2016-06-23 [klee-commits] [klee/klee] b097c8: clean up metaSMT includes klee-commits Cristian Cadar 9. 2016-06-14 [klee-commits] [klee/klee.github.io] 15d5eb: Added documentation on Klea klee-commits Andrea Mattavelli 10. 2016-06-14 [klee-commits] [klee/klee.github.io] 03078d: Fixed building instructions klee-commits Andrea Mattavelli 11. 2016-06-04 [klee-commits] [klee/klee] 86188c: Do not install clang-3.4 if not neede klee-commits MartinNowack