klee-commits

2018-11-01 - 2018-12-01 (10 messages)

2018-10-01 - 2018-11-01 (18 messages)

2018-09-01 - 2018-10-01 (29 messages)

  1. 2018-10-30  [klee-commits] [klee/klee] 3caf3e: Base time API upon std::chrono        klee-commits Frank Busse 
  2. 2018-10-26  [klee-commits] [klee/klee] 3e5e8f: llvm7: WriteBitcodeToFile takes Modul klee-commits Jiri Slaby 
  3. 2018-10-26  [klee-commits] [klee/klee] be3407: Added gen-bout tool to generate ktest klee-commits Andrew Santosa 
  4. 2018-10-26  [klee-commits] [klee/klee] c6cfd6: llvm6: SetVersionPrinter now passes d klee-commits Jiri Slaby 
  5. 2018-10-26  [klee-commits] [klee/klee] 6f5537: llvm5: avoid ++ on function->arg_begi klee-commits Jiri Slaby 
  6. 2018-10-24  [klee-commits] [klee/klee] 56e4c5: Introduce KLEEIRMetaData to manipulat klee-commits Martin Nowack 
  7. 2018-10-24  [klee-commits] [klee/klee] 7120c7: Added lowering pass                   klee-commits Rafael Zaehl 
  8. 2018-10-23  [klee-commits] [klee/klee] d03274: use klee_open_output_file for uncompr klee-commits Julian =?UTF-8?B?QsO8bmluZ
  9. 2018-10-23  [klee-commits] [klee/klee] a53fad: Added support for KLEE index-based ar klee-commits Cristian Cadar 
 10. 2018-10-17  [klee-commits] [klee/klee] 916b72: tests: disable CompressedExprLogging  klee-commits Frank Busse 
 11. 2018-10-16  [klee-commits] [klee/klee] 1b3290: Renamed klee/CommandLine.h to klee/So klee-commits Cristian Cadar 
 12. 2018-10-10  [klee-commits] [klee/klee] 44892e: cmake/lit: add asan/non-asan, ubsan/n klee-commits Frank Busse 
 13. 2018-10-08  [klee-commits] [klee/klee] f3d3cc: add support for klee-replay on OSX    klee-commits Frank Busse 
 14. 2018-10-07  [klee-commits] [klee/klee] dc6cba: Workaround for flaky coverage         klee-commits Martin Nowack 
 15. 2018-10-04  [klee-commits] [klee/klee] f80389: config.h.cmin: remove obsolete cmaked klee-commits Julian =?UTF-8?B?QsO8bmluZ
 16. 2018-10-03  [klee-commits] [klee/klee] 888ae3: Refactored AddressSpace::resolve() by klee-commits Cristian Cadar 
 17. 2018-10-02  [klee-commits] [klee/klee.github.io] fe72d5: Publications: minor fixes,  klee-commits Cristian Cadar 
 18. 2018-10-01  [klee-commits] [klee/klee.github.io] 7afc6f: Publications: minor fixes,  klee-commits Cristian Cadar