klee-commits

2018-12-01 - 2019-01-01 (6 messages)

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

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

  1. 2018-11-23  [klee-commits] [klee/klee] 028317: Implemented memalign with alignment   klee-commits Lukas =?UTF-8?B?V8O2bGZlcg
  2. 2018-11-11  [klee-commits] [klee/klee] 92b49c: Use LLVM 4 for Mac Build              klee-commits Martin Nowack 
  3. 2018-11-06  [klee-commits] [klee/klee] 4bbcda: fix: actually set -O0 in test/concret klee-commits Julian =?UTF-8?B?QsO8bmluZ
  4. 2018-11-05  [klee-commits] [klee/klee] 548e51: Fixed crash on zero size arrays       klee-commits Lukas =?UTF-8?B?V8O2bGZlcg
  5. 2018-11-05  [klee-commits] [klee/klee] ea2b75: Check for stack overflow in a tested  klee-commits Martin Nowack 
  6. 2018-11-05  [klee-commits] [klee/klee.github.io] 3d57e3: Gemlock: update versions    klee-commits Cristian Cadar 
  7. 2018-11-02  [klee-commits] [klee/klee] 534d28: The test DeterministicSwitch.c does n klee-commits Cristian Cadar 
  8. 2018-11-02  [klee-commits] [klee/klee] 8c9c16: Introduced a constraint solving optio klee-commits Cristian Cadar 
  9. 2018-11-02  [klee-commits] [klee/klee.github.io] 2b57bd: Small changes to documentat klee-commits Cristian Cadar 
 10. 2018-11-02  [klee-commits] [klee/klee.github.io] 57fe0c: Added note that developer's klee-commits Cristian Cadar