1. 2015-03-22 [klee-commits] [klee/klee] 85d95b: Fix compilation under MacOS, see http klee-commits Cristian Cadar 2. 2015-03-20 [klee-commits] [klee/klee] 5b94f3: Improve arithmetic-right-overshift-sy klee-commits Dan Liew 3. 2015-03-20 [klee-commits] [klee/klee] 8d2c81: [Core] Fix memory leak in assembler r klee-commits Martin Nowack 4. 2015-03-12 [klee-commits] [klee/klee] 591585: [Core] Always warn if states get dele klee-commits Cristian Cadar 5. 2015-03-03 [klee-commits] [klee/klee] 741601: Slight updates in license file, ackno klee-commits Cristian Cadar 6. 2015-03-02 [klee-commits] [klee/klee] f049ff: Added factory method for Arrays + hid klee-commits Cristian Cadar