[ARITH] DeduceBound#40

Merged

tqchen merged 27 commits intoapache:masterfrom

ZihengJiang:dev

Feb 17, 2017

Commits on Feb 10, 2017

[PYTHON/API] Add compare and logic build-in op for Expr
ZihengJiang
committed
remove 'and', 'or'
ZihengJiang
committed
add deducer
ZihengJiang
committed
Merge branch 'master' of https://github.com/tqchen/tvm into dev
ZihengJiang
committed

Commits on Feb 12, 2017

[WIP] bound_deducer.cc
ZihengJiang
committed
merge with mater
ZihengJiang
committed

Commits on Feb 13, 2017

move IntervalSet and StrideSet into int_set_internal.h
ZihengJiang
committed
add multiple failure for VariablePathFinder, add EvalSign
ZihengJiang
committed

Commits on Feb 14, 2017

consider round in deduce, add success flag
ZihengJiang
committed
remove Visit_(Div)
ZihengJiang
committed
add comment, update HalideIR
ZihengJiang
committed

Commits on Feb 15, 2017

expose intset to python
ZihengJiang
committed
check the sign of every expr
ZihengJiang
committed

Commits on Feb 16, 2017

set return type as ExprSignType
ZihengJiang
committed
fine tune
ZihengJiang
committed
add min & max python api for interval set
ZihengJiang
committed
support for conditional expr
ZihengJiang
committed
refactor test
ZihengJiang
committed
Merge branch 'master' into dev
Ziheng Jiang
authored
add checker for BoundDeducer
ZihengJiang
committed

Commits on Feb 17, 2017

add python check test
ZihengJiang
committed
Merge branch 'master' into dev
Ziheng Jiang
authored
fix
ZihengJiang
committed
fix
ZihengJiang
committed
change range to interval; remove converter
ZihengJiang
committed
remove converter declaration
ZihengJiang
committed
remove int_set_internal.h
ZihengJiang
committed