review.tizen.org Git - platform/upstream/tvm.git/commit

author	Yizhi Liu <liuyizhi@apache.org>
	Fri, 10 Apr 2020 15:11:21 +0000 (08:11 -0700)
committer	GitHub <noreply@github.com>
	Fri, 10 Apr 2020 15:11:21 +0000 (08:11 -0700)
commit	e21f26827c1b4df9564216cd1e8b9d7b018577c6
tree	36954bb771e11fc990d875b661fbda7451a66625	tree \| snapshot
parent	b236565e6bce8b01d178e6c4985ef591e8351db2	commit \| diff

[Arith] linear system and equation solver (#5171)

* [arith] linear system and equation solver

Co-authored-by: Sergei Grechanik <sergei.grechanik+h@gmail.com>
* avoid constructing analyzer every time

* generate random test cases and address comments

Co-authored-by: Sergei Grechanik <sergei.grechanik@gmail.com>
* rename linear_system to int_constraints

* add comments and use random seed

* message for reporting failure with seed

* add SEqualReduce to IntConstraints; allow variables & ranges to be None

Co-authored-by: Sergei Grechanik <sergei.grechanik+h@gmail.com>
Co-authored-by: Sergei Grechanik <sergei.grechanik@gmail.com>

include/tvm/arith/analyzer.h		diff \| blob \| history
include/tvm/arith/int_solver.h	[new file with mode: 0644]	blob
include/tvm/arith/util.h	[new file with mode: 0644]	blob
python/tvm/arith/__init__.py		diff \| blob \| history
python/tvm/arith/int_solver.py	[new file with mode: 0644]	blob
src/arith/analyzer.cc		diff \| blob \| history
src/arith/int_constraints.cc	[new file with mode: 0644]	blob
src/arith/solve_linear_equation.cc	[new file with mode: 0644]	blob
src/arith/util.cc	[new file with mode: 0644]	blob
tests/python/unittest/test_arith_solve_linear_system.py	[new file with mode: 0644]	blob