areusch commented on pull request #7472: URL: https://github.com/apache/tvm/pull/7472#issuecomment-782250234
I think in the future i'd like to see us move to a log-based approach where each event of interest and timer used gets a unique id assigned to it at compile time. but I think this is a good change in the meantime, as that system is way more complicated and would need an RFC or two. ---------------------------------------------------------------- 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]
