Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
These results turned out to be neither that useful nor canonical, and can easily be derived from local updates. This reverts commit 465dd9f4.
Robbert Krebbers authoredThese results turned out to be neither that useful nor canonical, and can easily be derived from local updates. This reverts commit 465dd9f4.
