about summary refs log tree commit diff stats
path: root/test/expression/expression.py (unfollow)
Commit message (Expand)AuthorFilesLines
2018-10-09Simplifications: fix hl cond reductionFabrice Desclaux2-23/+17
2018-10-09Support high level operators in z3 translatorFabrice Desclaux1-0/+30
2018-10-09Simplifications: simplify by default high level opFabrice Desclaux3-63/+89
2018-10-09Simplifications: fix bad simplificationsFabrice Desclaux1-4/+6
2018-10-06X86: fix inc/dec 64bitFabrice Desclaux2-2/+8
2018-10-01Expresion: use ExprAssign instead of ExprAffFabrice Desclaux45-1361/+1372
2018-09-27ARM Thumb: Add test for EOR (immediate) instructionjetsecurity1-0/+3
2018-09-27ARM Thumb: Add EOR (immediate) instructionjetsecurity1-0/+1
2018-09-27ARM Thumb: Add test for BLX Rd where Rd > R7jetsecurity1-0/+3
2018-09-27ARM Thumb: Support BLX Rd instruction with Rd > R7jetsecurity1-1/+1
2018-09-27MSR and MRS exception have instruction names interchangedVikas Gupta2-4/+4
2018-09-24Update README.mdMinh Triet Pham Tran1-2/+2
2018-09-20Readme: fix appveyor badgeFabrice Desclaux1-1/+1
2018-09-20Code cleaning: lgtm.comFabrice Desclaux25-51/+33
2018-09-19Test: add pcmpeq and 128bit regs get/setFabrice Desclaux3-2/+83
2018-09-19Jit/Arch: init regs size for all archFabrice Desclaux6-263/+265
2018-09-19JitCore: Fix bn to reg convertionFabrice Desclaux2-22/+19
2018-09-19Bignum: allow mask even for max bignum sizeFabrice Desclaux1-3/+2
2018-09-19Jitter: Fix memory leakFabrice Desclaux2-8/+37
2018-09-11README: add appveyor statusFabrice Desclaux1-0/+1
2018-09-11X86: rdmsr/wrmsr priv instrFabrice Desclaux1-8/+2
2018-09-10X86: fix aam semFabrice Desclaux1-8/+21
2018-09-09Adds Windows support and AppVeyor CI (#835)Axel Souchet28-324/+532
2018-09-03Add support for more FP operations, expand fxamAjax5-127/+126
2018-08-30Remove malware sampleFabrice Desclaux2-2/+2
2018-08-30Add support for floating is_zero, is_inf, is_denormalAjax1-0/+34
2018-08-30Use the dse_crackme compiled versionAjax2-7/+1
2018-08-30Mark Linux specific tests with a tagAjax1-2/+9
2018-08-29X86: fix floatFabrice Desclaux6-62/+90
2018-08-29Expr: use TOK define instead of stringsFabrice Desclaux7-61/+98
2018-08-29Test/simplify: dont use concurrent simplificationsFabrice Desclaux1-5/+4
2018-08-29Mep: use correct operator in IRFabrice Desclaux2-19/+12
2018-08-29Simplify/explicit: add missing opFabrice Desclaux1-0/+8
2018-08-29Expression: add simp condFabrice Desclaux2-0/+15
2018-08-29MIPS: fix IRA call generationFabrice Desclaux1-37/+69
2018-08-29MIPS: Explicit flagsFabrice Desclaux2-14/+27
2018-08-29Mips: missing addrsizeFabrice Desclaux1-0/+1
2018-08-29Fix bad initializationAjax1-1/+2
2018-08-28ExprReduce: fix missing sub class useFabrice Desclaux1-8/+12
2018-08-24Expr/Reduce: gen exprnode subclassFabrice Desclaux1-24/+122
2018-08-24Core/Location: add name to a known locationFabrice Desclaux1-9/+3
2018-08-24Core: fix asm intFabrice Desclaux2-3/+4
2018-08-23Example: fix upx unpackFabrice Desclaux1-3/+2
2018-08-23Code cleaning: lgtm.comFabrice Desclaux32-97/+101
2018-08-20adding a new simplification for double zeroExtends and signExtends.GAJaloyan2-0/+21
2018-08-16X86: add nop formFabrice Desclaux2-0/+11
2018-08-13IR: fix assignblk eqFabrice Desclaux1-1/+1
2018-08-08Add support for CC_POSCamille Mougey1-0/+4
2018-08-07Canonicalize before returning the base ptr (avoid ((a + b) + c))Fabrice Desclaux1-1/+1
2018-08-07Func_read can be called with a non ExprInt exprFabrice Desclaux1-1/+4