1. 17 Dec, 2017 1 commit
  2. 05 Mar, 2017 1 commit
  3. 01 Mar, 2017 1 commit
  4. 22 Feb, 2017 1 commit
  5. 17 Feb, 2017 1 commit
    • [ARITH] DeduceBound (#40) · 5198c100
      * [PYTHON/API] Add compare and logic build-in op for Expr
      
      * remove 'and', 'or'
      
      * add deducer
      
      * [WIP] bound_deducer.cc
      
      * move IntervalSet and StrideSet into int_set_internal.h
      
      * add multiple failure for VariablePathFinder, add EvalSign
      
      * consider round in deduce, add success flag
      
      * remove Visit_(Div)
      
      * add comment, update HalideIR
      
      * expose intset to python
      
      * check the sign of every expr
      
      * set return type as ExprSignType
      
      * fine tune
      
      * add min & max python api for interval set
      
      * support for conditional expr
      
      * refactor test
      
      * add checker for BoundDeducer
      
      * add python check test
      
      * fix
      
      * fix
      
      * change range to interval; remove converter
      
      * remove converter declaration
      
      * remove int_set_internal.h
      Ziheng Jiang committed