about summary refs log tree commit diff stats
path: root/example/expression/basic_simplification.py (unfollow)
Commit message (Expand)AuthorFilesLines
2015-04-24Depgraph: Add a new example `depgraph` calling DepGraph with optionsAjax2-0/+86
2015-04-24DepGraph: Introduce the `implicit` optionAjax1-3/+30
2015-04-24DepGraph: Extend FollowExpr to include relative methodsAjax1-20/+33
2015-04-24IR: Introduce dst_linenb, factorize and comment codeAjax2-13/+21
2015-04-24DepGraph: Refactor internals APIAjax1-12/+19
2015-04-24TestAll: Bad productAjax1-1/+0
2015-04-24TestDepgraph: Bad counter name (credits C. Leman)Ajax1-3/+4
2015-04-22Jitter: Factorize common cpu attributes in JitCpu; Update APIs in consequenceserpilliere21-1164/+656
2015-04-22Mips32: Use variable facility in semanticAjax1-6/+9
2015-04-22SemBuilder: Handle real variable declarationAjax2-0/+13
2015-04-22Mips32Sem: Use SemBuilderAjax1-147/+122
2015-04-22Core: Introduce SemBuilder, a helper for building semantics side effectsAjax3-0/+168
2015-04-22Test: add regression test for automod codeserpilliere2-1/+41
2015-04-22Jitter: get/set mem is now wrapped in cpuserpilliere18-333/+723
2015-04-22Vm_mngr: move get/set mem into vmmngrserpilliere3-89/+116
2015-04-15Jitter/Tcc: fix memory leakserpilliere1-6/+0
2015-04-13Analysis: TypoAjax1-1/+1
2015-04-08Test: add expression reg testFabrice Desclaux2-0/+8
2015-04-08Expression: expression comparison are done using repr, not hash (prone to col...Fabrice Desclaux1-18/+68
2015-04-05Asmbloc: add sanity check before assembleFabrice Desclaux1-0/+22
2015-04-05Asmbloc: use correct api in wedge mergeFabrice Desclaux1-1/+1
2015-04-02TestAll: missing products for DepGraphAjax1-1/+2
2015-04-02TestAll: Add a "do-not-clean" optionAjax2-3/+14
2015-04-02TestSet: `Message*` must inherited from `Message`Ajax1-3/+3
2015-04-02TestSet: Some methods should be protectedAjax1-7/+7
2015-04-02Interval: fix contains; updt reg testsFabrice Desclaux2-10/+11
2015-04-02Asmbloc: refactor and clean asmbloc/parse_asmFabrice Desclaux2-269/+192
2015-04-01Cpu: modify instructions' offset relative encodingFabrice Desclaux11-98/+159
2015-04-01interval: add empty propertyFabrice Desclaux1-0/+6
2015-04-01Clean get_asm_offsetFabrice Desclaux2-6/+6
2015-04-01Asmbloc: updt apiFabrice Desclaux6-17/+28
2015-04-01Asmbloc: refactor and clean asmbloc/parse_asmFabrice Desclaux2-239/+268
2015-04-01X86: add missing xmm registersFabrice Desclaux1-0/+7
2015-04-01Parse_asm: generate asm_label on symbol parsingFabrice Desclaux7-16/+72
2015-04-01Clean: remove unecessary ast_parser modificationFabrice Desclaux3-28/+0
2015-04-01Asmbloc: updt asmbloc apiFabrice Desclaux5-11/+7
2015-04-01Asmbloc: rename variables; rework contrained blocksFabrice Desclaux1-65/+60
2015-04-01x86/StdCall: Fix a typo when 2 values are returned (credits niko schmidt)Ajax1-1/+1
2015-03-31Sandbox Win: add PE object to win_api_x86_32.winobjsPierre LALET1-0/+2
2015-03-30Remove lazy logging patternAjax14-92/+91
2015-03-24Translator: remove the mess with z3, and update Z3 translators and examplesAjax2-57/+30
2015-03-24Translator: add a bounded cache on `from_expr`Ajax1-1/+16
2015-03-24Translator: Update usesAjax3-25/+28
2015-03-24Translator: class to instanceAjax4-129/+96
2015-03-24fixed pxor semanticsTim Blazytko1-1/+4
2015-03-24added semantics for x86 pxorTim Blazytko1-0/+8
2015-03-24added translation for idiv command in z3Tim Blazytko1-0/+2
2015-03-24Test/simplification: add reg test against multiplication simplificationFabrice Desclaux1-0/+3
2015-03-24Test/simplification: reg test reference must not be expr_simp to match resultFabrice Desclaux1-7/+6
2015-03-24Expr/Simplification: match code and comment for multiplication simplificationFabrice Desclaux1-3/+2