search

mukul-rathi / bolt

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

Write a set of litmus tests for data-race type-checker #45

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

This could be used to demonstrate the expressivity of the data-race type-checker.

mukul-rathi commented 4 years ago

not doing litmus test rigs