search

mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!
MIT License
546 stars 53 forks source link

Associate capabilities with methodapp #117

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

Track the variables available capabilities

Then type this in the constraints (should be a superset of required capabilities)