klee-commits

2014-12-01 - 2015-01-01 (12 messages)

2014-11-01 - 2014-12-01 (3 messages)

  1. 2014-12-19  [klee-commits] [klee/klee] a026ae: Add (currently failing) test to check klee-commits Cristian Cadar 
  2. 2014-12-19  [klee-commits] [klee/klee] 80f983: Moved some of @ddunbar's notes from l klee-commits Cristian Cadar 
  3. 2014-12-19  [klee-commits] [Bug 21965] provide a package for klee                    klee-commits bugzilla-daemon
  4. 2014-12-19  [klee-commits] [Bug 15075] Klee must be adapted to support LLVM >= 17274 klee-commits bugzilla-daemon
  5. 2014-12-18  [klee-commits] [Bug 21965] New: provide a package for klee               klee-commits bugzilla-daemon
  6. 2014-12-18  [klee-commits] [klee/klee] 060c39: klee: let user override path to runti klee-commits Cristian Cadar 
  7. 2014-12-13  [klee-commits] [klee/klee] 41e565: Print nested let-abbreviations in Exp klee-commits Dan Liew 
  8. 2014-12-09  [klee-commits] [klee/klee] bc7dda: Fix overshift check                   klee-commits Cristian Cadar 
  9. 2014-12-08  [klee-commits] [klee/klee] d0ca2f: Handling overshift behaviour in MetaS klee-commits Cristian Cadar 
 10. 2014-12-03  [klee-commits] [klee/klee] ca32b2: Fixed test /Feature/PreferCex.c: Z3 i klee-commits Cristian Cadar 
 11. 2014-12-02  [klee-commits] [klee/klee] d0f8c9: Unbreak compilation (in metaSMT confi klee-commits Hristina Palikareva 
 12. 2014-12-02  [klee-commits] [klee/klee] 591b3d: Implement :named and let abbreviation klee-commits Dan Liew