Skip to content
Snippets Groups Projects
Forked from Iris / Iris
4610 commits behind the upstream repository.
user avatar
Robbert Krebbers authored
The closing view shift's LHS mask is now universally quantified, which
makes it easier to execute the closing view shift.
23178b78
History