Type check read regions
mukul-rathi opened this issue · comments
Track write effects to fields and remove any read regions at that point that contain that field.
mukul-rathi / bolt
Bolt is a language with in-built data-race freedom!
Bolt is a language with in-built data-race freedom!
mukul-rathi opened this issue · comments
Track write effects to fields and remove any read regions at that point that contain that field.