klee-commits

2016-12-01 - 2017-01-01 (26 messages)

2016-11-01 - 2016-12-01 (43 messages)

2016-10-01 - 2016-11-01 (4 messages)

 Next  Last 

  1. 2016-11-30  [klee-commits] [klee/klee] 95473d: Increasing version to 1.3.0           klee-commits Cristian Cadar 
  2. 2016-11-30  [klee-commits] [klee/klee]                                               klee-commits ccadar 
  3. 2016-11-30  [klee-commits] [klee/klee] 3cc70a: Release notes for 1.3.0               klee-commits Cristian Cadar 
  4. 2016-11-30  [klee-commits] [klee/klee] d903df: Release notes for 1.3.0               klee-commits Cristian Cadar 
  5. 2016-11-30  [klee-commits] [klee/klee] 537f3b: Switching version to 1.3.0            klee-commits Cristian Cadar 
  6. 2016-11-30  [klee-commits] [klee/klee] ac6ab9: Fixing current version of STP in Dock klee-commits Cristian Cadar 
  7. 2016-11-30  [klee-commits] [klee/klee] 54b363: Switched to STP 2.1.2 on Travis CI bu klee-commits Cristian Cadar 
  8. 2016-11-29  [klee-commits] [klee/klee] 48d201: Fix bug in implementation of `NotExpr klee-commits Andrea Mattavelli 
  9. 2016-11-24  [klee-commits] [klee/klee.github.io] 4ca9ce: Updated Coreutils tutorial  klee-commits Dan Liew 
 10. 2016-11-23  [klee-commits] [klee/klee.github.io] 2a31a9: Updated .pc files to .kquer klee-commits Andrea Mattavelli 
 11. 2016-11-23  [klee-commits] [klee/klee] f27cf8: Renamed .pc to .kquery (kleaver query klee-commits Eric Rizzi 
 12. 2016-11-23  [klee-commits] [klee/klee.github.io] f78e87: Fixed consistency between d klee-commits Andrea Mattavelli 
 13. 2016-11-23  [klee-commits] [klee/klee] 79eb80: [CMake] Fix bug where the wrong path  klee-commits Dan Liew 
 14. 2016-11-22  [klee-commits] [klee/klee] ba6963: [CMake] Add missing dependencies repo klee-commits Dan Liew 
 15. 2016-11-21  [klee-commits] [klee/klee.github.io] ed658b: Replaced links to buildbot  klee-commits Andrea Mattavelli 
 16. 2016-11-21  [klee-commits] [klee/klee] fb231a: [CMake] Fix the build when `-DBUILD_S klee-commits Dan Liew 
 17. 2016-11-20  [klee-commits] [klee/klee] 7cfd25: [CMake] Implement install of the klee klee-commits Dan Liew 
 18. 2016-11-20  [klee-commits] [klee/klee] af0594: [CMake] Fix the old Autoconf/Makefile klee-commits Dan Liew 
 19. 2016-11-19  [klee-commits] [klee/klee] e4d028: [CMake] Remove unneeded dependency de klee-commits Dan Liew 
 20. 2016-11-19  [klee-commits] [klee/klee] 5133b9: Remove option --randomize-fork. If so klee-commits Cristian Cadar 
 21. 2016-11-19  [klee-commits] [klee/klee] 2b2b2b: Fix BFS searcher                      klee-commits Cristian Cadar 
 22. 2016-11-19  [klee-commits] [klee/klee] 3fdd9a: add nicer error messages for --use-me klee-commits Cristian Cadar 
 23. 2016-11-19  [klee-commits] [klee/klee] 12442a: [CMake] Document implicit `STP_DIR` a klee-commits Dan Liew 
 24. 2016-11-19  [klee-commits] [klee/klee.github.io] dba6c4: Add instructions for buildi klee-commits Dan Liew 
 25. 2016-11-19  [klee-commits] [klee/klee.github.io] 9d4d23: Drop setting C_INCLUDE_PATH klee-commits Dan Liew 
 26. 2016-11-19  [klee-commits] [klee/klee.github.io] 2eb590: Fix to touch icon urls      klee-commits Cristian Cadar 
 27. 2016-11-19  [klee-commits] [klee/klee.github.io] 10f3ac: More fixes.                 klee-commits Dan Liew 
 28. 2016-11-18  [klee-commits] [klee/klee] dda296: [CMake] Re-express LLVM and KLEE libr klee-commits Dan Liew 
 29. 2016-11-18  [klee-commits] [klee/klee.github.io] 9fc5e5: Fix typo                    klee-commits Dan Liew 
 30. 2016-11-18  [klee-commits] [klee/klee.github.io] 1a0d7b: Drop saying LLVM 3.4 is onl klee-commits Dan Liew 

 Next  Last