about summary refs log tree commit diff stats
path: root/example/expression/simplification_add.py (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-03-30Deprecate ExprInt[num] and ExprInt_from(expr, num)Ajax1-0/+12
2017-03-30Let ExprInt always use its Singleton capabilitiesAjax3-68/+65
Remove the optionnal 'size' argument form, use pointer equality to speed up comparision
2017-03-29analysis: Introduction of use-definition chainsCaroline Leman8-318/+346
- previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'
2017-03-28ExprReduce: fix exprnode strFabrice Desclaux1-11/+11
2017-03-27Example/full: fix tipoFabrice Desclaux1-1/+1
2017-03-25Container: add dynsym symbolsFabrice Desclaux1-12/+16
2017-03-17Symbexec: fix tipo symbmngrFabrice Desclaux1-4/+4
2017-03-17IR: fix support old api blocsFabrice Desclaux1-1/+1
2017-03-16Symbexec: Fix state updateFabrice Desclaux1-3/+8
2017-03-13Core/asmblock: rename asmbloc_final to asmblock_finalFabrice Desclaux1-2/+9
2017-03-13Core/asmbloc: move asmbloc to asmblockFabrice Desclaux50-1659/+1669
2017-03-13Asmbloc: rename asm_constraint[to/next] to AsmConstraint[To/Next]Fabrice Desclaux3-16/+29
2017-03-13Asmbloc: rename asm_constraint to AsmConstraintFabrice Desclaux6-42/+49
2017-03-13Asmbloc: rename asm_raw to AsmRawFabrice Desclaux2-10/+17
2017-03-13Asmbloc: rename asm_symbol_pool to AsmSymbolPoolFabrice Desclaux10-25/+32
2017-03-13Asmbloc: rename asm_label to AsmLabelFabrice Desclaux27-97/+99
2017-03-13Asmbloc: rename asm_block_bad to AsmBlockBadFabrice Desclaux5-22/+29
2017-03-13Asmbloc: rename asm_bloc to AsmBlockFabrice Desclaux4