| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove deprecated use of MatchExpr | Ajax | 2017-04-21 | 1 | -11/+10 |
| * | Replace ExprInt[num](x) -> ExprInt(x, num) | Ajax | 2017-03-30 | 1 | -5/+5 |
| * | Update int(XX.arg) -> int(XX) | Ajax | 2016-09-16 | 1 | -4/+4 |
| * | Fix ExprOp_inf_signed + unit tests #385 | JB Cayrou | 2016-06-29 | 1 | -4/+4 |
| * | Expression/Simplification: avoid code modifications | serpilliere | 2015-02-22 | 1 | -20/+9 |
| * | PyLint: Import errors, pointless statements (`fds`), bad indentation | Camille Mougey | 2015-02-18 | 1 | -8/+8 |
| * | PyLint: Remove unused-imports | Camille Mougey | 2015-02-16 | 1 | -1/+0 |
| * | Simplification: detect and handle == condition | serpilliere | 2014-06-13 | 1 | -1/+29 |
| * | Simplifications: Add symetric cond catching + corresponding tests | ajax | 2014-06-12 | 1 | -2/+38 |
| * | Simplifications_cond: Fix size issue, add constructor | ajax | 2014-06-12 | 1 | -2/+21 |
| * | Simplifications: Add basic conditions detection | ajax | 2014-06-12 | 1 | -0/+162 |