klee-commits

2017-02-01 - 2017-03-01 (27 messages)

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

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

  1. 2017-01-28  [klee-commits] [klee/klee] f2abb4: [cmake] add PATH_SUFFIXES needed to f klee-commits Kevin Laeufer 
  2. 2017-01-23  [klee-commits] [klee/klee.github.io] a91cb5: Add linking external librar klee-commits Andrea Mattavelli 
  3. 2017-01-18  [klee-commits] [klee/klee] 19b7bd: [CMake] Remove `ENABLE_TESTS` CMake c klee-commits Andrea Mattavelli 
  4. 2017-01-18  [klee-commits] [klee/klee.github.io] e65cfb: Remove use of `ENABLE_TESTS klee-commits Andrea Mattavelli 
  5. 2017-01-18  [klee-commits] [klee/klee] d7e82a: [CMake] Rename "integrationtests" to  klee-commits Cristian Cadar 
  6. 2017-01-18  [klee-commits] [klee/klee.github.io] 370b32: Drop setting C_INCLUDE_PATH klee-commits Cristian Cadar 
  7. 2017-01-16  [klee-commits] [klee/klee.github.io] 370b32: Drop setting C_INCLUDE_PATH klee-commits Dan Liew 
  8. 2017-01-16  [klee-commits] [klee/klee] 3c8cb4: Write tests to test `libkleeRuntest`. klee-commits Andrea Mattavelli 
  9. 2017-01-16  [klee-commits] [klee/klee.github.io] b982a0: stp: Updated Minisat build  klee-commits Cristian Cadar 
 10. 2017-01-08  [klee-commits] [klee/klee] 23e656: tests: Added substitution for llvm-ar klee-commits Adrian Herrera