src/arithmetic · 394cf9f72a9c16f41055ded4c1cf8b3fa9420db3 · wenyuanbo / tic

Enhanced simplification rules for Div by a positive constant (#2346) · a5eb4451

* Enhanced simplification rules for Div by a positive constant

* Fixed my last commit to correctly interpret TVM's division as truncated division

* Fixed implemenation of IntSet::can_prove_non_positive()

* addressed comments by @yzhliu

* addressed comments by @sgrechanik-h

* addressed more comments by @yzhliu

committed Jan 04, 2019

a5eb4451

Name	Last commit	Last update
..
bound_deducer.cc		Loading commit data...
canonical.cc		Loading commit data...
canonical.h		Loading commit data...
compute_expr.h		Loading commit data...
detect_linear_equation.cc		Loading commit data...
domain_touched.cc		Loading commit data...
int_set.cc		Loading commit data...
int_set_internal.h		Loading commit data...
modular.cc		Loading commit data...