about summary refs log tree commit diff stats
path: root/test/expression (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Expression: use stp translatorFabrice Desclaux2018-01-111-8/+12
|
* Expression: add expression comparison generatorsFabrice Desclaux2017-09-041-0/+107
|
* Simplifications: add regression testsFabrice Desclaux2017-08-101-0/+4
|
* Expression: add an Expression parserFabrice Desclaux2017-06-141-0/+16
|
* Add a new simplification: {@X[base + i] 0 X, @Y[base + i + X] X (X + Y)} => ↵Ajax2017-06-011-0/+5
| | | | @(X+Y)[base + i]
* Remove deprecated use of MatchExprAjax2017-04-211-17/+17
|
* Expr: fix singleton; add reg testFabrice Desclaux2017-03-311-0/+66
|
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-304-180/+180
|
* Let ExprInt always use its Singleton capabilitiesAjax2017-03-301-20/+20
| | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision
* Merge pull request #476 from commial/fix/repr-exprserpilliere2017-01-141-0/+14
|\ | | | | Fix/repr expr
| * Expr: test that repr permit instanciationAjax2017-01-131-0/+14
| |
* | Modint: add tests for big intAjax2017-01-131-0/+9
| |
* | Div: fix modint operationAjax2017-01-131-1/+5
|/
* use python2 as executable name, give adequate permissionsAymeric Vincent2017-01-052-2/+2
|
* Regression test on big ExprIntAjax2016-12-141-0/+4
|
* Seperate Expression regression testsAjax2016-12-141-0/+2
|
* ExprCompose: add new apiFabrice Desclaux2016-11-043-100/+91
| | | | | | | 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_opserpilliere2016-07-031-0/+2
|\ | | | | Add ** (pow) operator
| * Add ** (pow) operatorJB Cayrou2016-06-291-0/+2
| |
* | Fix ExprOp_inf_signed + unit tests #385JB Cayrou2016-06-291-0/+6
|/
* Add regression test for `possible_values`Ajax2016-03-171-0/+40
| | | | Thanks to @serpilliere
* ModInt: mimic C modulo instead of Python rounded oneAjax2015-11-161-0/+3
|
* ModInt: mimic C division instead of Python rounded oneAjax2015-11-161-0/+2
|
* Simplifications: add cst_propagation for >>>/<<< c_rezAjax2015-11-161-0/+14
|
* Simplification: add regression test for '>>>', '<<<'Ajax2015-11-121-1/+4
|
* Expression: fix apiFabrice Desclaux2015-10-291-7/+7
|
* Test/simplification: add cmpx regression testsserpilliere2015-07-291-0/+33
|
* Test/Expression: add regression test for shift/sliceFabrice Desclaux2015-07-231-0/+8
|
* test/simplification: reg testserpilliere2015-07-101-0/+2
|
* Test: add simplification regressionFabrice Desclaux2015-06-051-1/+52
|
* Test: add intmod regressionserpilliere2015-04-251-1/+4
|
* Test: add expression reg testFabrice Desclaux2015-04-081-0/+7
|
* Test/simplification: add reg test against multiplication simplificationFabrice Desclaux2015-03-241-0/+3
|
* Test/simplification: reg test reference must not be expr_simp to match resultFabrice Desclaux2015-03-241-7/+6
|
* Test/Simplification: add regression testsFabrice Desclaux2015-02-131-0/+8
|
* Test: add regression test for simplification << >>Fabrice Desclaux2015-02-131-0/+33
|
* VariablesIdentifier: Handle corner cases (using var ident on already ↵Camille Mougey2015-02-101-3/+34
| | | | computed eq)
* VariableIdentifier: Less hacky way to identify sub vars, add a prefix featureCamille Mougey2015-02-101-0/+13
|
* Test: Add a regression test for Variables_IdentifierCamille Mougey2014-12-091-0/+43
|
* Simplification: Fix 'A op 0' with op == '-' bug, add corresponding test caseajax2014-07-301-0/+2
|
* Simplification: detect and handle == conditionserpilliere2014-06-131-6/+6
| | | | Add corresponding regression tests
* Simplifications: Add symetric cond catching + corresponding testsajax2014-06-121-0/+2
|
* Simplifications_cond: Fix size issue, add constructorajax2014-06-121-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]ajax2014-06-121-2/+2
|
* Simplifications: Add regression tests for simplifications_condajax2014-06-121-1/+30
|
* Miasm v2serpilliere2014-06-033-0/+352
* 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 !