index
:
miasm
this commit
ck/x86-blsi
develop
master
ta/arm64-ldsmaxb
ta/nix
ta/x86-adcx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
test
/
expression
/
expression.py
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2018-02-14
Lower the size of too long test to let z3 run in a human time
Ajax
1
-8
/
+9
2018-02-14
Remove int '**' int test to let z3 always translate exprs ('**' was not
Ajax
1
-8
/
+1
2018-02-14
Update rot simplification, to avoid overflow cases
Ajax
2
-21
/
+59
2018-02-14
ExpressionSimplification: Add a verbose mode
Ajax
2
-1
/
+21
2018-02-14
'simp_cond_factor' is wrong if << / >> / a>> has more than 2 arguments
Ajax
1
-1
/
+11
2018-02-14
A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflow
Ajax
2
-2
/
+16
2018-02-14
Use 3 arguments to highlight the recent #677 patch
Ajax
1
-2
/
+2
2018-02-14
Check that expr_is_* are really computing the expected operation
Ajax
1
-0
/
+30
2018-02-14
Add a check against z3 in simplifications regression tests
Ajax
2
-12
/
+75
2018-02-14
Fix 'simp_op_cond_int' comment
Ajax
1
-1
/
+1
2018-02-14
Fix z3 conversion of 'imod' and 'idiv' to follow the Miasm one
Ajax
1
-2
/
+15
2018-02-14
Deprecate expr_cmps/expr_cmpu for a more verbose / understandable API
Ajax
3
-29
/
+27
2018-02-13
X86: remove c_rez/rcl_rez/rcr_rez special operator
Fabrice Desclaux
7
-148
/
+127
2018-02-13
Jitter: fix exit return code
Fabrice Desclaux
9
-32
/
+32
2018-02-12
changing index of simplification from 1 to -1 in A op 0 => 0
2
-1
/
+5
2018-02-09
Expression: no default size for ExprId
Fabrice Desclaux
27
-162
/
+165
2018-02-09
Add EMMS, implemtend as a NOP
Ajax
3
-0
/
+11
2018-02-09
Add MASKMOVQ/MASKMOVDQU instruction
Ajax
3
-1
/
+59
2018-02-09
Fix PEXTRW 0F C5 form
Ajax
2
-6
/
+6
2018-02-09
Add PAVGB/PAVGW instruction
Ajax
3
-0
/
+32
2018-02-09
Add PSADBW instruction
Ajax
3
-0
/
+36
2018-02-09
Add PMADDWD instruction
Ajax
3
-0
/
+28
2018-02-09
Add PMULUDQ instruction
Ajax
3
-0
/
+32
2018-02-09
Add PMAXSW instruction
Ajax
3
-0
/
+11
2018-02-09
Unify the way PMIN / PMAX works
Ajax
1
-61
/
+17
2018-02-09
Add PADDSB/PADDSW instruction
Ajax
3
-0
/
+32
2018-02-09
Fix PMINSW semantic
Ajax
1
-6
/
+15
2018-02-09
Add PSUBSB/PSUBSW instruction
Ajax
3
-7
/
+38
2018-02-09
Add PMULHW / PMULHUW instruction
Ajax
3
-0
/
+48
2018-02-09
Add PADDUSB/PADDUSW instruction
Ajax
3
-0
/
+39
2018-02-09
Add PSUBSUB/PSUBUSW instr
Ajax
3
-25
/
+79
2018-02-09
Add PMULLW instruction
Ajax
3
-0
/
+26
2018-02-09
Add PACKSSDW instruction
Ajax
3
-0
/
+18
2018-02-09
Add PACKUSWB instruction
Ajax
3
-0
/
+43
2018-02-09
Add PCMPGTW instruction (semantic already exists)
Ajax
1
-0
/
+5
2018-02-09
Add PACKSSWB instruction
Ajax
3
-0
/
+59
2018-02-09
Aarch64: add svc
Fabrice Desclaux
1
-1
/
+8
2018-02-09
Aarch64: add interrupt num & cpu accesses
Fabrice Desclaux
4
-1
/
+14
2018-02-09
Aarch64: remove space
Fabrice Desclaux
1
-4
/
+3
2018-02-09
Aarch64/sem: fix extend_op
Fabrice Desclaux
1
-3
/
+6
2018-02-09
Fix tipo
Fabrice Desclaux
1
-1
/
+1
2018-02-09
DataFlow: Normalize class names
Fabrice Desclaux
1
-20
/
+25
2018-02-09
IRBlock: getitem/len on assignblks
Fabrice Desclaux
8
-34
/
+42
2018-02-09
IRBlock: irblock iterates on its assignblks
Fabrice Desclaux
20
-75
/
+80
2018-02-09
IRBlock: replace irs by assignblks
Fabrice Desclaux
23
-85
/
+91
2018-02-02
Asmblock: fix dis_block_callback
Fabrice Desclaux
6
-16
/
+25
2018-02-02
X86: fix cdq/cbw...
Fabrice Desclaux
4
-15
/
+489
2018-02-01
Aarch64/sem: add ld[ur]s[[bhw]
Fabrice Desclaux
1
-15
/
+31
2018-01-29
adding bics
GAJaloyan
1
-1
/
+18
2018-01-29
Fix: 'brakpoint' -> 'breakpoint'
William Bruneau
1
-1
/
+1
[next]