1. 2016-05-31 [klee-commits] Fwd: Errored: klee/klee#573 (master - 64f6edf) klee-commits Cristian Cadar 2. 2016-05-31 [klee-commits] [klee/klee] 6899ea: Fixed the stub for times() not to der klee-commits Cristian Cadar 3. 2016-05-31 [klee-commits] [klee/klee.github.io] e7b2a7: Fixed indentation klee-commits Andrea Mattavelli 4. 2016-05-31 [klee-commits] [klee/klee.github.io] 84a2d4: Updated STP documentation klee-commits Cristian Cadar 5. 2016-05-28 [klee-commits] [klee/klee] 039e8c: Fixed an incorrect read() invocation klee-commits Cristian Cadar 6. 2016-05-27 [klee-commits] [klee/klee] ae5731: Fixed bug #375 in Kleaver's parser klee-commits Cristian Cadar 7. 2016-05-27 [klee-commits] [klee/klee.github.io] 6364d6: Up-to-date help message for klee-commits Cristian Cadar 8. 2016-05-27 [klee-commits] [klee/klee] 4422e9: Improved help message for POSIX envir klee-commits Cristian Cadar 9. 2016-05-27 [klee-commits] [klee/klee.github.io] 22e2db: Updated documentation with klee-commits Cristian Cadar 10. 2016-05-27 [klee-commits] [klee/klee] 71a7e3: Split creation of symbolic files and klee-commits Cristian Cadar 11. 2016-05-25 [klee-commits] [klee/klee] 547157: add include in Z3Solver.cpp (did not klee-commits MartinNowack 12. 2016-05-24 [klee-commits] [klee/klee] b5c41d: Allow relocation of installed klee tr klee-commits MartinNowack 13. 2016-05-18 [klee-commits] [klee/klee] eba009: Modified -debug-print-instructions to klee-commits MartinNowack 14. 2016-05-16 [klee-commits] [klee/klee] 598340: Add cmake 2.8.11 as additional depend klee-commits MartinNowack