giuseros commented on pull request #8014: URL: https://github.com/apache/tvm/pull/8014#issuecomment-866166331
Hi @jroesch , @areusch , After further thinking we were wondering if we could merge both this PR and #8096 before merging #7518 . This is because #8096 would solve quite a few issues that we have with AoT at the moment. What do you think? -- 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: [email protected]
