search

microsoft / Armada

Armada is a tool for writing, and proving correct, high-performance concurrent programs.
Other
137 stars 19 forks source link

No support for thread-local storage #12

Open jaylorch opened 3 years ago

jaylorch commented 3 years ago

Armada doesn't support thread-local storage constructs. It would be useful to remedy this.