microsoft / Armada

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

Can't subtract integer from pointer into array #24

Closed jaylorch closed 3 years ago

jaylorch commented 3 years ago

Currently, you can add an integer to a pointer into an array but you can't subtract one. So instead of, say, p - 1, you have to use the somewhat awkward expression p + (-1).