| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-04-19 | Fixed RewriteEqualities input to be more resilient to differences in compilat... | Cristian Cadar |
| 2015-04-19 | Temportily marking RewriteEqualities test as XFAIL. | Cristian Cadar |
| 2015-04-19 | Added a new test case that checks the --rewrite-equalities optimisation. The... | Cristian Cadar |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |