klee-commits

2017-03-01 - 2017-04-01 (29 messages)

2017-02-01 - 2017-03-01 (27 messages)

2017-01-01 - 2017-02-01 (10 messages)

  1. 2017-02-28  [klee-commits] [klee/klee] 479f80: Teach KLEE to respect the requested m klee-commits Cristian Cadar 
  2. 2017-02-27  [klee-commits] [klee/klee] 4c8fab: llvm: stop using global context       klee-commits Cristian Cadar 
  3. 2017-02-24  [klee-commits] [klee/klee] 343f4e: CommandLine: do not copy list in opti klee-commits Andrea Mattavelli 
  4. 2017-02-22  [klee-commits] [klee/klee.github.io] 566f50: Corrected step numbering    klee-commits Andrea Mattavelli 
  5. 2017-02-22  [klee-commits] [klee/klee] 8cc3b1: klee: remove use of deprecated 'regis klee-commits Andrea Mattavelli 
  6. 2017-02-22  [klee-commits] [klee/klee] d88cec: Makefile: change -std-compile-opts to klee-commits Richard =?UTF-8?B?VHJlbWJl
  7. 2017-02-21  [klee-commits] [klee/klee] 17705a: Add test case that causes an assertio klee-commits Andrea Mattavelli 
  8. 2017-02-21  [klee-commits] [klee/klee] 27f414: fix metaSMT version                   klee-commits Hoang M. Le 
  9. 2017-02-20  [klee-commits] [klee/klee] 8313dc: Silenced warning: comparison of integ klee-commits Cristian Cadar 
 10. 2017-02-14  [klee-commits] [klee/klee] b2f93f: Increased the type size for the stop- klee-commits Andrea Mattavelli 
 11. 2017-02-14  [klee-commits] [klee/klee] 717cf5: Fix linker compatibility under macOS  klee-commits Andrea Mattavelli 
 12. 2017-02-14  [klee-commits] [klee/klee] daf4ee: ReadExpr::create() was missing an opp klee-commits Andrea Mattavelli 
 13. 2017-02-14  [klee-commits] [klee/klee] 89e11e: Added pre/post conditions as assertio klee-commits Andrea Mattavelli 
 14. 2017-02-14  [klee-commits] [klee/klee] 7f4220: Added error message when STP fails to klee-commits Andrea Mattavelli 
 15. 2017-02-14  [klee-commits] [klee/klee.github.io] 764d77: Updated footer to 2017      klee-commits Andrea Mattavelli 
 16. 2017-02-14  [klee-commits] [klee/klee.github.io] 1f4a55: Revert "Updated .pc files t klee-commits Andrea Mattavelli 
 17. 2017-02-14  [klee-commits] [klee/klee] ffd0b9: Removing unused lib/SMT directory     klee-commits Andrea Mattavelli 
 18. 2017-02-13  [klee-commits] [klee/klee] 1ffda3: Fix `Feature/MemoryLimit.c` test when klee-commits Cristian Cadar 
 19. 2017-02-13  [klee-commits] [klee/klee] 950c82: Silenced two "control may reach end o klee-commits Cristian Cadar 
 20. 2017-02-13  [klee-commits] [klee/klee] f66577: Revert "Increased the type size for t klee-commits Andrea Mattavelli 
 21. 2017-02-13  [klee-commits] [klee/klee] f66577: Revert "Increased the type size for t klee-commits Cristian Cadar 
 22. 2017-02-13  [klee-commits] [klee/klee] 82a227: Increased the type size for the stop- klee-commits Cristian Cadar 
 23. 2017-02-11  [klee-commits] [klee/klee.github.io] 94f062: Fix a typo in klee cmake co klee-commits Timotej Kapus 
 24. 2017-02-11  [klee-commits] [klee/klee] 3dd14b: [CMake] More widely available rebuild klee-commits Levente Kurusa 
 25. 2017-02-10  [klee-commits] [klee/klee] 37ce2e: test: fix broken Vararg test          klee-commits Cristian Cadar 
 26. 2017-02-06  [klee-commits] [klee/klee]                                               klee-commits andreamattavelli 
 27. 2017-02-06  [klee-commits] [klee/klee] 4ef196: [WIP] ReadExpr::create() was missing  klee-commits Andrea Mattavelli