Yichen Yan

icon company Alibaba icon location Shanghai icon location Software Testing & Compiler. Previously @oracle / @graalvm, @pingcap

Results 72 comments of Yichen Yan

[Feat] Integrate Z3 in TVM Arith Analyzer

Macos pending on: https://github.com/tile-ai/tvm/pull/15 cc @kurisu6912

[Tool] Provide layout visualization tool

I didn't know it's related to tvm's type🤔it seems not to make much sense to have string True/False