| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Simplifications: add regression tests | Fabrice Desclaux | 2017-08-10 | 1 | -0/+4 |
| | | |||||
| * | 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 |
| | | |||||
| * | Replace ExprInt[num](x) -> ExprInt(x, num) | Ajax | 2017-03-30 | 1 | -168/+168 |
| | | |||||
| * | 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 | ||||
| * | ExprCompose: add new api | Fabrice Desclaux | 2016-11-04 | 1 | -93/+85 |
| | | | | | | | | The ExprComposes uses directly its arguments sizes to guess the slices locations. Old api: ExprCompose([(a, 0, 32), (b, 32, 64)]) becomes: ExprCompose(a, b) | ||||
| * | Merge pull request #389 from jbcayrou/pow_op | serpilliere | 2016-07-03 | 1 | -0/+2 |
| |\ | | | | | Add ** (pow) operator | ||||
| | * | Add ** (pow) operator | JB Cayrou | 2016-06-29 | 1 | -0/+2 |
| | | | |||||
| * | | Fix ExprOp_inf_signed + unit tests #385 | JB Cayrou | 2016-06-29 | 1 | -0/+6 |
| |/ | |||||
| * | ModInt: mimic C modulo instead of Python rounded one | Ajax | 2015-11-16 | 1 | -0/+3 |
| | | |||||
| * | ModInt: mimic C division instead of Python rounded one | Ajax | 2015-11-16 | 1 | -0/+2 |
| | | |||||
| * | Simplifications: add cst_propagation for >>>/<<< c_rez | Ajax | 2015-11-16 | 1 | -0/+14 |
| | | |||||
| * | Simplification: add regression test for '>>>', '<<<' | Ajax | 2015-11-12 | 1 | -1/+4 |
| | | |||||
| * | Expression: fix api | Fabrice Desclaux | 2015-10-29 | 1 | -7/+7 |
| | | |||||
| * | Test/simplification: add cmpx regression tests | serpilliere | 2015-07-29 | 1 | -0/+33 |
| | | |||||
| * | Test/Expression: add regression test for shift/slice | Fabrice Desclaux | 2015-07-23 | 1 | -0/+8 |
| | | |||||
| * | test/simplification: reg test | serpilliere | 2015-07-10 | 1 | -0/+2 |
| | | |||||
| * | Test: add simplification regression | Fabrice Desclaux | 2015-06-05 | 1 | -1/+52 |
| | | |||||
| * | Test: add intmod regression | serpilliere | 2015-04-25 | 1 | -1/+4 |
| | | |||||
| * | Test/simplification: add reg test against multiplication simplification | Fabrice Desclaux | 2015-03-24 | 1 | -0/+3 |
| | | |||||
| * | Test/simplification: reg test reference must not be expr_simp to match result | Fabrice Desclaux | 2015-03-24 | 1 | -7/+6 |
| | | |||||
| * | Test/Simplification: add regression tests | Fabrice Desclaux | 2015-02-13 | 1 | -0/+8 |
| | | |||||
| * | Test: add regression test for simplification << >> | Fabrice Desclaux | 2015-02-13 | 1 | -0/+33 |
| | | |||||
| * | Simplification: Fix 'A op 0' with op == '-' bug, add corresponding test case | ajax | 2014-07-30 | 1 | -0/+2 |
| | | |||||
| * | Simplification: detect and handle == condition | serpilliere | 2014-06-13 | 1 | -6/+6 |
| | | | | | Add corresponding regression tests | ||||
| * | Simplifications: Add symetric cond catching + corresponding tests | ajax | 2014-06-12 | 1 | -0/+2 |
| | | |||||
| * | Simplifications_cond: Fix size issue, add constructor | ajax | 2014-06-12 | 1 | -5/+5 |
| | | | | | | | | | | I could have use a child class of ExprOp specific for conditions, but I prefer to keep a better modularity by just using "<s", "<u" as a new op I don't add the size issue in expression/expression.py (such as 'parity') because we don't want dependencies from this file to expression/simplifications_cond (for TOK_*) | ||||
| * | Test: Simplifications: Use ".msb()" instead of hard coded [31:32] | ajax | 2014-06-12 | 1 | -2/+2 |
| | | |||||
| * | Simplifications: Add regression tests for simplifications_cond | ajax | 2014-06-12 | 1 | -1/+30 |
| | | |||||
| * | Miasm v2 | serpilliere | 2014-06-03 | 1 | -0/+258 |
| * API has changed, so old scripts need updates * See example for API usage * Use tcc or llvm for jit emulation * Go to test and run test_all.py to check install Enjoy ! | |||||