klee-commits

2014-02-01 - 2014-03-01 (13 messages)

2014-01-01 - 2014-02-01 (13 messages)

  1. 2014-02-24  [klee-commits] [klee/klee] 2f9c04: Improved DumpStatesOnHalt.c to make s klee-commits Cristian Cadar
  2. 2014-02-24  [klee-commits] [klee/klee] 78f393: Improved help message for make-concre klee-commits Cristian Cadar
  3. 2014-02-24  [klee-commits] [klee/klee] b96fd2: Fixed AliasFunction.c and AliasFuncti klee-commits Cristian Cadar
  4. 2014-02-17  [klee-commits] [klee] r201529 - Updated link.                            klee-commits Cristian Cadar
  5. 2014-02-14  [klee-commits] [ccadar/klee] 316093: Translate shl overshifts into 0     klee-commits Dan Liew
  6. 2014-02-14  [klee-commits] [ccadar/klee] 843698: Upstream STP's libstp now depends o klee-commits Dan Liew
  7. 2014-02-14  [klee-commits] [ccadar/klee] 9e16c4: Add support for archive and single  klee-commits Dan Liew
  8. 2014-02-10  [klee-commits] [ccadar/klee] 66add2: Correct typos in previous commit.   klee-commits Dan Liew
  9. 2014-02-10  [klee-commits] [ccadar/klee] 965ed4: Document the klee_opts and kleaver_ klee-commits Dan Liew
 10. 2014-02-09  [klee-commits] [ccadar/klee] 9d2f5d: Updated link to Doxygen documentati klee-commits Cristian Cadar
 11. 2014-02-09  [klee-commits] [ccadar/klee] aa9c24: Allow passing arbitrary command lin klee-commits Cristian Cadar
 12. 2014-02-04  [klee-commits] [ccadar/klee] f629a6: Explicitly propagate CPLUS_INCLUDE_ klee-commits Dan Liew
 13. 2014-02-04  [klee-commits] [ccadar/klee] b560d5: Fix Runtime/POSIX/Isatty.c test und klee-commits Cristian Cadar