Steven S. Lyubomirsky

Can you write a simple pass that will change ("sanitize") the variable names? I don't know if a colon is treated in any special way by the parser, but you...

On the point about potentially incorporating symbolic shapes into Relay, I would like to hear more detail about how it can be done with Relay's system of accumulating type constraints...

For those interested, I think [this recent paper](https://arxiv.org/pdf/2210.02374.pdf) shows one way how symbolic shapes could be made to work with Relay's type checking approach (Axon is clearly structured very similarly...

Interesting, it looks like the CI's CMake version is below 3.18. Is it not using C++17?

Should the version check be conditional, then? I am not especially familiar with CMake but I imagine it's probably possible. I am a little confused as to how the CI...

Glad to hear the CI's CMake will be updated. I'll also update the install script.

Ah, I see the last change overlaps with @leandron's PR

Is the CI using a higher version of CMake? If not, I think the errors will continue :sweat_smile:

Per [this PR](https://github.com/apache/tvm/pull/12744), should I make the minimum version higher?

@driazati when do we expect there to be an update?