mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
5d3973b111
`/` is now supported in names except for the parts of the model that use the name as the key, i.e., `DynamicFunction` and `LocalIdentifier`. Eventually, `/` should be allowed there as well, but we first need to make sure that when they end up in a location they are properly escaped/unescaped.