The github link you provided results in a 404 error.
> On Apr 22, 2024, at 1:58 PM, Stephen Illingworth
> wrote:
>
> Hello,
>
> I've created a proof-of-concept for a method of defining critical sections.
> Crucially, the scheme allows for static analysis, thereby helping prevent
> violations o
Hello,
I've created a proof-of-concept for a method of defining critical sections.
Crucially, the scheme allows for static analysis, thereby helping prevent
violations of the critical sections.
It's a simple concept but I think it's something that can be built upon.
https://github.com/JetSetIlly
