about summary refs log tree commit diff stats
path: root/test/expression/expression.py (unfollow)
Commit message (Expand)AuthorFilesLines
2018-02-14Lower the size of too long test to let z3 run in a human timeAjax1-8/+9
2018-02-14Remove int '**' int test to let z3 always translate exprs ('**' was notAjax1-8/+1
2018-02-14Update rot simplification, to avoid overflow casesAjax2-21/+59
2018-02-14ExpressionSimplification: Add a verbose modeAjax2-1/+21
2018-02-14'simp_cond_factor' is wrong if << / >> / a>> has more than 2 argumentsAjax1-1/+11
2018-02-14A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflowAjax2-2/+16
2018-02-14Use 3 arguments to highlight the recent #677 patchAjax1-2/+2
2018-02-14Check that expr_is_* are really computing the expected operationAjax1-0/+30
2018-02-14Add a check against z3 in simplifications regression testsAjax2-12/+75
2018-02-14Fix 'simp_op_cond_int' commentAjax1-1/+1
2018-02-14Fix z3 conversion of 'imod' and 'idiv' to follow the Miasm oneAjax1-2/+15
2018-02-14Deprecate expr_cmps/expr_cmpu for a more verbose / understandable APIAjax3-29/+27
2018-02-13X86: remove c_rez/rcl_rez/rcr_rez special operatorFabrice Desclaux7-148/+127
2018-02-13Jitter: fix exit return codeFabrice Desclaux9-32/+32
2018-02-12changing index of simplification from 1 to -1 in A op 0 => 02-1/+5
2018-02-09Expression: no default size for ExprIdFabrice Desclaux27-162/+165
2018-02-09Add EMMS, implemtend as a NOPAjax3-0/+11
2018-02-09Add MASKMOVQ/MASKMOVDQU instructionAjax3-1/+59
2018-02-09Fix PEXTRW 0F C5 formAjax2-6/+6
2018-02-09Add PAVGB/PAVGW instructionAjax3-0/+32
2018-02-09Add PSADBW instructionAjax3-0/+36
2018-02-09Add PMADDWD instructionAjax3-0/+28
2018-02-09Add PMULUDQ instructionAjax3-0/+32
2018-02-09Add PMAXSW instructionAjax3-0/+11
2018-02-09Unify the way PMIN / PMAX worksAjax1-61/+17
2018-02-09Add PADDSB/PADDSW instructionAjax3-0/+32
2018-02-09Fix PMINSW semanticAjax1-6/+15
2018-02-09Add PSUBSB/PSUBSW instructionAjax3-7/+38
2018-02-09Add PMULHW / PMULHUW instructionAjax3-0/+48
2018-02-09Add PADDUSB/PADDUSW instructionAjax3-0/+39
2018-02-09Add PSUBSUB/PSUBUSW instrAjax3-25/+79
2018-02-09Add PMULLW instructionAjax3-0/+26
2018-02-09Add PACKSSDW instructionAjax3-0/+18
2018-02-09Add PACKUSWB instructionAjax3-0/+43
2018-02-09Add PCMPGTW instruction (semantic already exists)Ajax1-0/+5
2018-02-09Add PACKSSWB instructionAjax3-0/+59
2018-02-09Aarch64: add svcFabrice Desclaux1-1/+8
2018-02-09Aarch64: add interrupt num & cpu accessesFabrice Desclaux4-1/+14
2018-02-09Aarch64: remove spaceFabrice Desclaux1-4/+3
2018-02-09Aarch64/sem: fix extend_opFabrice Desclaux1-3/+6
2018-02-09Fix tipoFabrice Desclaux1-1/+1
2018-02-09DataFlow: Normalize class namesFabrice Desclaux1-20/+25
2018-02-09IRBlock: getitem/len on assignblksFabrice Desclaux8-34/+42
2018-02-09IRBlock: irblock iterates on its assignblksFabrice Desclaux20-75/+80
2018-02-09IRBlock: replace irs by assignblksFabrice Desclaux23-85/+91
2018-02-02Asmblock: fix dis_block_callbackFabrice Desclaux6-16/+25
2018-02-02X86: fix cdq/cbw...Fabrice Desclaux4-15/+489
2018-02-01Aarch64/sem: add ld[ur]s[[bhw]Fabrice Desclaux1-15/+31
2018-01-29adding bicsGAJaloyan1-1/+18
2018-01-29Fix: 'brakpoint' -> 'breakpoint'William Bruneau1-1/+1