| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2015-03-24 | Expr/Simplification: match code and comment for multiplication simplification | Fabrice Desclaux | 1 | -3/+2 |
| 2015-03-24 | TranslatorZ3: Better handling of asm_labels (translating to BitVecVal when po... | Florent Monjalet | 2 | -2/+12 |
| 2015-03-24 | TranslatorZ3: Fixed from_ExprId when expr.name is an asmlabel | Florent Monjalet | 2 | -1/+7 |
| 2015-03-24 | TranslatorZ3: Fixed parity semantic | Florent Monjalet | 2 | -2/+7 |
| 2015-03-23 | TranslatorZ3: Handling 'parity' and '-' unary operators, and raising errors p... | Florent Monjalet | 2 | -11/+34 |
| 2015-03-23 | TravisCI: Add Z3 | Ajax | 1 | -0/+1 |
| 2015-03-23 | TravisCI: Multilines | Ajax | 1 | -3/+6 |
| 2015-03-23 | Example: add NoCallNoMem in ida/depgraph | serpilliere | 2 | -20/+13 |
| 2015-03-23 | DepGraph: support follow node filtering | serpilliere | 1 | -37/+93 |
| 2015-03-23 | README: travis tag | Camille Mougey | 1 | -0/+2 |
| 2015-03-20 | ParseAsm: dont generate parasite line on 'dontsplit' directive | Fabrice Desclaux | 1 | -1/+1 |
| 2015-03-20 | Asmbloc: clean symbol_pool | Fabrice Desclaux | 1 | -126/+144 |