1. 2014-06-25 [klee-commits] [klee/klee] 60ef52: More details on ma klee-comm Cristian Cadar 2. 2014-06-21 [klee-commits] [klee/klee] fdfa8d: Added missing newl klee-comm Cristian Cadar 3. 2014-06-21 [klee-commits] [klee/klee] 82c30a: Fixing get_sign tu klee-comm Cristian Cadar 4. 2014-06-06 [klee-commits] [klee/klee] 4046c8: Add SimplifyExpres klee-comm Cristian Cadar