klee-commits

2017-11-01 - 2017-12-01 (6 messages)

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

2017-09-01 - 2017-10-01 (12 messages)

  1. 2017-10-26  [klee-commits] [klee/klee] 9caaae: [cmake]Fix detection of non-standard  klee-commits Martin Nowack 
  2. 2017-10-25  [klee-commits] [klee/klee] 7c9151: fixing huge allocation size constant  klee-commits David Trabish 
  3. 2017-10-17  [klee-commits] [klee/klee] 9eb012: add support for CVC4 and Yices2 via m klee-commits Hoang M. Le 
  4. 2017-10-15  [klee-commits] [klee/klee] bf5f1b: Fixed assert in BFSSearcher that does klee-commits Julian =?UTF-8?B?QsO8bmluZ
  5. 2017-10-12  [klee-commits] [klee/klee] 7071d8: Removed unnecessary and redundant var klee-commits Andrea Mattavelli 
  6. 2017-10-11  [klee-commits] [klee/klee-uclibc] 71f0d2: Updated Travis-CI to compile K klee-commits Cristian Cadar 
  7. 2017-10-09  [klee-commits] [klee/klee] 9f11ea: Fixed initialization of distance to u klee-commits Andrea Mattavelli 
  8. 2017-10-06  [klee-commits] [klee/klee] 085a11: Silenced warnings on comparison of in klee-commits Andrea Mattavelli 
  9. 2017-10-06  [klee-commits] [klee/klee] cc2a4e: Removed the word 'unsigned' from inte klee-commits Andrew Santosa 
 10. 2017-10-05  [klee-commits] [klee/klee] 48effc: enforce c++11                         klee-commits Jörg Thalheim 
 11. 2017-10-05  [klee-commits] [klee/klee.github.io] e99e4c: Removed --randomize-fork fr klee-commits Cristian Cadar 
 12. 2017-10-05  [klee-commits] [klee/klee] ba660b: [CMake] Add global clean target `clea klee-commits Andrea Mattavelli 
 13. 2017-10-04  [klee-commits] [klee/klee] be4260: Remove Autoconf/Makefile build system klee-commits Dan Liew 
 14. 2017-10-04  [klee-commits] [klee/klee.github.io] 462cf8: Remove docs discussing buil klee-commits Dan Liew 
 15. 2017-10-04  [klee-commits] [klee/klee.github.io] 582ec6: Added new publications      klee-commits Andrea Mattavelli 
 16. 2017-10-04  [klee-commits] [klee/klee] 1527c8: Silenced some warnings about unused v klee-commits Cristian Cadar 
 17. 2017-10-04  [klee-commits] [klee/klee.github.io] dbfda2: Adding missing authors      klee-commits Andrea Mattavelli 
 18. 2017-10-03  [klee-commits] [klee/klee] 32f656: [CMake] Fix initialisation order of ` klee-commits Andrea Mattavelli