search

microsoft / Armada

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

adding binary expression to CreateLvalue #34

Closed MadeByMars closed 2 years ago

MadeByMars commented 2 years ago

This commit enables *(errors_ptr + i) := 0;.

MadeByMars commented 2 years ago

I found that I don't have write access to this repo... @jaylorch