[GitHub] [incubator-tvm] jmorrill commented on issue #4548: Windows support for autotvm - Do not merge

2020-02-10 Thread GitBox
jmorrill commented on issue #4548: Windows support for autotvm - Do not merge
URL: https://github.com/apache/incubator-tvm/pull/4548#issuecomment-584445719
 
 
   > @jmorrill have you gotten a chance to work on the CPP server PR?
   
   So sorry @soiferj!  It's the time of the year where kids bring home sickness.
   Anyways, created a PR here.
   https://github.com/apache/incubator-tvm/pull/4857


This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org


With regards,
Apache Git Services


[GitHub] [incubator-tvm] jmorrill commented on issue #4548: Windows support for autotvm - Do not merge

2020-01-18 Thread GitBox
jmorrill commented on issue #4548: Windows support for autotvm - Do not merge
URL: https://github.com/apache/incubator-tvm/pull/4548#issuecomment-575939098
 
 
   I think that's a good idea @FrozenGene .   Maybe starting with the CPP 
server PR first, as it is more contained and less risky?
   
   I can cherry pick to a new PR once the CI verifies my latest changes 
(resolved some merge conflicts with my branch).
   
   


This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org


With regards,
Apache Git Services


[GitHub] [incubator-tvm] jmorrill commented on issue #4548: Windows support for autotvm - Do not merge

2020-01-15 Thread GitBox
jmorrill commented on issue #4548: Windows support for autotvm - Do not merge
URL: https://github.com/apache/incubator-tvm/pull/4548#issuecomment-574863098
 
 
   > @jmorrill how would you feel about working toward merging this into public 
TVM? It's important functionality.
   
   I think that could be worthwhile (and fun)!  Though let me know if you feel 
the same after you've seen some of the nasty I've had to add to make it work :).


This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org


With regards,
Apache Git Services