1. 18 Feb, 2019 4 commits
  2. 17 Feb, 2019 2 commits
  3. 16 Feb, 2019 4 commits
    • [Relay] Algebraic data types (#2442) · 2ae3124f
      * First pass on ADTs
      
      * Add doc string for tag field
      
      * Visit constructors in TypeVisitor for TypeData
      
      * Add to description of type call
      
      * Add type call to type solving and unification
      
      * Make type mutator for typecall consistent with others (only create new node if there's a change)
      
      * Ensure kindchecking can handle type calls and typedata
      
      * Fix bad nesting in module constructor
      
      * Correctly construct call in typecall test
      
      * Add call override for ordinary vars (do we want this?)
      
      * Remove generalization hack from type inference because it was breaking ADT constructors
      
      * Check that there are no free type vars in exprs after inferring type
      
      * Free var checks need module because of ADT constructors
      
      * Typecall test can't have unbound type var, make it global
      
      * Uncomment tmap test and remove comments about failing to infer ret type; those work now
      
      * Put in dummy visits for ADTs in graph runtime codegen to placate pylint
      
      * Fix Relay type infer test module constructor
      
      * Mark override for TypeCallNode in type solver
      
      * Ensure free vars check treats patern vars as bound
      
      * Run interpreter in more ADT test cases
      
      * Refactor kind check to return the kind, like typechecking
      
      * Fix invalid typecall in test
      
      * Add kind check to type inference, do not use nulls in func_type_annotation()!
      
      * Redundant whitespace
      
      * Make TypeData a separate kind
      
      * Make ADT handles a separate kind too, document calling convention better
      
      * Remove nats and tree from prelude, move to test, document prelude
      
      * Restore and document nat and tree to prelude, add more tree tests
      
      * Add alpha equality tests for match cases, fix variable binding bug
      
      * Add more kind check tests for ADTs
      
      * Add more tests for finding free or bound vars in match exprs
      
      * Add unification tests for type call
      
      * Update main() for alpha equality tests
      
      * Add simple type inference test cases for match exprs and ADT constructors
      
      * Add more ADT interpreter tests
      
      * Allow incomplete types when typechecking match cases
      
      * Type inference for pattern vars should use the type annotation if it's there
      
      * Two more specific test cases for ADT matching
      
      * Add option ADT to prelude
      
      * Fix broken reference to kind enum
      
      * Fix rebase snags
      
      * Do not attach checked types to constructors
      
      * More docstrings for module fields
      
      * Use proper wrapper for indexing into module type data
      
      * checked_type for constructors is not populated
      
      * Expand type call docstring
      
      * Rename PatternConstructor con field
      
      * Use error reporter for pattern constructor case
      
      * Condense error reporting in kind check, use error reporter
      
      * Expand docstrings and rename ADT fields
      
      * Rename 'option' ADT to 'optional' for consistency with Python
      
      * Add various list iterators and utility functions to prelude
      
      * Add smoke tests for new iterators in prelude
      
      * Add concat to prelude
      
      * Add smoke test for concat
      
      * Correct docstrings in prelude
      
      * Ensure that type defs are written in module initialization
      
      * Various requested renamings
      
      * Correct rebase snags
      
      * Add kind check tests for ref types
      
      * Update the main() for kind checking tests
      Steven S. Lyubomirsky committed
    • Version 0.5 (#2604) · 18c36ab5
      * Version 0.5
      
      * update version.py
      
      * update news
      
      * update news
      
      * update news
      ziheng committed
  4. 15 Feb, 2019 1 commit
  5. 14 Feb, 2019 4 commits
  6. 13 Feb, 2019 4 commits
  7. 12 Feb, 2019 3 commits
  8. 10 Feb, 2019 1 commit
  9. 09 Feb, 2019 5 commits
  10. 08 Feb, 2019 1 commit
  11. 07 Feb, 2019 2 commits
  12. 06 Feb, 2019 3 commits
  13. 05 Feb, 2019 1 commit
    • [RELAY][FRONTEND] Tensorflow frontend. (#2216) · 2f859d71
      * [RELAY][FRONTEND] Tensorflow frontend support.
      
      * 	* LSTM removed for a while.
      
      * 	* basic ops are good.
      
      * 	* nn wip
      
      * 	* wip
      
      * 	* python2.7 corrections.
      
      * * NN ops are good.
      
      * * e2e models working good
      
      * 	* all good except LSTM
      
      * 	* rebase, tutorials and CI trigger.
      
      * 	* CI errors.
      
      * 	* enable opt_level=3
      
      * 	* Docstrings cleanup. testing.tf utils moved to relay from nnvm.
      
      * 	* tutorials update.
      
      * 	* LSTM work good now.
      
      * 	* Rebase
      
      * 	* CI error
      
      * 	* enable PTB.
      
      * 	* rebase.
      
      * 	* tutorials
      
      * Update python/tvm/relay/frontend/tensorflow.py
      
      Co-Authored-By: srkreddy1238 <sivar.b@huawei.com>
      
      * 	* review comments.
      
      * 	CI fix.
      
      * 	* review comments.
      Siva committed
  14. 04 Feb, 2019 1 commit
  15. 03 Feb, 2019 4 commits