1. 2015-03-22 [klee-commits] [klee/klee] 85d95b: Fix compilation under M klee-commit Cristian Cadar 2. 2015-03-20 [klee-commits] [klee/klee] 5b94f3: Improve arithmetic-righ klee-commit Dan Liew 3. 2015-03-20 [klee-commits] [klee/klee] 8d2c81: [Core] Fix memory leak klee-commit Martin Nowack 4. 2015-03-12 [klee-commits] [klee/klee] 591585: [Core] Always warn if s klee-commit Cristian Cadar 5. 2015-03-03 [klee-commits] [klee/klee] 741601: Slight updates in licen klee-commit Cristian Cadar 6. 2015-03-02 [klee-commits] [klee/klee] f049ff: Added factory method fo klee-commit Cristian Cadar