klee-commits

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

2013-12-01 - 2014-01-01 (17 messages)

2013-11-01 - 2013-12-01 (13 messages)

  1. 2013-12-22  [klee-commits] [klee/klee-uclibc]                                        klee-commits delcypher
  2. 2013-12-22  [klee-commits] [klee/klee-uclibc] 20e9b5: Create gh-pages branch via Git klee-commits Dan Liew
  3. 2013-12-22  [klee-commits] [ccadar/klee] 48897e: Do not install KLEE's internal libr klee-commits Cristian Cadar
  4. 2013-12-21  [klee-commits] [ccadar/klee] c23df4: Fixed mistake in commit c5510caa2a0 klee-commits Dan Liew
  5. 2013-12-20  [klee-commits] [ccadar/klee] c5510c: Fix compilation of unittests under  klee-commits Cristian Cadar
  6. 2013-12-19  [klee-commits] [ccadar/klee] ea338e: Patch by Daniel Lupei, fixing a per klee-commits Dan Liew
  7. 2013-12-19  [klee-commits] [ccadar/klee] b35ce6: Re-add support for running individu klee-commits Dan Liew
  8. 2013-12-19  [klee-commits] [ccadar/klee] 99b748: Allow different build modes for LLV klee-commits Dan Liew
  9. 2013-12-12  [klee-commits] [ccadar/klee] 235e65: Updated doxygen link + minor change klee-commits Cristian Cadar
 10. 2013-12-12  [klee-commits] [ccadar/klee] ccb3a0: A proofreading pass over GetStarted klee-commits Cristian Cadar
 11. 2013-12-12  [klee-commits] [ccadar/klee] f1537e: Updated the broken GetStarted instr klee-commits Cristian Cadar
 12. 2013-12-11  [klee-commits] [ccadar/klee-uclibc] d19df0: Add more log output when pat klee-commits Dan Liew
 13. 2013-12-11  [klee-commits] [ccadar/klee-uclibc] 9a5e93: Search for Kernel headers    klee-commits Dan Liew
 14. 2013-12-11  [klee-commits] [ccadar/klee] 67bfea: Add chroot jail support in klee-rep klee-commits Cristian Cadar
 15. 2013-12-06  [klee-commits] [ccadar/klee] bf6df4: Deprecate LLVM 2.8 and lower        klee-commits MartinNowack
 16. 2013-12-05  [klee-commits] [ccadar/klee] 0675b9: Fix timer leak                      klee-commits Cristian Cadar
 17. 2013-12-05  [klee-commits] Downloading klee                                          klee-commits Jay Thakkar