Forked from
Iris / Iris
6349 commits behind the upstream repository.
-
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).
lifting.v 4.02 KiB