klee-commits

2018-06-01 - 2018-07-01 (7 messages)

2018-05-01 - 2018-06-01 (30 messages)

2018-04-01 - 2018-05-01 (6 messages)

  1. 2018-05-24  [klee-commits] [klee/klee] 843e9b: isLSB should be a boolean, as it is o klee-commits Daniel Schemmel 
  2. 2018-05-24  [klee-commits] [klee/klee] 79ff6c: remove switch fallthrough in floating klee-commits Daniel Schemmel 
  3. 2018-05-24  [klee-commits] [klee/klee] 938839: llvm37: handle GetElementPtrInst::Cre klee-commits Jiri Slaby 
  4. 2018-05-23  [klee-commits] [klee/klee] 15d0d9: test: add parenthesis around & operan klee-commits Jiri Slaby 
  5. 2018-05-22  [klee-commits] [klee/klee] 45dbf0: some housekeeping in Passes.h and Int klee-commits Julian =?UTF-8?B?QsO8bmluZ
  6. 2018-05-22  [klee-commits] [klee/klee] 1b8bad: CompressionStream: fix sporadic segfa klee-commits Frank Busse 
  7. 2018-05-22  [klee-commits] [klee/klee] cf33f8: Simplified printFileLine by using std klee-commits Cristian Cadar 
  8. 2018-05-21  [klee-commits] [klee/klee] 7e17fe: stop using DEBUG macro name           klee-commits Jiri Slaby 
  9. 2018-05-21  [klee-commits] [klee/klee] 516577: fix some casts for LLP64 compilers    klee-commits Frank Busse 
 10. 2018-05-18  [klee-commits] [klee/klee] 33964e: tests: use names in klee_make_symboli klee-commits Frank Busse 
 11. 2018-05-18  [klee-commits] [klee/klee] 57ad4f: Delete coverageServer.py              klee-commits Timotej Kapus 
 12. 2018-05-17  [klee-commits] [klee/klee] 89c750: Abort execution if --only-output-stat klee-commits Cristian Cadar 
 13. 2018-05-17  [klee-commits] [klee/klee] 8bec94: Add support for concretizing symbolic klee-commits Timotej Kapus 
 14. 2018-05-17  [klee-commits] [klee/klee] 8fe14b: Improve error messages for ReadString klee-commits Timotej Kapus 
 15. 2018-05-15  [klee-commits] [klee/klee.github.io] 7ec92f: add paper: Symbolic Asserti klee-commits Cristian Cadar 
 16. 2018-05-15  [klee-commits] [klee/klee] e5a18f: Implemented incomplete merging        klee-commits Lukas =?UTF-8?B?V8O2bGZlcg
 17. 2018-05-15  [klee-commits] [klee/klee] 0cf015: remove QueryLog.h                     klee-commits Frank Busse 
 18. 2018-05-12  [klee-commits] [klee/klee] dc610f: Update clang-format standard for KLEE klee-commits Martin Nowack 
 19. 2018-05-09  [klee-commits] [klee/klee] 495b3e: Fix test case to check for correct ca klee-commits Martin Nowack 
 20. 2018-05-09  [klee-commits] [klee/klee] 13b5bc: Improve handling of constant array in klee-commits Timotej Kapus 
 21. 2018-05-09  [klee-commits] [klee/klee] e0aff8: Remove the option for truncating line klee-commits Martin Nowack 
 22. 2018-05-09  [klee-commits] [klee/klee] 8affd4: Remove workaround for bug in older LL klee-commits Martin Nowack 
 23. 2018-05-09  [klee-commits] [klee/klee] bf287f: Fix include files                     klee-commits Martin Nowack 
 24. 2018-05-08  [klee-commits] [klee/klee] dcea8b: remove unused file: tools/klee/Debug. klee-commits Daniel Schemmel 
 25. 2018-05-07  [klee-commits] [klee/klee] fcffe1: Fixed utimes() behavior for symbolic  klee-commits Cristian Cadar 
 26. 2018-05-06  [klee-commits] [klee/klee] 6a7b21: Moved regression test to proper locat klee-commits Cristian Cadar 
 27. 2018-05-05  [klee-commits] [klee/klee] 4211ce: Factor out method to update state mem klee-commits Martin Nowack 
 28. 2018-05-01  [klee-commits] [klee/klee] 37321d: Implement klee_prefer_cex() and klee_ klee-commits Cristian Cadar 
 29. 2018-05-01  [klee-commits] [klee/klee] 76e424: add blockaddress and indirectbr instr klee-commits Frank Busse 
 30. 2018-05-01  [klee-commits] [klee/klee] 3d00ad: fix compilation warning               klee-commits Frank Busse