On Sunday, 17 March 2024 at 06:51:23 UTC, Richard (Rikki) Andrew Cattermole wrote: > This proposal introduces a new semantic pass, that uses an IR > to analyse memory transfers and the different states it can be > in. Any examples of languages that use this and what it provides?