about summary refs log tree commit diff stats
path: root/test/expression (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Remove int '**' int test to let z3 always translate exprs ('**' was notAjax2018-02-141-8/+1
| | | | really used in Miasm)
* Update rot simplification, to avoid overflow casesAjax2018-02-141-10/+35
|
* ExpressionSimplification: Add a verbose modeAjax2018-02-141-1/+7
|
* A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflowAjax2018-02-141-0/+9
|
* Use 3 arguments to highlight the recent #677 patchAjax2018-02-141-2/+2
|
* Check that expr_is_* are really computing the expected operationAjax2018-02-141-0/+30
|
* Add a check against z3 in simplifications regression testsAjax2018-02-141-12/+72
|
* Deprecate expr_cmps/expr_cmpu for a more verbose / understandable APIAjax2018-02-141-17/+16
|
* Merge pull request #678 from serpilliere/x86_fix_rclCamille Mougey2018-02-141-12/+0
|\ | | | | X86 fix rcl
| * X86: remove c_rez/rcl_rez/rcr_rez special operatorFabrice Desclaux2018-02-131-12/+0
| |
* | Merge pull request #677 from GAJaloyan/patch-1serpilliere2018-02-121-0/+4
|\ \ | |/ |/| Changing index from 1 to -1.
| * changing index of simplification from 1 to -1 in A op 0 => 02018-02-121-0/+4
| | | | | | | | + adding testcases
* | Expression: no default size for ExprIdFabrice Desclaux2018-02-093-17/+17
|/
* 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)