klee-commits

2017-08-01 - 2017-09-01 (6 messages)

2017-07-01 - 2017-08-01 (28 messages)

2017-06-01 - 2017-07-01 (18 messages)

  1. 2017-07-31  [klee-commits] [klee/klee] 977e03: Fix build for FreeBSD.                klee-commits Tatiana Tikhomirova 
  2. 2017-07-29  [klee-commits] [klee/klee] 1af37b: Added another variant of printFileLin klee-commits Cristian Cadar 
  3. 2017-07-28  [klee-commits] [klee/klee] 0c964b: [CMake] Refactor STP detection and ch klee-commits Andrea Mattavelli 
  4. 2017-07-28  [klee-commits] [klee/klee] 90390b: Modified Travis-CI script to compile  klee-commits MartinNowack 
  5. 2017-07-27  [klee-commits] [klee/klee] 57129f: Now that LLVM 2.9 is gone, we can use klee-commits Cristian Cadar 
  6. 2017-07-26  [klee-commits] [klee/klee] 0281f0: This reverts incorrect patch https:// klee-commits Andrea Mattavelli 
  7. 2017-07-25  [klee-commits] [klee/klee] 26d0fc: Added regression test for bug reporte klee-commits Cristian Cadar 
  8. 2017-07-25  [klee-commits] [klee/klee] b496ea: [CMake] Fix bug where we would inheri klee-commits MartinNowack 
  9. 2017-07-25  [klee-commits] [klee/klee] 810f7e: Cleanup tests for last LLVM 2.9 refer klee-commits Andrea Mattavelli 
 10. 2017-07-25  [klee-commits] [klee/klee] 5a8422: Added the const qualifier to the keys klee-commits Cristian Cadar 
 11. 2017-07-25  [klee-commits] [klee/klee] d61646: Re-enable parts of `FloatingPointOps. klee-commits Andrea Mattavelli 
 12. 2017-07-24  [klee-commits] [klee/klee] c06cc0: Moved klee_choose from klee-libc to K klee-commits Cristian Cadar 
 13. 2017-07-24  [klee-commits] [klee/klee] 61033f: llvm: get rid of static_casts from it klee-commits Jörg Thalheim 
 14. 2017-07-24  [klee-commits] [klee/klee] c0d1bf: [CMake] Fix bug where the runtime bui klee-commits Andrea Mattavelli 
 15. 2017-07-24  [klee-commits] [klee/klee] 37e92d: Remove support for LLVM < 3.4         klee-commits Andrea Mattavelli 
 16. 2017-07-24  [klee-commits] [klee/klee-uclibc] ed1bdd: configure: read kernel header  klee-commits Cristian Cadar 
 17. 2017-07-21  [klee-commits] [klee/klee]                                               klee-commits ccadar 
 18. 2017-07-21  [klee-commits] [klee/klee]                                               klee-commits ccadar 
 19. 2017-07-21  [klee-commits] [klee/klee] 9fb2f5: Release notes for 1.4.0               klee-commits Cristian Cadar 
 20. 2017-07-21  [klee-commits] [klee/klee.github.io] fa10c1: Add upcomming 1.4 release.  klee-commits Cristian Cadar 
 21. 2017-07-20  [klee-commits] [klee/klee] c212a8: Switching version to 1.4.0            klee-commits Cristian Cadar 
 22. 2017-07-20  [klee-commits] [klee/klee] 8e8732: Implement basic support for vectorize klee-commits Cristian Cadar 
 23. 2017-07-20  [klee-commits] [klee/klee] c350f6: Core: TimingSolver, use TimerStatIncr klee-commits MartinNowack 
 24. 2017-07-20  [klee-commits] [klee/klee] d7c2de: Fixes bug in TreeStreamWriter::write  klee-commits Andrea Mattavelli 
 25. 2017-07-18  [klee-commits] [klee/klee] cc1a60: Use assembly line for printing debug  klee-commits Martin Nowack 
 26. 2017-07-18  [klee-commits] [klee/klee] c9c90a: llvm: get rid of static_casts from it klee-commits Andrea Mattavelli 
 27. 2017-07-17  [klee-commits] [klee/klee] d024c3: Added caching of Homebrew downloads   klee-commits Cristian Cadar 
 28. 2017-07-08  [klee-commits] [klee/klee] 5ec2da: Corrected comment of Z3Solver class   klee-commits Andrew Santosa