| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add simp cst == X+ cst; X ^cst = cst | Fabrice Desclaux | 2019-02-12 | 1 | -0/+15 |
| | | |||||
| * | Add simplifications | Fabrice Desclaux | 2019-02-12 | 1 | -0/+31 |
| | | |||||
| * | Merge pull request #942 from serpilliere/rename_idiv_sdiv | Camille Mougey | 2019-01-16 | 1 | -2/+2 |
| |\ | | | | | Rename idiv/imod into sdiv/smod | ||||
| | * | Rename idiv/imod into sdiv/smod | Fabrice Desclaux | 2019-01-15 | 1 | -2/+2 |
| | | | |||||
| * | | Expression: add simplifications | Fabrice Desclaux | 2019-01-15 | 1 | -0/+176 |
| |/ | |||||
| * | Fix typos & add codespell | Pierre LALET | 2018-12-23 | 1 | -1/+1 |
| | | |||||
| * | Simple: add multiplication simplification | Fabrice Desclaux | 2018-11-10 | 1 | -1/+19 |
| | | |||||
| * | Simplification: add high evel simp | Fabrice Desclaux | 2018-10-09 | 1 | -0/+3 |
| | | |||||
| * | Test: add high level regression tests | Fabrice Desclaux | 2018-10-09 | 1 | -2/+58 |
| | | |||||
| * | Expresion: use ExprAssign instead of ExprAff | Fabrice Desclaux | 2018-10-01 | 4 | -9/+9 |
| | | | | | | | ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss) | ||||
| * | Test/simplify: dont use concurrent simplifications | Fabrice Desclaux | 2018-08-29 | 1 | -5/+4 |
| | | |||||
| * | Test: add simplification reg tests | Fabrice Desclaux | 2018-08-06 | 1 | -11/+20 |
| | | |||||
| * | Expression: fix slice assignment | Fabrice Desclaux | 2018-07-19 | 1 | -0/+5 |
| | | |||||
| * | Expr: add simplification shift mask | Fabrice Desclaux | 2018-06-21 | 1 | -0/+4 |
| | | |||||
| * | Expr: Add new word ExprLoc | Fabrice Desclaux | 2018-06-08 | 1 | -1/+2 |
| | | | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here. | ||||
| * | Op bsr/bsf are replaced by cnttrailzeros / cntleadzeros, defined in 0 | Ajax | 2018-05-15 | 1 | -0/+9 |
| | | |||||
| * | Merge pull request #683 from commial/refactor/remove-default-exprmem-size | serpilliere | 2018-02-15 | 1 | -10/+10 |
| |\ | | | | | Refactor/remove default exprmem size | ||||
| | * | Remove the default size of ExprMem expressions | Ajax | 2018-02-15 | 1 | -10/+10 |
| | | | |||||
| * | | 'simp_propag': avoid computing shifts when the size is too | Ajax | 2018-02-15 | 1 | -0/+6 |
| | | | | | | | | | big (potential Python overflow) | ||||
| * | | simp_compose: ensure the '/' is not rounded to 0, but really equals to | Ajax | 2018-02-15 | 1 | -0/+4 |
| |/ | |||||
| * | Lower the size of too long test to let z3 run in a human time | Ajax | 2018-02-14 | 1 | -8/+9 |
| | | |||||
| * | Remove int '**' int test to let z3 always translate exprs ('**' was not | Ajax | 2018-02-14 | 1 | -8/+1 |
| | | | | | really used in Miasm) | ||||
| * | Update rot simplification, to avoid overflow cases | Ajax | 2018-02-14 | 1 | -10/+35 |
| | | |||||
| * | ExpressionSimplification: Add a verbose mode | Ajax | 2018-02-14 | 1 | -1/+7 |
| | | |||||
| * | A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflow | Ajax | 2018-02-14 | 1 | -0/+9 |
| | | |||||
| * | Use 3 arguments to highlight the recent #677 patch | Ajax | 2018-02-14 | 1 | -2/+2 |
| | | |||||
| * | Check that expr_is_* are really computing the expected operation | Ajax | 2018-02-14 | 1 | -0/+30 |
| | | |||||
| * | Add a check against z3 in simplifications regression tests | Ajax | 2018-02-14 | 1 | -12/+72 |
| | | |||||
| * | Deprecate expr_cmps/expr_cmpu for a more verbose / understandable API | Ajax | 2018-02-14 | 1 | -17/+16 |
| | | |||||
| * | Merge pull request #678 from serpilliere/x86_fix_rcl | Camille Mougey | 2018-02-14 | 1 | -12/+0 |
| |\ | | | | | X86 fix rcl | ||||
| | * | X86: remove c_rez/rcl_rez/rcr_rez special operator | Fabrice Desclaux | 2018-02-13 | 1 | -12/+0 |
| | | | |||||
| * | | Merge pull request #677 from GAJaloyan/patch-1 | serpilliere | 2018-02-12 | 1 | -0/+4 |
| |\ \ | |/ |/| | Changing index from 1 to -1. | ||||
| | * | changing index of simplification from 1 to -1 in A op 0 => 0 | 2018-02-12 | 1 | -0/+4 | |
| | | | | | | | | | + adding testcases | ||||
| * | | Expression: no default size for ExprId | Fabrice Desclaux | 2018-02-09 | 3 | -17/+17 |
| |/ | |||||
| * | Expression: use stp translator | Fabrice Desclaux | 2018-01-11 | 1 | -8/+12 |
| | | |||||
| * | Expression: add expression comparison generators | Fabrice Desclaux | 2017-09-04 | 1 | -0/+107 |
| | | |||||
| * | Simplifications: add regression tests | Fabrice Desclaux | 2017-08-10 | 1 | -0/+4 |
| | | |||||
| * | Expression: add an Expression parser | Fabrice Desclaux | 2017-06-14 | 1 | -0/+16 |
| | | |||||
| * | Add a new simplification: {@X[base + i] 0 X, @Y[base + i + X] X (X + Y)} => ↵ | Ajax | 2017-06-01 | 1 | -0/+5 |
| | | | | | @(X+Y)[base + i] | ||||
| * | Remove deprecated use of MatchExpr | Ajax | 2017-04-21 | 1 | -17/+17 |
| | | |||||
| * | Expr: fix singleton; add reg test | Fabrice Desclaux | 2017-03-31 | 1 | -0/+66 |
| | | |||||
| * | Replace ExprInt[num](x) -> ExprInt(x, num) | Ajax | 2017-03-30 | 4 | -180/+180 |
| | | |||||
| * | Let ExprInt always use its Singleton capabilities | Ajax | 2017-03-30 | 1 | -20/+20 |
| | | | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision | ||||
| * | Merge pull request #476 from commial/fix/repr-expr | serpilliere | 2017-01-14 | 1 | -0/+14 |
| |\ | | | | | Fix/repr expr | ||||
| | * | Expr: test that repr permit instanciation | Ajax | 2017-01-13 | 1 | -0/+14 |
| | | | |||||
| * | | Modint: add tests for big int | Ajax | 2017-01-13 | 1 | -0/+9 |
| | | | |||||
| * | | Div: fix modint operation | Ajax | 2017-01-13 | 1 | -1/+5 |
| |/ | |||||
| * | use python2 as executable name, give adequate permissions | Aymeric Vincent | 2017-01-05 | 2 | -2/+2 |
| | | |||||
| * | Regression test on big ExprInt | Ajax | 2016-12-14 | 1 | -0/+4 |
| | | |||||
| * | Seperate Expression regression tests | Ajax | 2016-12-14 | 1 | -0/+2 |
| | | |||||