1. 28 May, 2019 6 commits
  2. 27 May, 2019 2 commits
    • [Doc][Relay] Add VM doc (#3188) · c0afc918
      * [Doc][Relay] Add VM doc
      
      * Add Apache header
      
      * Apply suggestions from code review
      
      Co-Authored-By: Steven S. Lyubomirsky <slyubomirsky@gmail.com>
      Co-Authored-By: 雾雨魔理沙 <lolisa@marisa.moe>
      Co-Authored-By: Logan Weber <36520469+weberlo@users.noreply.github.com>
      Co-Authored-By: Zhi <5145158+zhiics@users.noreply.github.com>
      
      * Junru's comment
      
      * More fix
      
      * More fix
      
      * More fix
      
      * last fix
      
      * Apply suggestions from code review
      
      Co-Authored-By: 雾雨魔理沙 <lolisa@marisa.moe>
      
      * Apply suggestions from code review
      
      Co-Authored-By: Logan Weber <36520469+weberlo@users.noreply.github.com>
      
      * Add code links
      
      * Remove unused bp
      
      * Update docs/dev/virtual_machine.rst
      
      Co-Authored-By: Logan Weber <36520469+weberlo@users.noreply.github.com>
      
      * Explain TODO
      
      * Yong's comment
      
      Co-Authored-By: Yong Wu <55wuyong@163.com>
      
      * Comment
      Wei Chen committed
    • [ARITH] Improve div/mod in rewrite simplifier (#3149) · 8814adab
      * [ARITH] Improve div/mod in rewrite simplifier
      
      * Fix lint error
      
      * Fuller file name in src/arithmetic/modular_set.h
      
      Co-Authored-By: Wei Chen <ipondering.weic@gmail.com>
      
      * Generalize some rules
      
      * Replace gcd factoring with specialized rules
      
      * Mark rules that don't work for non-truncated division
      
      * More tests
      Sergei Grechanik committed
  3. 26 May, 2019 1 commit
  4. 25 May, 2019 1 commit
  5. 24 May, 2019 6 commits
  6. 23 May, 2019 3 commits
  7. 22 May, 2019 9 commits
  8. 21 May, 2019 5 commits
  9. 20 May, 2019 5 commits
  10. 17 May, 2019 2 commits