klee-commits

2015-04-01 - 2015-05-01 (28 messages)

2015-03-01 - 2015-04-01 (6 messages)

  1. 2015-04-25  [klee-commits] [klee/klee] e67749: During install, install the klee intr klee-commits Dan Liew 
  2. 2015-04-25  [klee-commits] [klee/klee] 9969c9: Do not install gen-random-bout.       klee-commits Dan Liew 
  3. 2015-04-25  [klee-commits] [klee/klee] 288211: Remove boost requirements from Travis klee-commits Dan Liew 
  4. 2015-04-19  [klee-commits] [klee/klee] 78990d: Fixed RewriteEqualities input to be m klee-commits Cristian Cadar 
  5. 2015-04-19  [klee-commits] [klee/klee] 6dcb29: Temportily marking RewriteEqualities  klee-commits Cristian Cadar 
  6. 2015-04-19  [klee-commits] [klee/klee] 489ade: Added a new test case that checks the klee-commits Cristian Cadar 
  7. 2015-04-18  [klee-commits] [klee/klee] ab5399: Add klee-clang as alternative to klee klee-commits Cristian Cadar 
  8. 2015-04-15  [klee-commits] [klee/klee] e5ae98: Add clang-format style. We just use L klee-commits Dan Liew 
  9. 2015-04-15  [klee-commits] [klee/klee] 1a175c: Fix the handling of AShrExpr in ExprS klee-commits Dan Liew 
 10. 2015-04-10  [klee-commits] [klee/klee] 8b18e5: Add missing slash in last commit.     klee-commits Dan Liew 
 11. 2015-04-10  [klee-commits] [klee/klee] e9e866: Update Dockerfile                     klee-commits David Leon Gil 
 12. 2015-04-09  [klee-commits] [klee/klee] f8a909: Try to fix using the compiler KLEE's  klee-commits Dan Liew 
 13. 2015-04-09  [klee-commits] [klee/klee] cac3cc: Normalised line endings               klee-commits Cristian Cadar 
 14. 2015-04-09  [klee-commits] [klee/klee] 185e2f: Added .gitattribute file that takes c klee-commits Cristian Cadar 
 15. 2015-04-09  [klee-commits] [klee/klee] c20e4b: Fix mistake if TravisCI scripts where klee-commits Dan Liew 
 16. 2015-04-09  [klee-commits] [klee/klee] f0de5e: Added a new option, --rewrite-equalit klee-commits Cristian Cadar 
 17. 2015-04-09  [klee-commits] [klee/klee] ad6581: Switch to using STP's fork of minisat klee-commits Dan Liew 
 18. 2015-04-09  [klee-commits] [klee/klee] b41cf3: Fix very annoying issue where KLEE's  klee-commits Dan Liew 
 19. 2015-04-03  [klee-commits] [klee/klee] b0c1d7: Upstream STP now depends on an extern klee-commits Dan Liew 
 20. 2015-04-03  [klee-commits] [klee/klee] 141f05: Fixed issue introduce during a previo klee-commits Cristian Cadar 
 21. 2015-04-02  [klee-commits] [klee/klee] 55488d: Use C instead of C++ comments in C fi klee-commits Cristian Cadar 
 22. 2015-04-02  [klee-commits] [klee/klee] 8d7627: Silenced some compilation warnings.   klee-commits Cristian Cadar 
 23. 2015-04-02  [klee-commits] [klee/klee] 789468: Timestamp improvements.               klee-commits Cristian Cadar 
 24. 2015-04-02  [klee-commits] [klee/klee] e89cd9: Revert "[include] Added documentation klee-commits Cristian Cadar 
 25. 2015-04-02  [klee-commits] [klee/klee] ac7e30: Fixed some doxygen issues.            klee-commits Cristian Cadar 
 26. 2015-04-02  [klee-commits] [klee/klee] e0da9c: Removed unused fakeState field from E klee-commits Cristian Cadar 
 27. 2015-04-02  [klee-commits] [klee/klee] db655a: [Core] Documentation and cleanup      klee-commits Cristian Cadar 
 28. 2015-04-01  [klee-commits] [klee/klee] 3349aa: [include] Removed unused variable     klee-commits Martin Nowack