klee-commits

2017-01-01 - 2017-02-01 (10 messages)

2016-12-01 - 2017-01-01 (26 messages)

2016-11-01 - 2016-12-01 (43 messages)

  1. 2016-12-28  [klee-commits] [klee/klee] ad22e8: Fix two issues with AC_LINK_IFELSE fo klee-commits Hoang M. Le 
  2. 2016-12-28  [klee-commits] [klee/klee] 3a0f6f: Changed preferred permissions from 06 klee-commits Cristian Cadar 
  3. 2016-12-23  [klee-commits] [klee/klee] 5caccf: rerun lit tests for non-default metaS klee-commits Hoang M. Le 
  4. 2016-12-23  [klee-commits] [klee/klee] 48d0fe: [CMake] Fix linker warning about mixe klee-commits Cristian Cadar 
  5. 2016-12-22  [klee-commits] [klee/klee.github.io] b09d8c: Fixed expired link to Googl klee-commits Andrea Mattavelli 
  6. 2016-12-21  [klee-commits] [klee/klee.github.io] ef6573: Change `_config.yml` for v1 klee-commits Dan Liew 
  7. 2016-12-19  [klee-commits] [klee/klee.github.io] 55d9e3: Drop setting C_INCLUDE_PATH klee-commits Dan Liew 
  8. 2016-12-19  [klee-commits] [klee/klee.github.io] adbba6: Add release page listing KL klee-commits Dan Liew 
  9. 2016-12-19  [klee-commits] [klee/klee.github.io] e1431d: Fix broken URL for TravisCI klee-commits Dan Liew 
 10. 2016-12-19  [klee-commits] [klee/klee.github.io] 8d1bc6: Update Autoconf build syste klee-commits Dan Liew 
 11. 2016-12-19  [klee-commits] [klee/klee.github.io] 26f4de: Drop setting C_INCLUDE_PATH klee-commits Dan Liew 
 12. 2016-12-18  [klee-commits] [klee/klee] 6566f3: [TravisCI] Fix bug where TravisCI bui klee-commits Cristian Cadar 
 13. 2016-12-18  [klee-commits] [klee/klee] e056aa: CMake: Fixed the LLVM version regex   klee-commits Adrian Herrera 
 14. 2016-12-15  [klee-commits] [klee/klee] 5ffd81: Typo fix when compiling with LLVM 3.5 klee-commits Andrea Mattavelli 
 15. 2016-12-13  [klee-commits] [klee/klee.github.io] 848cf0: LLVM 3.4 is not built on th klee-commits Andrea Mattavelli 
 16. 2016-12-10  [klee-commits] [klee/klee] 8b0ac0: [CMake] Fix bug where if KLEE was bui klee-commits Cristian Cadar 
 17. 2016-12-09  [klee-commits] [klee/klee] cfcd0d: [CMake] Fix bug in the Makefile bitco klee-commits Cristian Cadar 
 18. 2016-12-07  [klee-commits] [klee/klee.github.io] 3318d9: Add dot when execute build  klee-commits bunseokbot 
 19. 2016-12-06  [klee-commits] [klee/klee.github.io] 367a04: add Docovery and Shadow     klee-commits Andrea Mattavelli 
 20. 2016-12-06  [klee-commits] [klee/klee.github.io] 0a5cc7: adding SemFix publication,  klee-commits Andrea Mattavelli 
 21. 2016-12-06  [klee-commits] [klee/klee.github.io] 69c122: adding Angelix to the list  klee-commits Cristian Cadar 
 22. 2016-12-04  [klee-commits] [klee/klee] 93328c: [TravisCI] Fix the list of available  klee-commits Cristian Cadar 
 23. 2016-12-02  [klee-commits] [klee/klee] 28a3d4: Fixed the issue of klee-stats not bei klee-commits Cristian Cadar 
 24. 2016-12-02  [klee-commits] [klee/klee] 9293a3: CMake: support LLVMCC.ExtraFlags      klee-commits Jiri Slaby 
 25. 2016-12-01  [klee-commits] [klee/klee] 9be965: Remove support for reporting the appr klee-commits Cristian Cadar 
 26. 2016-12-01  [klee-commits] [klee/klee] a92a1c: Added among the external calls that w klee-commits Andrea Mattavelli