1. 2016-09-29 [klee-commits] [klee/klee] 96b77a: Fix bug in `AssignmentEvaluator` wher klee-commits Dan Liew 2. 2016-09-29 [klee-commits] [klee/klee] 906ce8: configure: add option to enable times klee-commits Cristian Cadar 3. 2016-09-29 [klee-commits] [klee/klee] 5c86a8: Fixed the description of -posix-runti klee-commits Andrea Mattavelli 4. 2016-09-26 [klee-commits] [klee/klee] 2fdd5a: Modified logging information to steer klee-commits MartinNowack 5. 2016-09-20 [klee-commits] [klee/klee] 95a39e: Extended support for assembler raisin klee-commits Cristian Cadar 6. 2016-09-20 [klee-commits] [klee/klee.github.io] 1cfd94: Update build-llvm34.md (#47 klee-commits Xiangyu Bu 7. 2016-09-20 [klee-commits] [klee/klee.github.io] bcc5bf: Update build-stp.md (#48) klee-commits Xiangyu Bu 8. 2016-09-19 [klee-commits] [klee/klee.github.io] 739ff4: Fixed tutorial description klee-commits Andrea Mattavelli 9. 2016-09-16 [klee-commits] [klee/klee] 1bfdbc: Avoid internalization of non-standard klee-commits Andrea Mattavelli 10. 2016-09-15 [klee-commits] [klee/klee] 746c25: Clang-format ``ConstructSolverChain.c klee-commits Dan Liew 11. 2016-09-15 [klee-commits] [klee/klee] 2a3b9f: Check the existence of the entry poin klee-commits Andrea Mattavelli 12. 2016-09-02 [klee-commits] [klee/klee] 91ff7d: Try to unbreak the TravisCI and Docke klee-commits Dan Liew