Include path renaming in name policy

hacspec / hax

A Rust verification tool

https://hacspec.org/blog

Apache License 2.0

195 stars 20 forks source link

Include path renaming in name policy #488

Open jschneider-bensch opened 9 months ago

jschneider-bensch commented 9 months ago

          we might want to move this renaming to the name policy thing at some point.

Otherwise, name collisions are possible But for now that's completely fine, let's see that later

_Originally posted by @W95Psp in https://github.com/hacspec/hax/pull/486#discussion_r1473933512_

github-actions[bot] commented 2 months ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

W95Psp commented 1 month ago

Still relevant