about summary refs log tree commit diff stats
path: root/test/expression/simplifications.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* simp_compose: ensure the '/' is not rounded to 0, but really equals toAjax2018-02-151-0/+4
* Lower the size of too long test to let z3 run in a human timeAjax2018-02-141-8/+9
* Remove int '**' int test to let z3 always translate exprs ('**' was notAjax2018-02-141-8/+1
* 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: 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 of simplification from 1 to -1 in A op 0 => 02018-02-121-0/+4
* | Expression: no default size for ExprIdFabrice Desclaux2018-02-091-14/+14
|/
* Simplifications: add regression testsFabrice Desclaux2017-08-101-0/+4
* Add a new simplification: {@X[base + i] 0 X, @Y[base + i + X] X (X + Y)} => @...Ajax2017-06-011-0/+5
* Remove deprecated use of MatchExprAjax2017-04-211-17/+17
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-301-168/+168
* Let ExprInt always use its Singleton capabilitiesAjax2017-03-301-20/+20
* ExprCompose: add new apiFabrice Desclaux2016-11-041-93/+85
* Merge pull request #389 from jbcayrou/pow_opserpilliere2016-07-031-0/+2
|\
| * Add ** (pow) operatorJB Cayrou2016-06-291-0/+2
* | Fix ExprOp_inf_signed + unit tests #385JB Cayrou2016-06-291-0/+6
|/
* 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/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
* 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
* Simplifications: Add symetric cond catching + corresponding testsajax2014-06-121-0/+2
* Simplifications_cond: Fix size issue, add constructorajax2014-06-121-5/+5
* 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-031-0/+258