Forked from
Iris / Iris
Source project has a limited visibility.
-
Jacques-Henri Jourdan authored
* Values are considered as atomic expressions (this does not hurt, and this makes the proofs of atomicity simpler).
Jacques-Henri Jourdan authored* Values are considered as atomic expressions (this does not hurt, and this makes the proofs of atomicity simpler).
