Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Prove some properties about it, and define timeless in terms of it, and factor this notion out of raw view shifts.
Robbert Krebbers authoredProve some properties about it, and define timeless in terms of it, and factor this notion out of raw view shifts.
