klee-commits

2016-01-01 - 2016-02-01 (3 messages)

2015-12-01 - 2016-01-01 (21 messages)

2015-11-01 - 2015-12-01 (12 messages)

  1. 2015-12-26  [klee-commits] [klee/klee] d33fa3: Removed Language: Cpp entry from .cla klee-commits Dan Liew 
  2. 2015-12-23  [klee-commits] [klee/klee] d95825: Implement support for lowering the `` klee-commits Dan Liew 
  3. 2015-12-23  [klee-commits] [klee/klee] f5ff9c: Fix a leak detected by ASan in the KQ klee-commits Dan Liew 
  4. 2015-12-23  [klee-commits] [klee/klee] b8a74d: Move lib/Solver/SolverStats.h -> incl klee-commits Dan Liew 
  5. 2015-12-19  [klee-commits] [klee/klee.github.io] 2ca09a: Fix typo and add missing co klee-commits Dan Liew 
  6. 2015-12-18  [klee-commits] [klee/klee] d348ae: Remove a bunch of LeakSanitizer suppr klee-commits Dan Liew 
  7. 2015-12-18  [klee-commits] [klee/klee] 53ff7a: Fix memory leaks of ``Array`` objects klee-commits Dan Liew 
  8. 2015-12-17  [klee-commits] [klee/klee] 901bd2: Fixed a bug with how non power 2 valu klee-commits Dan Liew 
  9. 2015-12-17  [klee-commits] [klee/klee] 771cdf: Refactoring: Moving klee_warning/_err klee-commits Martin Nowack 
 10. 2015-12-17  [klee-commits] [klee/klee] a0ef27: Fix a memory leak in ``UpdateList`` d klee-commits Dan Liew 
 11. 2015-12-17  [klee-commits] [klee/klee] b2e647: Add LeakSanitizer (component of Addre klee-commits Dan Liew 
 12. 2015-12-16  [klee-commits] [klee/klee.github.io] 977b2b: Add documentation for -sile klee-commits Cristian Cadar 
 13. 2015-12-16  [klee-commits] [klee/klee] ff3245: Propagate AddressSanitizer, LeakSanit klee-commits Dan Liew 
 14. 2015-12-16  [klee-commits] [klee/klee.github.io] 825681: Add ``--ulimit='stack=-1:-1 klee-commits Dan Liew 
 15. 2015-12-13  [klee-commits] [klee/klee] cd7783: Set C++ standard in Clang format sett klee-commits Dan Liew 
 16. 2015-12-11  [klee-commits] [klee/klee] 48af35: Reword help description for ``--silen klee-commits Dan Liew 
 17. 2015-12-11  [klee-commits] [klee/klee] ee5a90: Add command line flag ``--silent-klee klee-commits Dan Liew 
 18. 2015-12-07  [klee-commits] [klee/klee.github.io] ff5fe0: New publication             klee-commits Cristian Cadar 
 19. 2015-12-04  [klee-commits] [klee/klee] 61332c: Remove dead ``tempVars`` and ``getTem klee-commits Dan Liew 
 20. 2015-12-04  [klee-commits] [klee/klee] cd2ccf: Fixing klee-clang to strip all flags  klee-commits MartinNowack 
 21. 2015-12-02  [klee-commits] [klee/klee] 59ee7b: Removing -fstack-protector-strong for klee-commits MartinNowack