Ajax 274cff35ec Add a new simplification: {@X[base + i] 0 X, @Y[base + i + X] X (X + Y)} => @(X+Y)[base + i]

2017-06-01 17:33:13 +02:00

..

expr_pickle.py

Expr: fix singleton; add reg test

2017-03-31 14:45:25 +02:00

expression_helper.py

Replace ExprInt[num](x) -> ExprInt(x, num)

2017-03-30 16:04:40 +02:00

expression.py

Replace ExprInt[num](x) -> ExprInt(x, num)

2017-03-30 16:04:40 +02:00

modint.py

Modint: add tests for big int

2017-01-13 17:26:52 +01:00

simplifications.py

Add a new simplification: {@X[base + i] 0 X, @Y[base + i + X] X (X + Y)} => @(X+Y)[base + i]

2017-06-01 17:33:13 +02:00

stp.py

Replace ExprInt[num](x) -> ExprInt(x, num)

2017-03-30 16:04:40 +02:00